OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Epistemic boolean games based on a logic of visibility and control

Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Schwarzentruber, François Epistemic boolean games based on a logic of visibility and control. (2016) In: 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 9 July 2016 - 15 July 2016 (New York, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://www.ijcai.org/Proceedings/16/Papers/162.pdf


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to AAAI Press editor. This papers appears in IJCAI'16 ISBN 978-1-57735-770-4 (volumes 1-3) ISBN 978-1-57735-771-1 (volumes 4-6) The definitive version is available at: https://www.ijcai.org/Proceedings/16/Papers/162.pdf
HAL Id:hal-01530163
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE)
Laboratory name:
Deposited On:04 May 2017 08:32

Repository Staff Only: item control page