Skip to main content
Springer Nature Link
Log in

On Defaults in Action Theories

  • Conference paper
KI 2009: Advances in Artificial Intelligence (KI 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5803))

Included in the following conference series:

  • 1641 Accesses

Abstract

We study the integration of two prominent fields of logic-based AI: 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. We show that the mechanism behaves properly in the sense that all intuitively possible conclusions can be drawn and no implausible inferences arise. In particular, it suffices to make default assumptions only once (in the initial state) to solve projection problems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Machine Intelligence, pp. 463–502. Edinburgh University Press (1969)

    Google Scholar 

  2. Hanks, S., McDermott, D.: Nonmonotonic Logic and Temporal Projection. Artificial Intelligence 33(3), 379–412 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. 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)

    Article  MathSciNet  MATH  Google Scholar 

  5. Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13, 81–132 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  6. Thielscher, M.: A Unifying Action Calculus. Artificial Intelligence (to appear, 2009)

    Google Scholar 

  7. McCarthy, J.: Situations and Actions and Causal Laws, Stanford Artificial Intelligence Project: Memo 2 (1963)

    Google Scholar 

  8. Kowalski, R.A., Sergot, M.J.: A Logic-based Calculus of Events. New Generation Computing 4(1), 67–95 (1986)

    Article  Google Scholar 

  9. Pirri, F., Reiter, R.: Some Contributions to the Metatheory of the Situation Calculus. Journal of the ACM 46(3), 325–361 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  10. Brewka, G., Eiter, T.: Prioritizing Default Logic: Abridged Report. In: Festschrift on the occasion of Prof. Dr. W. Bibel’s 60th birthday. Kluwer, Dordrecht (1999)

    Google Scholar 

  11. Brewka, G.: Preferred Subtheories: An Extended Logical Framework for Default Reasoning. In: Proceedings of the Eleventh International Conference on Artificial Intelligence, pp. 1043–1048 (1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Dresden University of Technology, Germany

    Hannes Strass & Michael Thielscher

Authors
  1. Hannes Strass
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Thielscher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. GET Lab, University of Paderborn, Pohlweg 47-49, 33098, Paderborn, Germany

    Bärbel Mertsching , Marcus Hund  & Zaheer Aziz ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Strass, H., Thielscher, M. (2009). On Defaults in Action Theories. In: Mertsching, B., Hund, M., Aziz, Z. (eds) KI 2009: Advances in Artificial Intelligence. KI 2009. Lecture Notes in Computer Science(), vol 5803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04617-9_38

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04617-9_38

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04616-2

  • Online ISBN: 978-3-642-04617-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics