[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 :
Sciences informatiques
Auteur, co-auteur :
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)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
AGM Revision of Beliefs about Action and Time
Date de publication/diffusion :
2015
Nom de la manifestation :
International Joint Conference on Artificial Intelligence (IJCAI)
Date de la manifestation :
from 25-07-2015 to 31-07-2015
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the International Joint Conference on Artificial Intelligence
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.
