Credit points: 2
This course presents the theory of knowledge in distributed systems and illustrates its usage in the design and analysis of distributed computer programs and of multi-player games. The topics covered include: possible-worlds semantics for modal logics, modelling of distributed systems via interpreted systems, modal logics of knowledge and time, single-agent knowledge, common knowledge and other states of group knowledge, the use of knowledge in game theory, and applications of knowledge theory in the design and analysis of distributed protocols and games.
Learning outcomes: By the end of the course the students will possess effective tools for the design and analysis of distributed and multi-agent systems using the notion of knowledge and its derivatives.
This course presents the theory of knowledge in distributed systems and illustrates its usage in the design and analysis of distributed computer programs and of multi-player games. The topics covered include: possible-worlds semantics for modal logics, modelling of distributed systems via interpreted systems, modal logics of knowledge and time, single-agent knowledge, common knowledge and other states of group knowledge, the use of knowledge in game theory, and applications of knowledge theory in the design and analysis of distributed protocols and games.
Learning outcomes: By the end of the course the students will possess effective tools for the design and analysis of distributed and multi-agent systems using the notion of knowledge and its derivatives.