|
Easy Programmable Logic Controller
VLNA, Martin
The objective of the work {\clqq}Easy Programmable Logic Controller`` was to create an easy system which contains some digital inputs and outputs, under which it will be possible to program the basic logical operations with the help of the display, keyboard and system interface. The point is to put near to the industrial system which is called Programmable Logic Controller (PLC).
|
|
Logical Argumentation among Agents
Nevrkla, S. ; Peliš, Michal
Cognition of an individual is a dynamic process, shaped not only by his contact with 'inanimate' nature, but mainly by his interaction with other cognizing beings. This interaction takes place in language and often takes form of a dialogue, whose one particular form is argumentation (similar forms of dialogue being explanation, persuasion, negotiation etc.). Cognizing being (agent) confronts his beliefs and their justification with those of another agent in argumentation. There are several mathematical models for argumentation, describing rules of its evaluation and processing. We are mainly concerned with argumentation based on logical arguments, where claim logically follows from the premises.
|
| |
| |
| |
|
Logical games and truth values
Majer, Ondrej
Formal game theory allows for an alternative view on logical systems: we can see verification of a certain statement as a game - formalized dialogue of two players. The rules of the game correspond to the properties of the system in the framework of which the statement is formalized. The article deals with the relation between properties of logical games and the number of truth values of the corresponding logical systems.
|
| |
| |
| |
| |