Modal Logics for Distributed Systems

Garant předmětu:

Lecturer:

Tutor:

Supervisor:

Department of Cybernetics

Synopsis:

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.

Requirements:

Syllabus of lectures:

Syllabus of tutorials:

Study Objective:

Study materials:

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

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans:

• Doctoral studies, daily studies (compulsory elective course)
• Doctoral studies, combined studies (compulsory elective course)
• Doctoral studies, structured daily studies (compulsory elective course)
• Doctoral studies, structured combined studies (compulsory elective course)