Skip to main content
SpringerLink
Log in

Encoding Solutions of the Frame Problem in Dynamic Logic

  • Conference paper
  • First Online:
Book cover Logic Programming and Nonmotonic Reasoning (LPNMR 2001)

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

Abstract

We investigate the relationship amongst some solutions to the frame problem. We encode Pednault’s syntax-based solution [20], Baker’s state-minimization policy [1], and Gelfond & Lifchitz’s Action Language A [7] in the propositional dynamic logic (PDL).T he formal relationships among these solutions are given. The results of the paper show that dynamic logic, as one of the formalisms for reasoning about dynamic domains, can be used as a formal tool for comparing and unifying logics of action.

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

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  3. R. Fikes and N. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, In: Proceedings of the 2nd International Joint Conference on Artificial Intelligence, William Kaufmann, 608–620, 1971. 240

    Google Scholar 

  4. N. Foo and D. Zhang, Dealing with the ramification problem in extended propositional dynamic logic, To appear in F. Wolter, H. W ansing, M. de Rijke, and M. Zakharyaschev eds, Advances in Modal Logic, Volume 3, CSLI Publications, 2001.

    Google Scholar 

  5. N. Foo and D. Zhang, Lazy-formalization to the frame problem, manuscript. (available at http://www.cse.unsw.edu.au/~ksg/Pubs/ksgworking.html). 251

  6. M. Gelfond and V. Lifschitz, Representing actions and change by logic programs, Journal of Logic Programming, vol.17, no.2,3,4, 301–323, 1993. 246

    Article  MATH  MathSciNet  Google Scholar 

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

    Google Scholar 

  8. G. Giacomo and M. Lenzerini, PDL-based framework for reasoning about actions, In M. G ori and G. So da (Eds.), Topics in Artificial Intelligence, LNAI 992,103–114, 1995. 240, 241

    Google Scholar 

  9. M.L. Ginsberg, Nonmonotonic Reasoning, Morgan Kaufmann, 1988. 240

    Google Scholar 

  10. L. Giordano, A. Martelli, and C. Schwind, Dealing with concurrent actions in modal action logics, ECAI’98, 537–541, 1998. 240

    Google Scholar 

  11. L. Giordano, A. Martelli and C. Schwind, Ramification and causality in a modal action logic, J. Logic Computat.5( 10), 615–662, 2000. 240

    MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  15. G. Kartha, V. Lifschitz: Actions with indirect effects (Preliminary Report), KR’94, 341–350, 1994

    Google Scholar 

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

    Google Scholar 

  17. R.A. Kowalski and M. J. Sergot, A logic-based calculus of events, New Generation Computing, Vol.4, 67–95, 1986. 240

    Article  Google Scholar 

  18. D. Kozen and J. Tiuryn, Logics of programs, In J. van Leeuwen ed. Handbook of Theoretical Computer Science, Elsevier, 789–840, 1990. 241, 242, 243

    Google Scholar 

  19. J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, In B. Melt zer and D. Mic hie edits, Machine Intelligence 4, Edinburgh University Press, 463–502, 1969. 240, 247

    Google Scholar 

  20. E. Pednault, ADL: exploring the middle ground between STRIPS and the situation calculus, KR-89, 324–332. 240, 241, 245

    Google Scholar 

  21. Peleg, D. Concurrent dynamic logic, J. ACM, 34(2):450–479,1987.

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  MathSciNet  Google Scholar 

  23. 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, 1991, 359–380. 240, 241, 243, 245, 251

    Google Scholar 

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

    Google Scholar 

  25. D. Zhang and S. Chopra, Consistency analysis of action descriptions, in Proceedings of Australian Workshop on Computational Logic 2001, 107–116. 242, 243

    Google Scholar 

  26. D. Zhang and N. Foo, EPDL: a logic for causal reasoning, to appear in Proceedings of IJCAI-01. 240, 242, 243, 246

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Knowledge Systems Group, School of Computer Science and Engineering University of New South Wales, Australia

    Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra & Bao Quoc Vo

Authors
  1. Norman Foo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dongmo Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yan Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Samir Chopra
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bao Quoc Vo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informationssysteme, Vienna University of Technology, 1040, Wien, Austria

    Thomas Eiter

  2. Institut für Informationssysteme, Vienna University of Technology, 1040, Wien, Austria

    Wolfgang Faber

  3. Department of Computer Science Lexington, University of Kentucky, KY, 40506-0046, USA

    Miros law Truszczyński

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Foo, N., Zhang, D., Zhang, Y., Chopra, S., Vo, B.Q. (2001). Encoding Solutions of the Frame Problem in Dynamic Logic. In: Eiter, T., Faber, W., Truszczyński, M.l. (eds) Logic Programming and Nonmotonic Reasoning. LPNMR 2001. Lecture Notes in Computer Science(), vol 2173. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45402-0_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-45402-0_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42593-9

  • Online ISBN: 978-3-540-45402-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation