Imperfect information in reactive modules games

Conference item

Reactive Modules is a high-level modelling language for concurrent, distributed, and multi-agent systems, which is used in a number of practical model checking tools. Reactive Modules Games are a game-theoretic extension of Reactive Modules, in which agents in a system are assumed to act strategically in an attempt to satisfy a temporal logic formula representing their individual goal. Reactive Modules Games with perfect information have been closely studied, and the complexity of game theoretic decision problems relating to such games have been comprehensively classified. However, to date, no work has considered the imperfect information case. In this paper we address this gap, investigating Reactive Modules Games in which agents have only partial visibility of their environment.

Authors: Gutierrez, J; Perelli, G; Wooldridge, M

• Publication status: Published
• Peer review status: Reviewed (other)
• Publisher: Association for the Advancement of Artificial Intelligence
• Host title: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning
• Journal: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning
• Pages: 390-399
• Publication date: 2016-04-29
• Acceptance date: 2016-01-21