Epistemic boolean games based on a logic of visibility and control - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Epistemic boolean games based on a logic of visibility and control

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

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

Citer

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⟩
256 Consultations
61 Téléchargements

Partager

Gmail Facebook X LinkedIn More