Skip to main content
SpringerLink
Log in

A Semantical Account of Progression in the Presence of Defaults

  • Chapter
Conceptual Modeling: Foundations and Applications

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5600))

Abstract

In previous work, we proposed a modal fragment of the situation calculus called \({\mathcal ES}\), which fully captures Reiter’s basic action theories. \({\mathcal ES}\) also has epistemic features, including only-knowing, which refers to all that an agent knows in the sense of having a knowledge base. While our model of only-knowing has appealing properties in the static case, it appears to be problematic when actions come into play. First of all, its utility seems to be restricted to an agent’s initial knowledge base. Second, while it has been shown that only-knowing correctly captures default inferences, this was only in the static case, and undesirable properties appear to arise in the presence of actions. In this paper, we remedy both of these shortcomings and propose a new dynamic semantics of only-knowing, which is closely related to Lin and Reiter’s notion of progression when actions are performed and where defaults behave properly.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Blackburn, P., Kamps, J., Marx, M.: Situation calculus as hybrid logic: First steps. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS, vol. 2258, pp. 253–260. Springer, Heidelberg (2001)

    Google Scholar 

  • Claßen, J., Eyerich, P., Lakemeyer, G., Nebel, B.: Towards an integration of Golog and planning. In: Veloso, M.M. (ed.) Proc. of IJCAI 2007, pp. 1846–1851 (2007)

    Google Scholar 

  • Fikes, R., Nilsson, N.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)

    Article  MATH  Google Scholar 

  • De Giacomo, G., Lenzerini, M.: PDL-based framework for reasoning about actions. In: Gori, M., Soda, G. (eds.) AI*IA 1995. LNCS, vol. 992, pp. 103–114. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  • Demolombe, R.: Belief change: from Situation Calculus to Modal Logic. In: IJCAI Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2003), Acapulco, Mexico (2003)

    Google Scholar 

  • Demolombe, R., Herzig, A., Varzinczak, I.J.: Regression in modal logic. J. of Applied Non-Classical Logics 13(2), 165–185 (2003)

    Article  MATH  Google Scholar 

  • Enderton, H.: A Mathematical Introduction to Logic. Academic Press, New York (1972)

    MATH  Google Scholar 

  • Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17, 301–321 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  • Harel, D.: Dynamic Logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 2, pp. 497–604. D. Reidel Publishing Company (1984)

    Google Scholar 

  • Herzig, A., Lang, J., Longin, D., Polacsek, T.: A logic for planning under partial observability. In: Proc. AAAI-2000, AAAI Press, Menlo Park (2000)

    Google Scholar 

  • Hindriks, K.V., De Boer, F.S., Van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)

    Article  Google Scholar 

  • Hughes, G., Cresswell, M.: An Introduction to Modal Logic. Methuen and Co., London (1968)

    MATH  Google Scholar 

  • Kakas, A., Michael, L., Miller, R.: Fred meets Tweety. In: Proc. ECAI-2008, pp. 747–748. IOS Press, Amsterdam (2008)

    Google Scholar 

  • Kowalski, R., Sergot, M.: A logic based calculus of events. New Generation Computing 4, 67–95 (1986)

    Article  Google Scholar 

  • Lakemeyer, G., Levesque, H.J.: Situations, si! Situation Terms, no! In: Ninth Conf. on Principles of Knowledge Representation and Reasoning, AAAI Press, Menlo Park (2004)

    Google Scholar 

  • Lakemeyer, G., Levesque, H.J.: A useful fragment of the situation calculus. In: Proc. of IJCAI-2005, pp. 490–496. AAAI Press, Menlo Park (2005)

    Google Scholar 

  • Lakemeyer, G., Levesque, H.J.: Towards an axiom system for default logic. In: Proc. of AAAI-2006, AAAI Press, Menlo Park (2006)

    Google Scholar 

  • Lakemeyer, G., Levesque, H.J.: A semantical account of progression in the presence of defaults. In: Proc. of IJCAI-2009, AAAI Press, Menlo Park (2009)

    Google Scholar 

  • Levesque, H.J.: All I Know: A Study in Autoepistemic Logic. Artificial Intelligence 42, 263–309 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  • Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  • Levesque, H.J., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.B.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31, 59–84 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  • Lin, F., Reiter, R.: How to progress a database. Artificial Intelligence 92, 131–167 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  • Liu, Y., Levesque, H.J.: Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In: Proc. of IJCAI-2005 (2005)

    Google Scholar 

  • McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463–502 (1969)

    MATH  Google Scholar 

  • Moore, R.C.: Semantical considerations on nonmonotonic logic. Artificial Intelligence 25, 75–94 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  • Mylopoulos, J.: TORUS - A Natural Language Understanding System For Data Management. In: IJCAI, pp. 414–421 (1975)

    Google Scholar 

  • Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation, pp. 359–380. Academic Press, London (1991)

    Chapter  Google Scholar 

  • Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  • Sandewall, E.: Features and Fluents. The Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford (1994)

    Google Scholar 

  • Shanahan, M.: Solving the Frame Problem. MIT Press, Cambridge (1997)

    Google Scholar 

  • Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artificial Intelligence 144(1-2), 1–39 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  • 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 

  • Vassos, S., Levesque, H.J.: Progression of situation calculus action theories with incomplete information. In: Proc. IJCAI 2007 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, RWTH, Aachen, 52056, Germany

    Gerhard Lakemeyer

  2. Dept. of Computer Science, University of Toronto, Toronto, Ontario, Canada, M5S 3A6

    Hector J. Levesque

Authors
  1. Gerhard Lakemeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hector J. Levesque
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Rutgers University, 08855, Piscataway, NJ, USA

    Alexander T. Borgida

  2. SRI International, Artificial Intelligence Center, 333 Ravenswood Ave, 94025, Menlo Park, CA, USA

    Vinay K. Chaudhri

  3. Dipartimento Ingegneria e Scienza dell’Informazione, University of Trento, Via Sommarive, 14, 38100, Trento, Italy

    Paolo Giorgini

  4. Faculty of Information, University of Toronto, 140 St. George Street, Toronto, M5S 3G6, Ontario, Canada

    Eric S. Yu

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Lakemeyer, G., Levesque, H.J. (2009). A Semantical Account of Progression in the Presence of Defaults. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds) Conceptual Modeling: Foundations and Applications. Lecture Notes in Computer Science, vol 5600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02463-4_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02463-4_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02462-7

  • Online ISBN: 978-3-642-02463-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation