Herzig, Andreas and Lorini, Emiliano
and Maffre, Faustine
A poor man's epistemic logic based on propositional assignment and higher-order observation.
(2015)
In: 5th International Conference on Logic, Rationality and Interaction (LORI 2015), 28 October 2015 - 31 October 2015 (Taipei, Taiwan, Province Of China).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 353kB |
Official URL: https://doi.org/10.1007/978-3-662-48561-3_13
Abstract
We introduce a dynamic epistemic logic that is based on what an agent can observe, including joint observation and observation of what other agents observe. This generalizes van der Hoek, Wooldridge and colleague’s logics ECL-PC(PO) and LRC where it is common knowledge which propositional variables each agent observes. In our logic, facts of the world and their observability can both be modified by assignment programs. We show how epistemic operators can be interpreted in this framework and identify the conditions under which the principles of positive and negative introspection are valid. We also provide a sound and complete axiomatization and prove that the satisfiability problem is PSpace-complete. Finally, we show how public and private announcements can be expressed and illustrate the latter by the gossip spreading problem.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Additional Information: | Thanks to Springer editor. This papers appears in Volume 9394 of Lecture Notes in Computer Science ISSN: 0302-9743 ISBN: 978-3-662-48561-3 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-662-48561-3_13 |
HAL Id: | hal-01592020 |
Audience (conference): | International conference proceedings |
Uncontrolled Keywords: | |
Institution: | Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (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) |
Laboratory name: | |
Statistics: | download |
Deposited On: | 13 Sep 2017 14:45 |
Repository Staff Only: item control page