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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence, 49:5–23, 1991. 240, 241, 244, 247
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
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
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.
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
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
M. Gelfond and V. Lifschitz, Action languages, Electronic Transactions on AI, 16(3), 1998. 240, 241
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
M.L. Ginsberg, Nonmonotonic Reasoning, Morgan Kaufmann, 1988. 240
L. Giordano, A. Martelli, and C. Schwind, Dealing with concurrent actions in modal action logics, ECAI’98, 537–541, 1998. 240
L. Giordano, A. Martelli and C. Schwind, Ramification and causality in a modal action logic, J. Logic Computat.5( 10), 615–662, 2000. 240
S. Hanks and D. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence, 33(3):379–412, 1987. 241
F. Lin and Y. Shoham, Provably correct theories of action, AAAI-91, 349–354, 1991. 251
G. Kartha, Soundness and completeness theorems for three formalization of action, IJCAI-93, 724–729, 1993. 241, 249, 250
G. Kartha, V. Lifschitz: Actions with indirect effects (Preliminary Report), KR’94, 341–350, 1994
G. Kartha: On the range of applicability of Baker’s approach to the frame problem. AAAI-96,664–669, 1996.
R.A. Kowalski and M. J. Sergot, A logic-based calculus of events, New Generation Computing, Vol.4, 67–95, 1986. 240
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
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
E. Pednault, ADL: exploring the middle ground between STRIPS and the situation calculus, KR-89, 324–332. 240, 241, 245
Peleg, D. Concurrent dynamic logic, J. ACM, 34(2):450–479,1987.
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
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
M. Shanahan, Solving the frame problem: a mathematical investigation of the common sense law of inertia, The MIT Press, 1997. 250
D. Zhang and S. Chopra, Consistency analysis of action descriptions, in Proceedings of Australian Workshop on Computational Logic 2001, 107–116. 242, 243
D. Zhang and N. Foo, EPDL: a logic for causal reasoning, to appear in Proceedings of IJCAI-01. 240, 242, 243, 246
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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