Skip to main content
SpringerLink
Log in

Representing the Process Semantics in the Situation Calculus

  • Conference paper
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC 2005)

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

  • 1267 Accesses

Abstract

This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can be integrated with the situation calculus. The soundness and completeness of situation calculus with respect to the process semantics are proven. Furthermore, the logical programming is implemented to support the semantics of processes with the situation calculus.

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. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17, 301–321 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  2. Grosskreutz, H., Lakemeyer, G.: ccGolog: A logical language dealing with continuous change. Logical Journal of IGPL 11 (2), 179–221 (2003)

    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. Lifschitz, V.: Circumscription. The Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning, vol. 3, pp. 297–352. Oxford Science Publications, Oxford (1994)

    Google Scholar 

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

    MATH  Google Scholar 

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

    Google Scholar 

  7. Levesque, H., Reiter, R., Lin, F., Scherl, R.: GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming 31, 59–84 (1997)

    Article  MATH  MathSciNet  Google Scholar 

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

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

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

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

    Google Scholar 

  12. Thielscher, M.: A Concurrent, Continuous Fluent Calculus. Studia Logica 67(3), 315–331 (2001)

    Article  MATH  MathSciNet  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. Department of Computer Science, University of Regina, Regina, SK, S4S 0A2 Canada, Polish-Japanese Institute of Information Technology, Koszykowa 86, 02-008 Warsaw, P.O. Box, Poland

    Dominik Ślęzak

  2. School of Information Science and Technology, Southwest Jiaotong University, 610031, Chengdu, P.R. China

    Guoyin Wang

  3. Institute of Mathematics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Marcin Szczuka

  4. Department of Computer Science, Brock University, St. Catharines, L2S 3A1, Ontario, Canada

    Ivo Düntsch

  5. Department of Computer Science, University of Regina, S4S 0A2, Regina, Saskatchewan, Canada

    Yiyu Yao

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, C. (2005). Representing the Process Semantics in the Situation Calculus. In: Ślęzak, D., Wang, G., Szczuka, M., Düntsch, I., Yao, Y. (eds) Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing. RSFDGrC 2005. Lecture Notes in Computer Science(), vol 3641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11548669_61

Download citation

  • DOI: https://doi.org/10.1007/11548669_61

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28653-0

  • Online ISBN: 978-3-540-31825-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation