Sensing actions, time, and concurrency in the situation calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1986 LNAI, Issue , 2001, Pages 31-45

  Zimmerbaum, Stephen ^a   Scherl, Richard ^a  

^a NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT AGENTS; COMPUTATIONAL LINGUISTICS;

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

CALCULATIONS;

EID: 84867460207     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44631-1_3     Document Type: Conference Paper

References (23)

1. M. Gelfond, V. Lifschitz, and A. Rabinov. What are the limitations of the situation calculus? In Automated Reasoning: Essays in Honor of Woody Bledsoe, pages 167-179. KluwerAcademic Publishers, Dordrecht, 1996.
2. G. De Giacomo, Y. Lespérance, 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 Artificial Intelligence, Nagoya, Japan, 1997.
3. G. Lakemeyer and H.J. Levesque. AOL: A logic of acting, sensing, knowing and only-knowing. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), pages 316-327. Morgan Kaufmann Publishing, 1998.
4. Yves Lespérance and Hector Levesque. Indexical knowledge and robot action - a logical account. Artificial Intelligence, 73(1-2):69-115, February 1995.
5. Yves Lespérance, Hector J. Levesque, Fangzhen Lin, and Richard B. Scherl. Ability and knowing how in the situation calculus. Studia Logica, 2000. To appear.
6. Hector Levesque. What is planning in the presence of sensing? In AAAI-96, 1996.
7. Hector Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. Golog: Alogic programming language for dynamic domains. Journal of Logic Programming, 1997.
8. Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655-678, 1994.
9. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, Edinburgh, UK, 1969.
10. Sheila McIlraith and Richard B. Scherl. What sensing tells us: Towards a formal theory of testing for dynamical systems. In Proceedings, Seventeenth National Conference on Artificial Intelligence, pages 483-490, 2000.
11. Sheila A. McIlraith. Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artificial Intelligence, pages 87-121, January 2000.
12. Sheila Ann McIlraith. Towards a Formal Account of Diagnostic Problem Solving. PhD thesis, University of Toronto, 1997.
13. R.C. Moore. Reasoning about knowledge and action. Technical Note 191, SRI International, October 1980.
14. 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.
15. 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.
16. Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, San Diego, CA, 1991.
17. Raymond Reiter. Natural actions, concurrency and continuous time in the situation calculus. In L.C. Aiello, J. Doyle, and S.C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), pages 2-13, San Francisco, CA, 1996. Morgan Kaufmann Publishing.
18. Raymond Reiter. Knowledge in action: Logical foundations for describing and implementing dynamical systems. Unpublished book draft, 1999.
19. Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge producing actions. In Proceedings, Eleventh National Conference on Artificial Int elligence, pages 689-695, 1993.
20. Murray Shanahan. A circumscriptive calculus of events. Artificial Intelligence, 77(2):249-284, September 1995.
21. Murray Shanahan and Mark Witkowski. High-level robot control through logic. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII. Agent Theories, Architectures, and Languages - 7th. International Workshop, ATAL-2000, Boston, MA, USA, July 7-9, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. In this volume.
22. Steven Shapiro and Yves Lespérance. Modeling multiagent systems with CASL - a feature interaction resolution application. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII. Agent Theories, Architectures, and Languages - 7th. International Workshop, ATAL-2000, Boston, MA, USA, July 7-9, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. In this volume.
23. Stephen Zimmerbaum and Richard Scherl. Reasoning about knowledge, time, and concurrency in the situation calculus. In ECAI Workshop Notes: Cognitive Robotics, pages 86-95, 2000.