AGM Revision of Beliefs about Action and Time

Van Zee, Marc; Doder, Dragan; Dastani, Mehdi; van der Torre, Leon

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

AGM Revision of Beliefs about Action and Time

Van Zee, Marc; Doder, Dragan; Dastani, Mehdi et al.

2015 • In Proceedings of the International Joint Conference on Artificial Intelligence

Peer reviewed

Permalink
https://hdl.handle.net/10993/21354

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

ijcai15.pdf

Author preprint (182.91 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

AGM theory of belief revision

Abstract :

[en] The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to- morrow it will rain), possibility (it may rain tomor- row), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl repre- sentation theorems by restricting the logic to for- mulas representing beliefs up to certain time. We illustrate our belief change model through several examples

Disciplines :

Computer science

Author, co-author :

Van Zee, Marc ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Doder, Dragan ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Dastani, Mehdi

van der Torre, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

External co-authors :

Language :

English

Title :

AGM Revision of Beliefs about Action and Time

Publication date :

2015

Event name :

International Joint Conference on Artificial Intelligence (IJCAI)

Event date :

from 25-07-2015 to 31-07-2015

Audience :

International

Main work title :

Proceedings of the International Joint Conference on Artificial Intelligence

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 17 June 2015

Statistics

Number of views

134 (9 by Unilu)

Number of downloads

184 (4 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

Carlos E. Alchourron, Peter Gardenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510-530, 06 1985.
Chitta Baral and Yan Zhang. Knowledge updates: Semantics and complexity issues. Artificial Intelligence, 164(1):209-243, 2005.
Giacomo Bonanno. Axiomatic characterization of the AGM theory of belief revision in a temporal logic. Artificial Intelligence, 171(2):144-160, 2007.
Jan Broersen. A complete stit logic for knowledge and action, and some of its applications. In Declarative Agent Languages and Technologies VI, pages 47-59. Springer, 2009.
Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89(12):1-29, 1997.
Patrick Doherty, Jonas Kvarnström, and Fredrik Heintz. A Temporal Logic-based Planning and Execution Monitoring Framework for Unmanned Aircraft Systems. Autonomous Agents and Multi-Agent Systems, 19(3):332-377, 2009.
Peter Gärdenfors. Belief revision, volume 29. Cambridge University Press, 2003.
Thomas Icard, Eric Pacuit, and Yoav Shoham. Joint revision of belief and intention. Proc. of the 12th International Conference on Knowledge Representation, pages 572-574, 2010.
Yi Jin and Michael Thielscher. Representing beliefs in the fluent calculus. In Ramon Lpez de Mntaras and Lorenza Saitta, editors, ECAI, pages 823-827. IOS Press, 2004.
Hirofumi Katsuno and Alberto O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52(3):263-294, dec 1991.
Jonas Kvarnström. TALplanner and other extensions to Temporal Action Logic. PhD thesis, Linköpings universitet, 2005.
Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, and John-Jules Ch. Meyer. Intentions and assignments. In LORI, volume 5834 of Lecture Notes in Computer Science, pages 198-211. Springer, 2009.
Erik T Mueller. Commonsense reasoning. Morgan Kaufmann, 2010.
Ming Xu Nuel Belnap, Michael Perloff. Facing the Future: Agents and Choices in Our Indeterminist World: Agents and Choices in Our Indeterminist World. Oxford University Press, USA, 2001.
Nikos Papadakis and Dimitris Plexousakis. Actions with duration and constraints: The ramification problem in temporal databases. International Journal on Artificial Intelligence Tools, 12(3):315-353, 2003.
Theodore Patkos. A formal theory for reasoning about action, knowledge and time. PhD thesis, University of Crete-Heraklion, 2010.
P. Peppas. Handbook of Knowledge Representation, chapter Belief Revision. Elsevier, 2007.
Arthur N Prior. Past, present and future, volume 154. Clarendon Press Oxford, 1967.
Raymond Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. 2001.
M. Reynolds. An axiomatization of full computation tree logic. Journal of Symbolic Logic, 66(3):1011-1057, 2002.
Richard B Scherl and Hector J Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144(1):1-39, 2003.
Richard B Scherl. Action, belief change and the frame problem: A fluent calculus approach. In Proceedings of the Sixth workshop on Nonmonotonic Reasoning, Action, and Change at IJCAI, 2005.
Steven Shapiro, Maurice Pagnucco, Yves Lesprance, and Hector J. Levesque. Iterated belief change in the situation calculus. Artificial Intelligence, 175(1):165-192, 2011.
Yoav Shoham. Logical theories of intention and the database perspective. Journal of Philosophical Logic, 2009.
Michael Thielscher. The concurrent, continuous fluent calculus. Studia Logica, 67(3):315-331, 2001.
Johan Van Benthem. Logical dynamics of information and interaction. Cambridge University Press, 2011.
Wiebe van der Hoek, Wojciech Jamroga, and Michael Wooldridge. Towards a theory of intention revision. Synthese, 155(2):265-290, February 2007.
Marc van Zee, Mehdi Dastani, Dragan Doder, and Leendert van der Torre. Consistency conditions for beliefs and intentions. In Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, March 2015.
M.J. Wooldridge. Reasoning about Rational Agents. MIT Press, 2000.