Grossi, Davide and Herzig, Andreas and Van Der Hoek, Wiebe and Moyzes, Christos
Non-Determinism and the Dynamics of Knowledge.
(2017)
In: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 19 August 2017 - 25 August 2017 (Melbourne, Australia).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 291kB |
Official URL: https://doi.org/10.24963/ijcai.2017/146
Abstract
In this paper we attempt to shed light on the concept of an agent’s knowledge after a non-deterministic action is executed. We start by making a comparison between notions of non-deterministic choice, and between notions of sequential composition, of settings with dynamic and/or epistemic character; namely Propositional Dynamic Logic (PDL), Dynamic Epistemic Logic (DEL), and the more recent logic of Semi-Public Environments (SPE). These logics represent two different approaches for defining the aforementioned actions, and in order to provide unified frameworks that encompass both, we define the logics DELVO (DEL+Vision+Ontic change) and PDLVE (PDL+Vision+Epistemic operators). DELVO is given a sound and complete axiomatisation.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Additional Information: | ISBN (Online): 978-0-9992411-0-3 https://www.ijcai.org/proceedings/2017/146 |
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 > University of Liverpool (UNITED KINGDOM) |
Laboratory name: | |
Statistics: | download |
Deposited On: | 05 Nov 2018 14:23 |
Repository Staff Only: item control page