Reasoning about equilibria in game-like concurrent systems

Conference item

Our aim is to develop techniques for reasoning about gamelike concurrent systems, where the components of the system act rationally and strategically in pursuit of logicallyspecified goals. We first present a computational model for such systems, and investigate its properties. We then define and investigate a branching-time logic for reasoning about the equilibrium properties of such systems. The key operator in this logic is a path quantifier [NE]ϕ, which asserts that ϕ holds on all Nash equilibrium computations of the system

Authors: Gutierrez, J; Harrenstein, P; Wooldridge, M

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: Association for the Advancement of Artificial Intelligence
• Host title: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning
• Pages: 408-417
• Publication date: 2014-05-04
• Acceptance date: 2014-01-28
• Event title: 14th International Conference on Principles of Knowledge Representation and Reasoning
• Event location: Vienna University of Technology, Vienna, Austria
• Event website: https://www.dbai.tuwien.ac.at/kr2014/
• Event start date: 2014-07-20
• Event end date: 2014-07-24
• ISBN: 1577356578
• Language: English
• Keywords: concurrency; complexity; equilibria; games