Boolean Observation Games
Hans van Ditmarsch, Sunil Simon

TL;DR
Boolean Observation Games extend classical Boolean games by incorporating incomplete information and observation control, enabling reasoning about knowledge and strategic decision-making in multi-agent systems with qualitative objectives.
Contribution
This paper introduces Boolean Observation Games, a new class of strategic games that generalize Boolean games to include incomplete information and observation control, with analysis of equilibria and complexity.
Findings
Existence conditions for Nash equilibria identified.
Complexity of equilibrium verification analyzed.
Equivalence between Boolean observation games and Boolean games for 'knowing whether' goals established.
Abstract
We introduce Boolean Observation Games, a subclass of multi-player finite strategic games with incomplete information and qualitative objectives. In Boolean observation games, each player is associated with a finite set of propositional variables of which only it can observe the value, and it controls whether and to whom it can reveal that value. It does not control the given, fixed, value of variables. Boolean observation games are a generalization of Boolean games, a well-studied subclass of strategic games but with complete information, and wherein each player controls the value of its variables. In Boolean observation games, player goals describe multi-agent knowledge of variables. As in classical strategic games, players choose their strategies simultaneously and therefore observation games capture aspects of both imperfect and incomplete information. They require reasoning about…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGame Theory and Applications · Game Theory and Voting Systems · Auction Theory and Applications
