Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 1091-1096

  Scherl, Richard B ^a  

^a MONMOUTH UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADDING TIME; FORMAL FRAMEWORK; FRAME PROBLEMS; LOGICAL THEORIES; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE;

CALCULATIONS;

EID: 84880815773     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Chitta Baral, Michael Gelfond, and Alessandro Provetti. Representing actions: Laws, observations and hypotheses. Journal of Logic Programming, 31(I-3):201-243, 1997.
2. R. Fagin, J.Y. Halpern, Y.O. Moses, and M.Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass, 1995.
3. G. De Giacomo, Y. Lesperance, and H. J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogeneous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artiicial Intelligence\ Nagoya, Japan, 1997.
4. Yves Lesperance and Hector Levesque. Indexical knowledge and robot action - a logical account. Artilcial Intelligence, 73(1-2):69-115, February 1995.
5. Yves Lesperance, Hector J. Levesque, Fangzhen Lin, and Richard B. Scherl. Ability and knowing how in the situation calculus. Studia Logica, 66(1), 2000.
6. Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655-678, 1994.
7. Jorge Lobo, Gisela Mendez, and Stuart Taylor. Knowledge and the action description language A. Journal of Logic Programming, 1 (2): 129-184, 2001.
8. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of arterial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, Edinburgh, UK, 1969.
9. R.C. Moore. Reasoning about knowledge and action. Technical Note 191, SRI International, October 1980.
10. J.A. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, 1994. Available as technical report KRR-TR-94-1.
11. Javier A. Pinto. Concurrent actions and interacting effects. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), pages 292-303. Morgan Kaufmann Publishing, 1998.
12. Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, ArtiicialIntelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, San Diego, CA, 1991.
13. Raymond Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge, Massachusetts, 2001.
14. Richard Scherl and Hector Levesque. Knowledge, action, and the frame problem. Artiicial Intelligence, 144:1-39, 2003.
15. Richard Scherl. Axiomatizing the interaction of knowledge, time, and concurrency with the situation calculus, journal version in progress, 2003.
16. Murray Shanahan. A circumscriptive calculus of events. Arti cial Intelligence, 77(2):249-284, September 1995.
17. Michael Thielscher. Representing the knowledge of a robot. In A. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 109-120. Morgan Kaufmann, 2000.
18. Stephen Zimmerbaum and Richard Scherl. Knowledge, time, and concurrency in the situation calculus. In C. Castelfranchi and Y. Lesperance, editors, Intelligent Agents VII: Proceedings of the 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-2000), LNAI, Berlin, 2000. Springer-Verlag.