Epistemic boolean games based on a logic of visibility and control - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Epistemic boolean games based on a logic of visibility and control

Abstract

We analyse epistemic boolean games in a 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.
Fichier principal
Vignette du fichier
herzig_16978.pdf (242.66 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01530163 , version 1 (31-05-2017)

Identifiers

  • HAL Id : hal-01530163 , version 1
  • OATAO : 16978

Cite

Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber. Epistemic boolean games based on a logic of visibility and control. 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122. ⟨hal-01530163⟩
259 View
65 Download

Share

Gmail Mastodon Facebook X LinkedIn More