Some contributions to the metatheory of the situation calculus

Journal of the ACM

Volumn 46, Issue 3, 1999, Pages 325-361

  Pirri, Fiora ^a   Reiter, Ray ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Programming languages for the situation calculus; Regression; Situation calculus; Theorem proving

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; PROBLEM SOLVING; REGRESSION ANALYSIS; SET THEORY; THEOREM PROVING;

AUTOMATED REASONING; LOGICAL SYMBOLS; PROGRAMMING LANGUAGES FOR THE SITUATION CALCULUS; SITUATION CALCULUS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0009702864     PISSN: 00045411     EISSN: None     Source Type: Journal    
DOI: 10.1145/316542.316545     Document Type: Article

References (40)

1. ALLEN, J. F. 1984. Towards a general theory of action and time. Artif. Int. 23, 2, 123-154.
2. BERTOSSI, L., ARENAS, M., AND FERRETTI, C. 1998. SCDBR: An automated reasoner for specifications of database updates. J. Int. Inf. Syst. 10, 3.
3. BURGARD, W., CREMERS, A. B., Fox, D., HÄHNEL, D., LAKEMEYER, G., SCHULTZ, D., STEINER, W., AND THRUN, S. 1998. The interactive museum tour-guide robot. In Proceedings of the National Conference on Artificial Intelligence (AAAI'98). AAAI Press/MIT Press, Cambridge, Mass., pp. 11-18.
4. DAVIS, E. 1990. Representations of Commonsense Knowledge. Morgan-Kaufmann, San Francisco, Calif.
5. DE GIACOMO, G., LESPÉRANCE, Y., AND LEVESQUE, H. J. 1997. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (Nagoya, Japan), pp. 1221-1226.
6. ENDERTON, H. B. 1972. A Mathematical Introduction to Logic. Academic Press, Orlando, Fla.
7. FUNGE, J. 1998. Making them behave: Cognitive models for computer animation. Ph.D. dissertation. Dept. Comput. Sci. Univ. Toronto, Toronto, Ont., Canada.
8. GELFOND, M., AND LIFSCHITZ, V. 1998. Action languages. Linköping Electronic Articles in Computer and Information Sciences, 3, www.ep.liu.se/ea/cis/1998/016/.
9. GELFOND, M., LIFSCHITZ, V., AND RABINOV, A. 1991. What are the limitations of the situation calculus? In Working Notes, AAAI Spring Symposium Series on the Logical Formalization of Commonsense Reasoning. AAAI Press, Reston, Va., pp. 50-69.
10. GOLDBLATT, R. 1987. Logics of time and computation. In CSLI Lecture Notes No. 7. Center for the Study of Language and Information, Stanford Univ. Stanford, Calif.
11. GREEN, C. C. 1969. Theorem proving by resolution as a basis for question-answering systems. In Machine Intelligence, vol. 4, B. Meltzer and D. Mitchie, eds. American Elsevier, New York, pp. 183-205.
12. HAAS, A. R. 1987. The case for domain-specific frame axioms. In The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop, Los Altos, Calif., F. M. Brown, ed. Morgan-Kaufmann, San Francisco, Calif., pp. 343-348.
13. HANKS, S., AND MCDERMOTT, D. 1986. Default reasoning, nonmonotonic logics, and the frame problem. In Proceedings of the National Conference on Artificial Intelligence (AAAI'86). AAAI Press, Reston, Va., pp. 328-333.
14. JENKIN, M., LESPÉRANCE, Y., LEVESQUE, H. J., LIN, F., LLOYD, J., MARCU, D., REITER, R., SCHERL, R. B., AND TAM, K. 1997. A logical approach to portable high-level robot programming (Invited paper). In Proceedings of the 10th Australian Joint Conference on Artificial Intelligence (AI'97) (Perth, Australia).
15. KOWALSKI, R. A., AND SERGOT, M. J. 1986. A logic-based calculus of events. New Gener. Comput. 4, 67-95.
16. LESPÉRANCE, Y., LEVESQUE, H. J., AND REITER, R. 1997. A situation calculus approach to modeling and programming agents. In Foundations and Theories of Rational Agency, A. Rao and M. Wooldridge, eds. in press.
17. LEVESQUE, H. J. 1996. What is planning in the presence of sensing? In Proceedings of the National Conference on Artificial Intelligence (AAAI'96). AAAI Press, Reston, Va., pp. 1139-1146.
18. LEVESQUE, H. J., REITER, R., LESPÉRANCE, Y., LIN, F., AND SCHERL, R. 1997. GOLOG: A logic programming language for dynamic domains. J. Logic Prog. Special Issue on Actions, 31, 1-3, 59-83.
19. LIFSCHITZ, V. 1991. Toward a metatheory of action. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91) (Los Altos, Calif.). J. Allen, R. Fikes, and E. Sandewall, eds. Morgan-Kaufmann, San Francisco, Calif., pp. 376-386.
20. LIN, F., AND REITER, R. 1994. State constraints revisited. J. Logic Comput. Special Issue on Actions and Processes, 4, 655-678.
21. LIN, F., AND REITER, R. 1997. How to progress a database. Artif. Int. 92, 131-167.
22. MCCARTHY, J. 1968. Situations, actions and causal laws. In Semantic Information Processing, M. Minsky ed. MIT Press, Cambridge, Mass., pp. 410-417.
23. MCCARTHY, J. 1977. Epistemological problems of artificial intelligence. In Proceedings of the 5th International Joint Conference on Artificial Intelligence (Cambridge, Mass.). pp. 1038-1044.
24. MCDERMOTT, D. 1982. Non-monotonic logic. II. Nonmonotonic model theories. J. ACM, 29, 1 (Jan.), 33-57.
25. MCILRAITH, S. A. 1997. Towards a formal account of diagnostic problem solving. Ph.D. thesis, Dept. Comput. Sci. Univ. Toronto, Toronto, Ontario, Canada.
26. PEDNAULT, E. P. D. 1986. Toward a Mathematical Theory of Plan Synthesis. Ph.D. dissertation. Dept. Electrical Engineering, Stanford Univ. Stanford Calif.
27. PEDNAULT, E. P. D. 1989. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). R. J. Brachman, H. Levesque, and R. Reiter, eds. Morgan-Kaufmann, San Francisco, Calif., pp. 324-332.
28. PINTO, J. A. 1994. Temporal reasoning in the situation calculus. Ph.D. dissertation. Dept. Comput. Sci., Univ. Toronto, Toronto, Ont., Canada.
29. PINTO, J. 1999. Occurrences and narratives as constraints in the branching structure of the situation calculus. J. Logic Comput., to appear, URL = ftp://lyrcc.ing.puc.cl/pub/jpinto/jlc.ps.gz.
30. REITER, R. 1999. Knowledge in action: Logical foundations for describing and implementing dynamical systems. In preparation. Draft available at http://www.cs.toronto.edu/cogrobo/.
31. REITER, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Vladimir Lifschitz, ed. Academic Press, San Diego, Calif., pp. 359-380.
32. REITER, R. 1993. Proving properties of states in the situation calculus. Artif. Int. 64, 337-351.
33. REITER, R. 1995. On specifying database updates. J. Logic Prog. 25, 25-91.
34. REITER, R. 1996. Natural actions, concurrency and continuous time in the situation calculus. In Principles of Knowledge Representation and Reasoning: Proceedings of the 5th International Conference (KR'96). L. C. Aiello, J. Doyle, and S. C. Shapiro, eds. Morgan-Kaufmann, San Francisco, Calif., pp. 2-13.
35. REITER, R. 1998. Sequential, temporal GOLOG. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98). A. C. Cohn and L. K. Schubert, eds. Morgan-Kaufmann, San Francisco, Calif., pp. 547-556.
36. SANDEWALL, E. 1994. Features and Fluents: The Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford, England.
37. SCHUBERT, L. K. 1990. Monotonie solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. In Knowledge Representation and Defeasible Reasoning. H. E. Kyberg, R. P. Loui, and G. N. Carlson, eds. Kluwer Academic Press, pp. 23-67.
38. SHANAHAN, M. P. 1997. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge, Mass.
39. STOY, J. E. 1977. Denotational Semantics. MIT Press, Cambridge, Mass.
40. WALDINGER, R. 1977. Achieving several goals simultaneously. In Machine Intelligence 8. E. Elcock and D. Michie, eds. Ellis Horwood, Edinburgh, Scotland, pp. 94-136.