Frame problem in dynamic logic

Journal of Applied Non-Classical Logics

Volumn 15, Issue 2, 2005, Pages 215-239

  Zhang, Dongmo ^a   Foo, Norman ^b  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Dynamic logic; Frame problem; Reasoning about action

Indexed keywords

EID: 34547804096     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.15.215-239     Document Type: Article

References (31)

1. BAKER A., "Nonmonotonic reasoning in the framework of situation calculus", Artificial Intelligence, vol. 49, 1991, p. 5-23 (Pubitemid 21679938)
2. CASTILHO M., GASQUET O., HERZIG A., "Formalizing action and change in modal logic I: the frame problem", Journal of Logic and Computations, vol. 5, num. 9, 1999, p. 701-735 (Pubitemid 30553026)
3. FIKES R., NILSSON N., "STRIPS: a new approach to the application of theorem proving to problem solving", Proceedings of the 2nd International Joint Conference on Artificial Intelligence, William Kaufmann, 1971, p. 608-620
4. GELFOND M., LIFSCHITZ V., "Representing actions and change by logic programs", Journal of Logic Programming, vol. 17, num. 2-4, 1993, p. 301-323
5. GELFOND M., LIFSCHITZ V., "Action languages", Electronic Transactions on Artificial Intelligence, vol. 2, num. 2-3, 1998, p. 139-210
6. GIACOMO G., LENZERINI M., "PDL-based framework for reasoning about actions", GORI M., SODA G., Eds., Topics in Artificial Intelligence, LNAI 992, p. 103-114, Springer, 1995
7. GINSBERG M. L., Nonmonotonic Reasoning, Morgan Kaufmann, 1988
8. GIORDANO L., MARTELLI A., SCHWIND C., "Dealing with concurrent actions in modal action logics", Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98), John Wiley and Sons, 1998, p. 537-541
9. GIORDANO L., MARTELLI A., SCHWIND C., "Ramification and causality in a modal action logic", Journal of Logic and Computation, vol. 5, num. 10, 2000, p. 615-662
10. GOLDBLATT R., Logics of Time and Computation, Stanford University Press, 1987
11. HANKS S., D. M., "Nonmonotonic logic and temporal projection", Artificial Intelligence, vol. 33, num. 3, 1987, p. 379-412
12. HAREL D., First-Order Dynamic Logic, LNCS 68, Springer-Verlag, 1979
13. KARTHA G., "Soundness and completeness theorems for three formalization of action", Proceedings of the 13th International Joint Conference on Artificial Intelligence( IJCAI'93), Morgan Kaufmann, 1993, p. 724-729
14. KOWALSKI R. A., SERGOT M. J., "A logic-based calculus of events", New Generation Computing, vol. 4, num. 1, 1986, p. 67-95
15. KOZEN D., TIURYN J., "Logics of programs", VAN LEEUWEN J., Ed., Handbook of Theoretical Computer Science, vol. B, p. 789-840, Elsevier, 1990
16. LIN F., SHOHAM Y., "Provably correct theories of action", Proceedings of the 9th National Conference on Artificial Intelligence, AAAI Press / The MIT Press, 1991, p. 349- 354
17. LIN F., REITER R., "State constraints revisited", Journal of Logic and Computation, vol. 4, num. 5, 1994, p. 655-678
18. LIN F., "Embracing causality in specifying the indirect effects of actions", Proceedings of the 14th International Joint Conference on Artificial Intelligence(IJCAI'95),Morgan Kaufmann, 1995, p. 1985-1991
19. MCCARTHY J., HAYES P., "Some philosophical problems from the standpoint of artificial intelligence", MELTZER B., MICHIE D., Eds., Machine Intelligence, vol. 4, p. 463-502, Edinburgh University Press, 1969
20. MCCAIN N., TURNER H., "Causal theory of ramification and qualifications", Proceedings of the 14th International Joint Conference on Artificial Intelligence(IJCAI'95), Morgan Kaufmann, 1995, p. 1978-1984
21. MCCAIN N., TURNER H., "Causal theories of action and change", Proceedings of 14th (US) National Conference on Artificial Intelligence(AAAI'97) , AAAI Press / The MIT Press, 1997, p. 460-465
22. PEDNAULT E., "ADL: exploring the middle ground between STRIPS and the situation calculus", Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89), Morgan Kaufmann, 1989, p. 324-332
23. PRENDINGER H., SCHURZ G., "Reasoning about action and change: A dynamic logic approach", Journal of Logic, Language, and Information, vol. 5, 1996, p. 209-245
24. REITER R., "The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression", LIFSCHITZ V., Ed., Artificial Intelligence and Mathematical Theory of Computation, p. 359-380, Academic Press, 1991
25. SANDEWALL E., Features and Fluents : The Representation of Knowledge about Dynamical Systems, Oxford University Press, 1994
26. SCHUBERT L. K., "Monotonic solution to the frame problem in the situation calculus: an efficient method for worlds with fully specified actions", KYBERG H., LOUI R., CARLSON G., Eds., Knowledge Representation and Defeasible Reasoning, p. 23-67, Kluwer Academic Press, 1990
27. SHANAHAN M., Solving the frame problem: a mathematical investigation of the common sense law of inertia, The MIT Press, 1997
28. THIELSCHER M., "Ramification and causality", Artificial Intelligence, vol. 89, num. 1-2, 1997, p. 317-364 (Pubitemid 127412237)
29. ZHANG D., N. F., "EPDL: a logic for causal reasoning", Proceedings of the 17th International Joint COnference on Artificial Intelligence (IJCAI-01), Morgan Kaufmann, 2001, p. 131-136
30. ZHANG D., CHOPRA S., FOO N., "Consistency of action descriptions", ISHIZUKA M., SATTAR A., Eds., Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence, vol. 2417 of Lecture Notes in Computer Science, p. 70 - 79, Springer, 2002
31. ZHANG D., FOO N., "Interpolation Properties of Action Logic: Lazy- Formalization to the Frame Problem", S. FLESCA S. GRECO N. L., IANNI G., Eds., Logics in Artificial Intelligence (JELIA 2002), vol. 2424 of Lecture Notes in Computer Science, p. 357-368, Springer, 2002.