Abstract
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model to make useful default assumptions. While the previous approach only allowed for modeling static defaults, that are independent of state properties, our extension allows for the expression of dynamic defaults. Problems that arise due to the interaction of defaults with the solution of the frame problem are dealt with accordingly: we devise a general method of integrating defaults into the formal representation of action effects and show that the method prevents counter-intuitive conclusions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Strass, H., Thielscher, M.: On Defaults in Action Theories. In: Mertsching, B., Hund, M., Aziz, Z. (eds.) KI 2009. LNCS (LNAI), vol. 5803, pp. 298–305. Springer, Heidelberg (2009)
Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13, 81–132 (1980)
Reiter, R.: The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In: Artificial Intelligence and Mathematical Theory of Computation – Papers in Honor of John McCarthy, pp. 359–380. Academic Press, London (1991)
Thielscher, M.: From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. Artificial Intelligence 111(1-2), 277–299 (1999)
Thielscher, M.: A Unifying Action Calculus. Artificial Intelligence (to appear, 2009)
McCarthy, J.: Situations and Actions and Causal Laws, Stanford Artificial Intelligence Project: Memo 2 (1963)
Kowalski, R.A., Sergot, M.J.: A Logic-based Calculus of Events. New Generation Computing 4(1), 67–95 (1986)
Pirri, F., Reiter, R.: Some Contributions to the Metatheory of the Situation Calculus. Journal of the ACM 46(3), 325–361 (1999)
Sandewall, E.: Features and Fluents: The Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Strass, H., Thielscher, M. (2009). Simple Default Reasoning in Theories of Action. In: Nicholson, A., Li, X. (eds) AI 2009: Advances in Artificial Intelligence. AI 2009. Lecture Notes in Computer Science(), vol 5866. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10439-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-10439-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10438-1
Online ISBN: 978-3-642-10439-8
eBook Packages: Computer ScienceComputer Science (R0)