ML Anthology

Epistemic Boolean Games Based on a Logic of Visibility and Control

Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
IJCAI 2016 pp. 1116-1122
/ijcai/2016/herzig2016ijcai-epistemic/

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. PDF

PDF IJCAI Semantic Scholar

Cite

Text

Herzig et al. "Epistemic Boolean Games Based on a Logic of Visibility and Control." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Herzig et al. "Epistemic Boolean Games Based on a Logic of Visibility and Control." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/herzig2016ijcai-epistemic/)

BibTeX

@inproceedings{herzig2016ijcai-epistemic,
  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 = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {1116-1122},
  url       = {https://mlanthology.org/ijcai/2016/herzig2016ijcai-epistemic/}
}