Epistemic Boolean Games Based on a Logic of Visibility and Control

Herzig, Andreas; Lorini, Emiliano; Maffre, Faustine; Schwarzentruber, François

Epistemic Boolean Games Based on a Logic of Visibility and Control

Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber

Download BibTeX Cite

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 1116-1121.

Abstract

We analyse epistemic boolean games ina computationally grounded dynamic epistemic logic. The agents' knowledge is determined by what they see, including higher-order visibility: agents may observe whether another agent observes an atom or not. The agents' actions consist in modifying the truth values of atoms. We provide an axiomatisation of the logic, establish that the model checking problem is in PSPACE, and show how one can reason about equilibria in epistemic boolean games.

Andreas Herzig, Emiliano Lorini, Faustine Maffre, and François Schwarzentruber. 2016. Epistemic Boolean Games Based on a Logic of Visibility and Control. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 1116–1121. https://ijcai.org/proceedings/2016/162

@inproceedings{ijcai2016p162,
  title     = {Epistemic Boolean Games Based on a Logic of Visibility and Control},
  author    = {Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Schwarzentruber, François},
  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     = {1116--1121},
  year      = {2016},
  month     = {7},
  url       = {https://ijcai.org/proceedings/2016/162},
}

TY  - CPAPER
TI  - Epistemic Boolean Games Based on a Logic of Visibility and Control
AU  - Herzig, Andreas
AU  - Lorini, Emiliano
AU  - Maffre, Faustine
AU  - Schwarzentruber, François
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  - 1116
EP  - 1121
UR  - https://ijcai.org/proceedings/2016/162
ER  -