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