Skip to main content
SpringerLink
Log in

The Process Semantics Based Reasoning about Continuous Change

  • Conference paper
Book cover KI 2003: Advances in Artificial Intelligence (KI 2003)

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

Included in the following conference series:

  • 535 Accesses

Abstract

In this paper, we realize a formal method of integrating the process semantics with the situation calculus to reason about continuous change. Our aim is to overcome some of limitations of the earlier works. We present a general translation of the process semantics into the situation calculus. Furthermore, we prove the soundness and completeness of the situation calculus with respect to the process semantics. Finally, related works are discussed.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Bibel, W., Eder, E.: Methods and calculus for deduction. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, pp. 68–184. Clarendon Press, Oxford (1993)

    Google Scholar 

  2. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17, 301–321 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  3. Herrmann, C., Thielscher, M.: Reasoning about continuous change. In: Proc. of AAAI, Portland, U.S.A., pp. 639–644 (1996)

    Google Scholar 

  4. Kartha, F., Lifschitz, V.: Soundness and completeness theorem for three formalization of actions. In: Proc. International Joint Conference on Artificial Intelligence, France, pp. 724–729 (1993)

    Google Scholar 

  5. Li, C.: Reasoning about processes and continuous change: analysis and implementation. Shaker-Verlag, Aachen (1999)

    Google Scholar 

  6. Li, C.: Representing the Process Semantics in the Event Calculus. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, pp. 118–132. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

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

    MathSciNet  Google Scholar 

  8. McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463–502 (1969)

    MATH  Google Scholar 

  9. Miller, R.: A case study in reasoning about action and continuous change. In: Proc. ECAI, Budapest, Hungary, pp. 624–628 (1996)

    Google Scholar 

  10. Pinto, J., Reiter, R.: Adding a time line in the situation calculus. In: 2th Symposium on Logical Formalizations of Commonsense Reasoning, pp. 172–177 (1993)

    Google Scholar 

  11. Pinto, J., Reiter, R.: Reasoning about time in the situation calculus. Annals of Mathematics and Artificial Intelligence 14, 251–268 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  12. Reiter, R.: Natural actions, concurrency and continuous time in the situation calculus. In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Massachusetts, U.S., pp. 2–13 (1996)

    Google Scholar 

  13. Sandewall, E.: The range of applicability and non-monotonic logics for the inertia problem. In: Proc. International Joint Conference on Artificial Intelligence, France, pp. 738–743 (1993)

    Google Scholar 

  14. Shoham, Y., McDermott, D.: Problems in formal temporal reasoning. Artificial Intelligence 36, 49–61 (1988)

    Article  MATH  Google Scholar 

  15. Thielscher, M.: Representing actions in equational logic programming. In: Proc. International Joint Conference on Logic Programming, Italy, pp. 207–224 (1994)

    Google Scholar 

  16. Thielscher, M.: The logic of dynamic system. In: Proc. International Joint Conference on Artificial Intelligence, Montreal, Canada, pp. 639–644 (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Software, Tsinghua University, Peking, 100084, China

    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. HITeC e. V. Universität Hamburg Fachbereich Informatik, Vogt-Kölln-Str. 30, 22527, Hamburg, Germany

    Andreas Günter

  2. Otto-von-Guericke-University of Magdeburg,  

    Rudolf Kruse

  3. Cognitive Systems Laboratory, Department Informatik, Universität Hamburg, 22527, Hamburg, Germany

    Bernd Neumann

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, C. (2003). The Process Semantics Based Reasoning about Continuous Change. In: Günter, A., Kruse, R., Neumann, B. (eds) KI 2003: Advances in Artificial Intelligence. KI 2003. Lecture Notes in Computer Science(), vol 2821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39451-8_37

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39451-8_37

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20059-8

  • Online ISBN: 978-3-540-39451-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation