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

Rozvrh předmětu
Po
Út
St
Čt
PřednáškyCvičení