Intelligence in Strategic Games (Extended Abstract)

Intelligence in Strategic Games (Extended Abstract)

Pavel Naumov, Yuan Yuan

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
Journal Track. Pages 5757-5761. https://doi.org/10.24963/ijcai.2022/805

If an agent, or a coalition of agents, has a strategy, knows that she has a strategy, and knows what the strategy is, then she has a know-how strategy. Several modal logics of coalition power for know-how strategies have been studied before. The contribution of the article is three-fold. First, it proposes a new class of know-how strategies that depend on the intelligence information about the opponents' actions. Second, it shows that the coalition power modality for the proposed new class of strategies cannot be expressed through the standard know-how modality. Third, it gives a sound and complete logical system that describes the interplay between the coalition power modality with intelligence and the distributed knowledge modality in games with imperfect information.
Keywords:
Knowledge Representation and Reasoning: Reasoning about actions
Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief