OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Building epistemic logic from observations and public announcements

Charrier, Tristan and Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Schwarzentruber, François Building epistemic logic from observations and public announcements. (2016) In: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, 25 April 2016 - 29 April 2016 (Capetown, South Africa).

(Document in English)

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


We study an epistemic logic where knowledge is built from what the agents observe (including higher-order visibility) and what the agents learn from public announcements. This fixes two main drawbacks of previous observability-based approaches where who sees what is common knowledge and where the epistemic operators distribute over disjunction. The latter forbids the modeling of most of the classical epistemic problems, starting with the muddy children puzzle. We integrate a dynamic dimension where both facts of the world and the agents' observability can be modified by assignment programs. We provide a sound and complete axiomatization of the logic and establish that the model checking problem is PSPACE-complete.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Association for the Advancement of Artificial Intelligence (AAAI). This papers appears in Proceedings of KR 2016 ISBN 978-1-57735-755-1 The definitive version is available at https: //www.aaai.org/ocs/index.php/KR/KR16/index The original PDF of the article can be found at: https://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12899/12483
HAL Id:hal-04109521
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:06 Jun 2017 13:47

Repository Staff Only: item control page