Reasoning About Knowledge: A Tutorial

In this tutorial talk, we will first review the standard possible-worlds definition of knowledge. We then give a method of modelling interactive systems as sets of runs, where a run is a complete description of what happens in the system over time. This appraoch is applicable to modelling a wide range of phenomena, including distributed protocols, games, and conversations. We show how to interpret knowledge in a distributed system and use this approach to analyze the coordinated attack problem. All the material in this talk is taken from [HF85, HM84] and the overview paper [Ha187].

Authors

• Joseph Y. Halpern

Keywords

No keywords are indexed for this paper.