Subject description - XP33MOL

Summary of Study | Summary of Branches | All Subject Groups | All Subjects | List of Roles | Explanatory Notes               Instructions
XP33MOL Modal Logics for Distributed Systems Extent of teaching:2P+0S
Guarantors:Štěpánková O. Roles:S Language of
teaching:
CS
Teachers:Štěpánková O. Completion:ZK
Responsible Department:13133 Credits:4 Semester:Z

Anotation:

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.

Course outlines:

Exercises outline:

Literature:

Fagin R. et al.: Reasning about Knowledge, The MIT Press 1995

Requirements:

Subject is included into these academic programs:

Program Branch Role Recommended semester
DOKP Common courses S
DOKK Common courses S


Page updated 10.12.2019 17:52:00, semester: Z,L/2020-1, L/2018-9, Z,L/2019-20, Send comments about the content to the Administrators of the Academic Programs Proposal and Realization: I. Halaška (K336), J. Novák (K336)