From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential Frame Problem

Artificial Intelligence

Volumn 111, Issue 1, 1999, Pages 277-299

  Thielscher, Michael ^a,b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING;

AXIOMATIZATION; FLUENT CALCULUS; FRAME CALCULUS; SITUATION CALCULUS; STATE UPDATE AXIOMS;

COGNITIVE SYSTEMS;

EID: 0033164651     PISSN: 00043702     EISSN: None     Source Type: None    
DOI: 10.1016/S0004-3702(99)00033-8     Document Type: Article

References (45)

1. A.B. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49 (1991)5-23.
2. W. Bibel, A deductive solution for plan generation, New Generation Computing 4 (1986) 115-132.
3. W. Bibel, Let's plan it deductively! Artificial Intelligence 103 (1-2) (1998) 183-208.
4. W. Bibel, L. Fariñas del Cerro, B. Fronhöfer, A. Herzig, Plan generation by linear proofs: on semantics, in: Proc. German Workshop on Artificial Intelligence, Informatik Fachberichte 216, Springer, Berlin, 1989, pp. 49-62.
5. S.-E. Bornscheuer, M. Thielscher, Explicit and implicit indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems, J. Logic Programming 31 (1-3) (1997) 119-155.
6. H.-J. Bürckert, A. Herold, D. Kapur, J.H. Siekmann, M.E. Stickel, M. Tepp, H. Zhang, Opening the AC-unification race, J. Automat. Reason. 4 (1988) 465-474.
7. K.L. Clark, Negation as failure, in: H. Gallaire, J. Minker (Eds.), Logic and Data Bases, Plenum Press, New York, 1978, pp. 293-322.
8. R.E. Fikes, N.J. Nilsson, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971) 189-208.
9. G. De Giacomo, R. Reiter, M. Soutchanski, Execution monitoring of high-level robot programs, in: A.G. Cohn, L.K. Schubert, S.C. Shapiro (Eds.), Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy, Morgan Kaufmann, San Mateo, CA, 1998, pp. 453-464.
10. M.L. Ginsberg, D.E. Smith, Reasoning about action II: The qualification problem, Artificial Intelligence 35 (1988) 311-342.
11. C. Green, Theorem proving by resolution as a basis for question-answering systems, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence 4, Edinburgh University Press, Edinburgh, 1969, pp. 183-205.
12. G. Große, S. Hölldobler, J. Schneeberger, Linear Deductive Planning, J. Logic Comput. 6 (2) (1996) 233-262.
13. A.R. Haas, The case for domain-specific frame axioms, in: P.M. Brown (Ed.), The Frame Problem in Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1987, pp. 343-348.
14. S. Hanks, D. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence 33 (3) (1987) 379-412.
15. S. Hölldobler, J. Schneeberger, A new deductive approach to planning, New Generation Computing 8 (1990) 225-244.
16. S. Hölldobler, M. Thielscher, Computing change and specificity with equational logic programs, Ann. Math. Artificial Intelligence 14 (1) (1995) 99-133.
17. J. Jaffar, J.-L. Lassez, M.J. Maher, A theory of complete logic programs with equality, J. Logic Programming 1 (3) (1984) 211-223.
18. H. Kautz, B. Selman, Pushing the envelope: Planning, propositional logic, and stochastic search, in: B. Clancey, D. Weld (Eds.), Proc. AAAI-96, Portland, OR, 1996, pp. 1194-1201.
19. H. Khalil, Formalizing the effects of actions in first order logic, Diplomarbeit, Intellectics, Department of Computer Science, Darmstadt University of Technology, 1996.
20. R. Kowalski, Logic for Problem Solving, Artificial Intelligence Series, Vol. 7, Elsevier, Amsterdam, 1979.
21. Y. Lespérance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, R.B. Scherl, A logical approach to high-level robot programming-A progress report, in: B. Kuipers (Ed.), Control of the Physical World by Intelligent Agents, Papers from the AAAI Fall Symposium, New Orleans, LA, 1994, pp. 109-119.
22. H.J. Levesque, R. Reiter, Y. Lespérance, F. Lin, R.B. Scherl, GOLOG: A logic programming language for dynamic domains, J. Logic Programming 31 (1-3) (1997) 59-83.
23. F. Lin, Embracing causality in specifying the indeterminate effects of actions, in: B. Clancey, D. Weld (Eds.), Proc. AAAI-96, Portland, OR, 1996, pp. 670-676.
24. F. Lin, R. Reiter, How to progress a database, Artificial Intelligence 92 (1997) 131-167.
25. M. Masseron, C. Tollu, J. Vauzielles, Generating plans in linear logic I. Actions as proofs, Theoret. Comput. Sci. 113(1993)349-370.
26. J. McCarthy, Programs with common sense, in: Proc. Symposium on the Mechanization of Thought Processes, Vol. 1, London, 1958, pp. 77-84. Reprinted in: V. Lifschitz (Ed.), J. McCarthy, Formalizing Common Sense, Ablex, Norwood, NJ, 1990.
27. J. McCarthy, Situations and actions and causal laws, Stanford Artificial Intelligence Project, Memo 2, 1963.
28. J. McCarthy, Formalization of STRIPS in situation calculus, Technical Report, Formal Reasoning Group, Department of Computer Science, Stanford University, 1985.
29. J. McCarthy, Formalizing Common Sense, Ablex, Norwood, NJ, 1990. (Edited by V. Lifschitz.)
30. J. McCarthy, P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence 4, Edinburgh University Press, Edinburgh, 1969, pp. 463-502.
31. S.A. McIlraith, Explanatory diagnosis: Conjecturing actions to explain observations, in: A.G. Cohn, L.K. Schubert, S.C. Shapiro (Eds.), Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy, Morgan Kaufmann, San Mateo, CA, 1998, pp. 167-177.
32. L. Pacholski, A. Podelski, Set constraints: A pearl in research on constraints, in: G. Smolka (Ed.), Proc. International Conference on Constraint Programming (CP), Lecture Notes in Computer Science, Vol. 1330, Springer, Berlin, 1997, pp. 549-561.
33. J. Pearl, Causation, action, and counterfactuals, Technical Report R-223-T, Computer Science Department, University of California at Los Angeles, 1996;
34. also in: Proc. Conference on Theoretical Aspects of Rationality and Knowledge (TARK), 1996, pp. 51-73.
35. R. Reiter, The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression, in: V Lifschitz (Ed.), Artificial Intelligence and Mathematical Theory of Computation, Academic Press, New York, 1991, pp. 359-380.
36. E. Sandewall, Assessments of ramification methods that use static domain constraints, in: L.C. Aiello, J. Doyle, S. Shapiro (Eds.), Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, MA, Morgan Kaufmann, San Mateo, CA, 1996, pp. 99-110.
37. R.J. Schalkoff, Artificial Intelligence: An Engineering Approach, McGraw-Hill, New York, 1990.
38. L.K. Schubert, Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions, in: H.E. Kyberg, R.P. Loui, G.N. Carlson (Eds.), Knowledge Representation and Defeasible Reasoning, Kluwer Academic, Dordrecht, 1990, pp. 23-67.
39. M. Shanahan, Robotics and the common sense informatic situation, in: W. Wahlster (Ed.), Proc. European Conference on Artificial Intelligence (ECAI-96), Budapest, Hungary, Wiley, New York, 1996, pp. 684-688.
40. M. Shanahan, Event calculus planning revisited, in: Proc. European Conference on Planning (ECP), Lecture Notes in Artificial Intelligence, Vol. 1348, Springer, Berlin, 1997, pp. 290-402.
41. M. Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, Cambridge, MA, 1997.
42. J.C. Shepherdson, SLDNF-resolution with equality, J. Automat. Reason. 8 (1992) 297-306.
43. M. Thielscher, Ramification and causality, Artificial Intelligence 89 (1-2) (1997) 317-364.
44. M. Thielscher, A theory of dynamic diagnosis, Electron. Trans. Artificial Intelligence 1 (4) (1997) 73-104.
45. M. Thielscher, Reasoning about actions: Steady versus stabilizing state constraints, Artificial Intelligence 104 (1998) 339-355.