Skip to main content
SpringerLink
Log in

A Theory of Action, Knowledge and Time in the Event Calculus

  • Conference paper
Artificial Intelligence: Theories, Models and Applications (SETN 2008)

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

Included in the following conference series:

Abstract

To regulate and coordinate the behavior of agents within real-world environments, the participating entities must be able to reason not only about the state of the environment itself, but also about their own knowledge concerning that state, based on information acquired through sensing actions. Considering the dynamic nature of most realistic domains, the study of knowledge evolution over time is a critical aspect. This paper develops a formal account of action, knowledge and time within the context of the Event Calculus and proposes a unified theory that is applicable to diverse scenarios of commonsense reasoning.

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. Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence 28(1-4), 47–106 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  2. Demolombe, R., del Pilar Pozos Parra, M.: A simple and tractable extension of situation calculus to epistemic logic. In: Ohsuga, S., Raś, Z.W. (eds.) ISMIS 2000. LNCS (LNAI), vol. 1932, pp. 515–524. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  3. Scherl, R.B., Levesque, H.J.: The frame problem and knowledge-producing actions. In: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 1993), Washington, DC, USA, pp. 689–697. AAAI Press/MIT Press (1993)

    Google Scholar 

  4. Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artificial Intelligence 144(1-2), 1–39 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  5. Lespérance, Y., Levesque, H.J., Lin, F., Scherl, R.B.: Ability and knowing how in the situation calculus. Studia Logica 66(1), 165–186 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  6. Thielscher, M.: Representing the knowledge of a robot. In: Cohn, A., Giunchiglia, F., Selman, B. (eds.) Proc. of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Breckenridge, CO, pp. 109–120 (2000)

    Google Scholar 

  7. Lobo, J., Mendez, G., Taylor, S.R.: Knowledge and the action description language A. Theory and Practice of Logic Programming 1(2), 129–184 (2001)

    MATH  MathSciNet  Google Scholar 

  8. Zimmerbaum, S., Scherl, R.B.: Sensing actions, time, and concurrency in the situation calculus. In: Proc. 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages, London, UK, pp. 31–45 (2001)

    Google Scholar 

  9. Forth, J., Shanahan, M.: Indirect and conditional sensing in the event calculus. In: de Mántaras, R.L., Saitta, L. (eds.) ECAI, pp. 900–904. IOS Press, Amsterdam (2004)

    Google Scholar 

  10. Lifschitz, V.: Circumscription. Handbook of Logic in Artificial Intelligence and Logic Programming 3, 297–352 (1994)

    MathSciNet  Google Scholar 

  11. Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  12. Miller, R., Shanahan, M.: Some alternative formulations of the event calculus. In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, London, UK, pp. 452–490. Springer, Heidelberg (2002)

    Google Scholar 

  13. Mueller, E.: Commonsense Reasoning, 1st edn. Morgan Kaufmann, San Francisco (2006)

    Google Scholar 

  14. Levesque, H.J.: What is planning in the presence of sensing? In: Proceedings of 13th National Conference on Artificial Intelligence, vol. 2, pp. 1139–1146 (1996)

    Google Scholar 

  15. Lakemeyer, G., Levesque, H.: AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. Principles of Knowledge Representation and Reasoning, 316–329 (1998)

    Google Scholar 

  16. Reiter, R.: On Knowledge-Based Programming with Sensing in the Situation Calculus. ACM Transactions on Computational Logic 2(4), 433–457 (2001)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, FO.R.T.H., Vassilika Vouton, P.O. Box 1385, GR 71110, Heraklion, Greece

    Theodore Patkos & Dimitris Plexousakis

Authors
  1. Theodore Patkos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dimitris Plexousakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

John Darzentas George A. Vouros Spyros Vosinakis Argyris Arnellos

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Patkos, T., Plexousakis, D. (2008). A Theory of Action, Knowledge and Time in the Event Calculus. In: Darzentas, J., Vouros, G.A., Vosinakis, S., Arnellos, A. (eds) Artificial Intelligence: Theories, Models and Applications. SETN 2008. Lecture Notes in Computer Science(), vol 5138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87881-0_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87881-0_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87880-3

  • Online ISBN: 978-3-540-87881-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation