Reasoning about knowledge: a tutorial
Joseph Yehuda Halpern · 1988
Abstract: 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]. References