Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games

Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng

Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games

Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang

Download BibTeX Cite

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1138-1143.

Abstract

This paper proposes a logical framework for representing and reasoning about imperfect information games. We first extend the game description language (GDL) with the standard epistemic operators and provide it with a semantics based on the epistemic state transition model. We then demonstrate how to use the language to represent the rules of an imperfect information game and formalize its epistemic properties. We also show how to use the framework to reason about player's own as well as other players' knowledge during game playing. Finally we prove that the model-checking problem of the framework is in Δ2p, which is the lowest among the existing similar frameworks, even though its lower bound is Θ2p. These results indicate that the framework makes a good balance between expressive power and computational efficiency.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel, and Heng Zhang. 2016. Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 1138–1143. https://ijcai.org/proceedings/2016/165

@inproceedings{ijcai2016p165,
  title     = {Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games},
  author    = {Jiang, Guifei and Zhang, Dongmo and Perrussel, Laurent and Zhang, Heng},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-16}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Subbarao Kambhampati},
  pages     = {1138--1143},
  year      = {2016},
  month     = {7},
  url       = {https://ijcai.org/proceedings/2016/165},
}

TY  - CPAPER
TI  - Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games
AU  - Jiang, Guifei
AU  - Zhang, Dongmo
AU  - Perrussel, Laurent
AU  - Zhang, Heng
T2  - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2016
SP  - 1138
EP  - 1143
UR  - https://ijcai.org/proceedings/2016/165
ER  -