Knowledge, action, and the frame problem

Artificial Intelligence

Volumn 144, Issue 1-2, 2003, Pages 1-39

  Scherl, Richard B ^a   Levesque, Hector J ^b  

^a MONMOUTH UNIVERSITY   (United States)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Action; Frame problem; Knowledge; Situation calculus

Indexed keywords

DIFFERENTIATION (CALCULUS); PROBLEM SOLVING; REGRESSION ANALYSIS; ROBOTS;

KNOWLEDGE-PRODUCING ACTIONS;

KNOWLEDGE ENGINEERING;

EID: 0037370247     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(02)00365-X     Document Type: Article

References (44)

1. Bacchus F., Halpern J., Levesque H.J. Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence. 111:1999;171-208.
2. Baral C., Son T. Formalizing sensing actions - A transition function based approach. Artificial Intelligence. 125:2001;19-91.
3. Bull R., Segerberg K. Basic modal logic. Gabbay D., Guenther F. Handbook of Philosophical Logic, Vol. II, Chapter 1. 1984;1-88 D. Reidel, Dordrecht.
4. Chellas B.F. Modal Logic: An Introduction. 1980;Cambridge University Press, Cambridge.
5. Etzioni O., Hanks S., Weld D., Draper D., Lesh N., Williamson M. An approach to planning with incomplete information. Nebel B., Rich C., Swartout W. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference. 1992;115-125 Cambridge, MA.
6. Fagin R., Halpern J.Y., Moses Y.O., Vardi M.Y. Reasoning about Knowledge. 1995;MIT Press, Cambridge, MA.
7. Frisch A., Scherl R. A general framework for modal deduction. Allen J.A., Fikes R., Sandewall E. Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference. 1991;196-207 Morgan Kaufmann, San Mateo, CA.
8. Funge J. Representing knowledge within the situation calculus using interval-valued epistemic fluents. J. Reliable Comput. 5:(1):1999.
9. De Giacomo G., Levesque H.J. Projecting using regression and sensors. Proc. IJCAI-99, Stockholm, Sweden. 1999;160-165.
10. De Giacomo G., Levesque H.J. An incremental interpreter for high-level programs with sensing. Logical Foundations for Cognitive Agents: Contributions in honor of Ray Reiter. 1999;86-102 Springer, Berlin.
11. Haas A.R. The case for domain-specific frame axioms. Brown F.M. The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop. 1987;343-348 Morgan Kaufmann, San Mateo, CA.
12. Hughes G.E., Cresswell M.J. An Introduction to Modal Logic. 1968;Methuen, London.
13. Kripke S. Semantical considerations on modal logic. Acta Philos. Fenn. 16:1963;83-94.
14. Lakemeyer G., Levesque H.J. AOL: A logic of acting, sensing, knowing and only-knowing. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98). 1998;316-327 Morgan Kaufmann, San Mateo, CA.
15. Lakemeyer G. On sensing and off-line interpreting in GOLOG. Logical Foundations for Cognitive Agents: Contributions in honor of Ray Reiter. 1999;173-189 Springer, Berlin.
16. Lespérance Y., Levesque H.J. Indexical knowledge in robot plans. Proc. AAAI-90, Boston, MA. 1990;1030-1037.
17. Lespérance Y., Levesque H.J., Lin F., Scherl R.B. Ability and knowing how in the situation calculus. Studia Logica. 66:(1):2000;165-186.
18. Y. Lespérance, A formal theory of indexical knowledge and action, PhD Thesis, University of Toronto, January 1991.
19. Levesque H., Reiter R., Lespérance Y., Lin F., Scherl R.B. GOLOG: A logic programming language for dynamic domains. J. Logic Programming. 31:1997;59-83.
20. Levesque H. What is planning in the presence of sensing? Proc. AAAI-96, Portland, OR. 1996;1139-1146.
21. Lin F., Reiter R. State constraints revisited. J. Logic Comput. 4:(5):1994;655-678.
22. Lobo J., Mendez G., Taylor S. Knowledge and the action description language A. J. Logic Programming. 1:(2):2001;129-184.
23. McCarthy J., Hayes P. Some philosophical problems from the standpoint of artificial intelligence. Meltzer B., Michie D. Machine Intelligence 4. 1969;463-502 Edinburgh University Press, Edinburgh, UK.
24. McCarthy J. Programs with common sense. Minsky M. Semantic Information Processing. 1968;403-418 MIT Press, Cambridge, MA. [Chapter 7].
25. McIlraith S., Scherl R.B. What sensing tells us: Towards a formal theory of testing for dynamical systems. Proc. AAAI-00, Austin, TX. 2000;483-490.
26. McIlraith S. Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artificial Intelligence. 116:2000;87-121.
27. R.C. Moore, Reasoning about knowledge and action, Technical Note 191, SRI International, Menlo Park, CA, October 1980.
28. Moore R.C. A formal theory of knowledge and action. Hobbs J.R., Moore R.C. Formal Theories of the Commonsense World. 1985;319-358 Ablex, Norwood, NJ.
29. Pednault E.P.D. ADL: Exploring the middle ground between STRIPS and the situation calculus. Brachman R.J., Levesque H., Reiter R. Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning. 1989;324-332 Morgan Kaufmann, San Mateo, CA.
30. Petrick R., Levesque H. Knowledge equivalence in combined action theories. Fensel D., Giunchiglia F., McGuinness D., Williams M. Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR2002). 2002;303-314 Morgan Kaufmann, San Mateo, CA.
31. Pirri F., Reiter R. Some contributions to the metatheory of the situation calculus. J. ACM. 46:(3):1999;261-325.
32. Reiter R. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Lifschitz V. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. 1991;359-380 Academic Press, San Diego, CA.
33. Reiter R. The projection problem in the situation calculus: A soundness and completeness result, with an application to database updates. Proceedings of the First International Conference on AI Planning Systems, College Park, MD. 1992;198-203.
34. Reiter R. Proving properties of states in the situation calculus. Artificial Intelligence. 64:1993;337-351.
35. Reiter R. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. 2001;MIT Press, Cambridge, MA.
36. Reiter R. On knowledge-based programming with sensing in the situation calculus. ACM Trans. Comput. Logic (TOCL). 2:(4):2001;433-457.
37. Savage L.J. The Foundations of Statistics. 1954;Wiley, New York.
38. Scherl R.B., Levesque H.J. The frame problem and knowledge producing actions. Proc. AAAI-93, Washington, DC. 1993;689-695.
39. Scherl R., Levesque H., Lespérance Y. The situation calculus with sensing and indexical knowledge. Proceedings of BISFAI'95: The Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence, Ramat Gan and Jerusalem, Israel. 1995;86-95.
40. R. Scherl, A constraint logic approach to automated modal deduction, PhD Thesis, University of Illinois, 1992.
41. Schubert L.K. Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. Kyberg H.E., Loui R.P., Carlson G.N. Knowledge Representation and Defeasible Reasoning. 1990;23-67 Kluwer Academic, Boston, MA.
42. Shapiro S., Pagnucco M., Lespérance Y., Levesque H.J. Iterated belief change in the situation calculus. Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-2000). 2000;527-538 Morgan Kaufmann, San Mateo, CA.
43. Thielscher M. Representing the knowledge of a robot. Cohn A., Giunchiglia F., Selman B. Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-2000). 2000;109-120 Morgan Kaufmann, San Mateo, CA.
44. Zimmerbaum S., Scherl R. Knowledge, time, and concurrency in the situation calculus. Castelfranchi C., Lespérance Y. Intelligent Agents VII: Proceedings of the 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-2000). Lecture Notes in Artificial Intelligence. 1986:2001;31-45 Springer, Berlin.