Intelligence in Strategic Games
Pavel Naumov, Yuan Yuan

TL;DR
This paper develops a logical framework for understanding coalition strategies in strategic games, incorporating intelligence and knowledge modalities to model imperfect information scenarios.
Contribution
It introduces a sound and complete logical system that captures the interaction between coalition power, intelligence, and distributed knowledge in such games.
Findings
Logical system accurately models coalition strategies with intelligence.
Proves soundness and completeness of the logical framework.
Enhances understanding of imperfect information in strategic settings.
Abstract
The article considers strategies of coalitions that are based on intelligence information about moves of some of the other agents. The main technical result is a sound and complete logical system that describes the interplay between coalition power modality with intelligence and distributed knowledge modality in games with imperfect information.
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
TopicsLogic, Reasoning, and Knowledge
