Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgments
- 1 Logical dynamics, agency, and intelligent interaction
- 2 Epistemic logic and semantic information
- 3 Dynamic logic of public observation
- 4 Multi-agent dynamic-epistemic logic
- 5 Dynamics of inference and awareness
- 6 Questions and issue management
- 7 Soft information, correction, and belief change
- 8 An encounter with probability
- 9 Preference statics and dynamics
- 10 Decisions, actions, and games
- 11 Processes over time
- 12 Epistemic group structure and collective agency
- 13 Logical dynamics in philosophy
- 14 Computation as conversation
- 15 Rational dynamics in game theory
- 16 Meeting cognitive realities
- 17 Conclusion
- References
- Index
4 - Multi-agent dynamic-epistemic logic
Published online by Cambridge University Press: 07 October 2011
- Frontmatter
- Contents
- Preface
- Acknowledgments
- 1 Logical dynamics, agency, and intelligent interaction
- 2 Epistemic logic and semantic information
- 3 Dynamic logic of public observation
- 4 Multi-agent dynamic-epistemic logic
- 5 Dynamics of inference and awareness
- 6 Questions and issue management
- 7 Soft information, correction, and belief change
- 8 An encounter with probability
- 9 Preference statics and dynamics
- 10 Decisions, actions, and games
- 11 Processes over time
- 12 Epistemic group structure and collective agency
- 13 Logical dynamics in philosophy
- 14 Computation as conversation
- 15 Rational dynamics in game theory
- 16 Meeting cognitive realities
- 17 Conclusion
- References
- Index
Summary
The public announcements or observations !P studied in Chapter 3 are an easily described way of conveying information. The only difficulty may be finding good static epistemic models for the initial situation where updates start. But information flow gets much more challenging once we give up the uniformity in this scenario. In conversation, in games, or at work, agents need not have the same access to the events currently taking place. When I take a new card from the stack in our current game, I see which one I get, but you do not. When I overhear what you are telling your friend, you may not know that I am getting that information. At the website of your bank, you have an encrypted private conversation which as few people as possible should learn about. The most enjoyable games are all about different information for different players, and so on. In all these cases, the dynamics itself poses a challenge, and elimination of worlds is definitely not the right mechanism. This chapter is about a significant extension of PAL that can deal with partially private information, reflecting different observational access of agents to the event taking place. We will present motivating examples, develop the system DEL, and explore some of its technical properties. As usual, the chapter ends with a number of further directions and open problems, from practical and philosophical to more mathematical. DEL is the true paradigm of dynamic-epistemic logic, and its ideas will return over and over again in this book.
- Type
- Chapter
- Information
- Logical Dynamics of Information and Interaction , pp. 76 - 99Publisher: Cambridge University PressPrint publication year: 2011