Skip to main content
SpringerLink
Log in

Representing the Process Semantics in the Event Calculus

  • Conference paper
  • First Online:
Logics in Artificial Intelligence (JELIA 2000)

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

Included in the following conference series:

Abstract

In this paper we shall present a translation of the process semantics [5] to the event calculus. The aim is to realize a method of integrating high-level semantics with logical calculi to reason about continuous change. The general translation rules and the soundness and completeness theorem of the event calculus with respect to the process semantics are main technical results of this paper.

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. Allen, J.: Toward a General Theory of Action and Time. Journal of Artificial Intelligence 23(1984) 123–154

    Article  MATH  Google Scholar 

  2. Belleghem, K., Denecker, M., De Schreye, D.: Representing Continuous Change in the Abductive Event Calculus. Proceedings of the International Conference on Logic Programming (1995) 225–240

    Google Scholar 

  3. Doherty, P., Lukaszewicz, W.: Circumscribing Features and Fluents. Proceedings of the International Conference on Temporal Logic (1994) 82–100

    Google Scholar 

  4. Gelfond, M., Lifschitz, V.: Representing Action and Change by Logic Programs. Journal of Logic Programming 17 (1993) 301–321

    Article  MATH  MathSciNet  Google Scholar 

  5. Herrmann, C., Thielsche, M.: Reasoning about Continuous Processes. Proceedings of the AAAI National Conference on Artificial Intelligence (1996) 639–644

    Google Scholar 

  6. Kartha, F. G.: Soundness and Completeness Theorems for Three Formalizations of Actions. Proceedings of IJCAI (1993) 724–729

    Google Scholar 

  7. Kowalski, R., Sergot, M.: A Logic Based Calculus of Events. Journal of New Generation Computing 4 (1986) 319–340

    Google Scholar 

  8. Lifschitz, V.: Circumscription. The Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3: Nonmonotoic Reasoning and Uncertain Reasoning (1994) 297–352

    MathSciNet  Google Scholar 

  9. Miller, R., Shanahan, M.: Reasoning about Discontinuities in the Event Calculus. Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (1996) 63–74

    Google Scholar 

  10. Sandewall, E.: The Range of Applicability and Nonmonotonic Logics for the Inertia Problem. Proceedings of IJCAI (1993) 738–743

    Google Scholar 

  11. Shanahan, M.: Representing Continuous Change in the Event Calculus. Proceeding of ECAI (1990) 598–603

    Google Scholar 

  12. Shanahan, M.: A Circumscriptive Calculus of Events. Journal of Artificial Intelligence 77 (1995) 249–284

    Article  MATH  MathSciNet  Google Scholar 

  13. Thielscher, M.: Representing Actions in Equational Logic Programming. Proceedings of the International Joint Conference on Logic Programming (1994) 207–224

    Google Scholar 

  14. Thielscher, M.: The Logic of Dynamic Systems. Proceedings of IJCAI (1995) 639–644

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong

    Chunping Li

Authors
  1. Chunping Li
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Applied Mathematics, E.T.S.I. Informática, University of Málaga, 29071, Málaga, Spain

    Manuel Ojeda-Aciego  & Inma P. de Guzmán  & 

  2. Intelligent Systems Department, Computer Science Institute, University of Leipzig, Augustusplatz 10-11, 04109, Leipzig, Germany

    Gerhard Brewka

  3. Center for Artificial Intelligence, Department of Computer Science, University of Lisbon, 2825-114, Caparica, Portugal

    Luís Moniz Pereira

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, C. (2000). Representing the Process Semantics in the Event Calculus. In: Ojeda-Aciego, M., de Guzmán, I.P., Brewka, G., Moniz Pereira, L. (eds) Logics in Artificial Intelligence. JELIA 2000. Lecture Notes in Computer Science(), vol 1919. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40006-0_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-40006-0_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41131-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation