Skip to main content
SpringerLink
Log in

Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem

  • Conference paper
  • First Online:
Logics in Artificial Intelligence (JELIA 2002)

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

Included in the following conference series:

Abstract

This paper makes a contribution to the meta-theory of reasoning about action.We present two interpolation properties of action logic.We show that the frame axioms which are required for answering a query involve only the objects which are relevant to the query and action description. Moreover, if the action description is expressed by normal form, the required frame axioms depend on only the query itself. Therefore the frame problem may be mitigated by localizing descriptions and postponing the listing of frame axioms till a query occurs. This offers a pragmatic solution to the frame problem. This solution does not rest on any meta-hypotheses most existing solutions to the frame problem rely on.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

  1. A. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence, 49:5–23, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  2. M. A. Castilho, O. Gasquet and A. Herzig, Formalizing action and change in mo dal logic I:the frame problem, J. of Logic and Computations, 701–735(9), 1999.

    Article  MATH  MathSciNet  Google Scholar 

  3. C.C. Chang and H. J. Keisler, Model Theory, North Holland, 1973.

    Google Scholar 

  4. N. Foo, D. Zhang, Y. Zhang, S. Chopra and B. Vo, Encoding solutions of the frame problem in dynamic logic. T. Eiter, W. Faber, and M. Truszczynski eds., Logic Programming and Nonmonotonic Reasoning (LPNMR’01), LNAI 2173, Springer, 240–253.

    Google Scholar 

  5. M. Gelfond and V. Lifschitz, Action languages, Electronic Transactions on AI, 16(3), 1998.

    Google Scholar 

  6. G. De Giacomo and M. Lenzerini, PDL-based framework for reasoning about actions, In M. Gori and G. Soda (Eds.), Topics in Artificial Intelligence, LNAI 992, Springer, 1995, 103–114.

    Google Scholar 

  7. M. L. Ginsberg and D. E. Smith, Reasoning about action I: a possible worlds approach, Artificial Intelligence, 35(1988), 165–195.

    Article  MATH  MathSciNet  Google Scholar 

  8. R. Goldblatt, Logics of Time and Computation, Center for the Study of Language and Information Lecture Notes 7, Stanford Univ. Press, 1987.

    Google Scholar 

  9. S. Hanks and D. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence, 33(3): 379–412, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  10. V. Lifschitz, Frames in the space of situations, Artificial Intelligence, 46:365–376, 1990.

    Article  MATH  MathSciNet  Google Scholar 

  11. F. Lin and Y. Shoham, Provably correct theories of action, AAAI-91, 349–354, 1991.

    Google Scholar 

  12. G. Kartha, Soundness and completeness theorems for three formalization of action, IJCAI-93, 724–729, 1993.

    Google Scholar 

  13. G. Kartha: On the range of applicability of Baker’s approach to the frame problem. AAAI-96, 664–669, 1996.

    Google Scholar 

  14. L. Maksimova, Amalgamation and interpolation in normal modal logics, Studia Logica, L(3/4), 457–471, 1991.

    Article  MathSciNet  Google Scholar 

  15. J. X. Madarász, The Craig interpolation theorem in multi-modal logics, Bulletin of the Section of Logic, 3(24), 147–151, 1995.

    Google Scholar 

  16. M. Marx, Interpolation in Modal Logic, LNCS 1548, 154–163, 1999.

    Google Scholar 

  17. E. Pednault, ADL: Exploring the middle ground between STRIPS and the situation calculus, KR’89, 1989, 324–332.

    Google Scholar 

  18. F. Pirri and R. Reiter, Some contributions to the metatheory of the situation calculus. J.ACM, 3(46), 325–361, 1999.

    Article  MathSciNet  Google Scholar 

  19. H. Prendinger, and G. Schurz, Reasoning about action and change:Adynamic logic approach, J. of Logic, Language, and Information, 5:209–245, 1996.

    MATH  MathSciNet  Google Scholar 

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

    Google Scholar 

  21. M. Shanahan, Solving the frame problem: a mathematical investigation of the common sense law of inertia, The MIT Press, 1997.

    Google Scholar 

  22. D. Zhang and N. Foo, EPDL: a logic for causal reasoning, IJCAI-01, 131–136, 2001.

    Google Scholar 

  23. D. Zhang and S. Chopra, Consistency of action descriptions, in: Proceedings of the 4th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC’01), 78–85, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing and Information Technology, University ofWestern Sydney, Australia

    Dongmo Zhang

  2. School of Computer Science and Engineering, The University of New SouthWales, Australia

    Norman Foo

Authors
  1. Dongmo Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Norman Foo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DEIS, University of Calabria, P.te P. Bucci, Cubo 41C, 87036, Rende, CS, Italy

    Sergio Flesca  & Sergio Greco  & 

  2. Department of Mathematics, University of Calabria, P.te P. Bucci, Cubo 30B, 87036, Rende, CS, Italy

    Giovambattista Ianni  & Nicola Leone  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, D., Foo, N. (2002). Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science(), vol 2424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45757-7_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-45757-7_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44190-8

  • Online ISBN: 978-3-540-45757-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation