Skip to main content
SpringerLink
Log in

Sensing Actions, Time, and Concurrency in the Situation Calculus

  • Conference paper
  • First Online:
Intelligent Agents VII Agent Theories Architectures and Languages (ATAL 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1986))

Included in the following conference series:

Abstract

A formal framework for specifying and developing agents/robots must handle not only knowledge and sensing actions, but also time and concurrency. Researchers have extended the situation calculus to handle knowledge and sensing actions. Other researchers have addressed the issue of adding time and concurrent actions. We combine both of these features into a unified logical theory of knowledge, sensing, time, and concurrency. The result preserves the solution to the frame problem of previous work, maintains the distinction between indexical and objective knowledge of time, and is capable of representing the various ways in which concurrency interacts with time and knowledge.

Corresponding Author

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Gelfond, V. Lifschitz, and A. Rabinov. What are the limitations of the situation calculus? In Automated Reasoning: Essays in Honor ofWoody Bledsoe, pages 167–179. KluwerAcademic Publishers, Dordrecht, 1996.

    Google Scholar 

  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.

    Google Scholar 

  3. G. Lakemeyer and H.J. Levesque. AOL: A logic of acting, sensing, knowing and onlyknowing. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), pages 316–327. Morgan Kaufmann Publishing, 1998.

    Google Scholar 

  4. Yves Lespérance and Hector Levesque. Indexical knowledge and robot action—a logical account. Artificial Intelligence, 73(1–2):69–115, February 1995.

    Article  Google Scholar 

  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.

    Google Scholar 

  6. Hector Levesque. What is planning in the presence of sensing? In AAAI-96, 1996.

    Google Scholar 

  7. Hector Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. Golog:A logic programming language for dynamic domains. Journal of Logic Programming, 1997.

    Google Scholar 

  8. Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655–678, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  12. SheilaAnn McIlraith. Towards a Formal Account of Diagnostic Problem Solving. PhD thesis, University of Toronto, 1997.

    Google Scholar 

  13. R.C. Moore. Reasoning about knowledge and action. Technical Note 191, SRI International, October 1980.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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. au]18._Raymond Reiter. Knowledge in action: Logical foundations for describing and implementing dynamical systems. Unpublished book draft, 1999.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. Murray Shanahan. A circumscriptive calculus of events. Artificial Intelligence, 77(2):249–284, September 1995.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. 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.

    Google Scholar 

  22. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, New Jersey Institute of TechnologyUniversity Heights, 07102-1982, Newark, New Jersey

    Stephen Zimmerbaum & Richard Scherl

Authors
  1. Stephen Zimmerbaum
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard Scherl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Communication Sciences, “Cognitive Science”, University of Siena, piazza S.Francesco 8, 53100, Siena, Italy

    Cristiano Castelfranchi

  2. Department of Computer Science, York University, 4700 Keele Street, M3J 1P3, Toronto, Ontario, Canada

    Yves Lespérance

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zimmerbaum, S., Scherl, R. (2001). Sensing Actions, Time, and Concurrency in the Situation Calculus. In: Castelfranchi, C., Lespérance, Y. (eds) Intelligent Agents VII Agent Theories Architectures and Languages. ATAL 2000. Lecture Notes in Computer Science(), vol 1986. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44631-1_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-44631-1_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42422-2

  • Online ISBN: 978-3-540-44631-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation