| Počet kreditů | 4 |
| Vyučováno v | Winter |
| Rozsah výuky | 2+0s |
| Garant předmětu | |
| Přednášející | Olga Štěpánková |
| Cvičící | Olga Štěpánková |
A model of knowledge in distributed environment and "muddy children puzzle".
Introduction of modal operators and their semantics based on possible-worlds
model. Properties of knowledge. Correspondence between axioms and properties
of possibility relation in the model. Knowledge in MAS. Common knowledge and
agreement.
Fagin R. et al.: Reasning about Knowledge, The MIT Press 1995
