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
10 - Decisions, actions, and games
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
We have now developed separate logics for knowledge update, inference, belief revision, and preference change. But concrete agency has all these entangled. A concrete intuitive setting where this happens is in games, and this chapter will explore such interactive scenarios. Our second reason for studying games here is as a concrete model of mid-term and long-term interaction over time (think of conversation or other forms of interactive agency), beyond the single steps that were the main focus in our logical systems so far.
This chapter is a ‘mini-treatise’ on logic and games introducing the reader to a lively new area that draws on two traditions: computational and philosophical logic. We discuss both statics, viewing games as encoding all possible runs of some process, and the dynamics when events change games. We start with examples. Then we introduce logics for static game structure, from moves and strategies to preferences and uncertainty. About halfway, we make a turn and start exploring what our dynamic logics add in terms of update and revision steps that change game models as new information arrives. Our technical treatment is not exhaustive (we refer to further literature in many places, and van Benthem (to appearA) will go into more depth), but we do hope to convey the main picture.
- Type
- Chapter
- Information
- Logical Dynamics of Information and Interaction , pp. 195 - 227Publisher: Cambridge University PressPrint publication year: 2011