Skip to main content
SpringerLink
Log in

A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k

  • Conference paper
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:

  • 541 Accesses

Abstract

Systematic approaches like the family of Action Description Languages have been designed for the formal assessments of action calculi. We assess the fluent calculus for knowledge and sensing with the help of the recently developed, high-level action language A k . As the main result, we present a provably correct embedding of this language into fluent calculus, excluding the while loops in the query language. As a spin-off, the action programming language FLUX, which is based on fluent calculus, provides a system for answering queries to A k domains. Conversely, the action description language may serve as a high-level surface language for specifying action domains in FLUX.

A preliminary version of this paper has been presented at the 2003 AAAI Spring Symposium on Logical Formalizations 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 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. Baral, C., Son, T.: Approximate reasoning about actions in presence of sensing and incomplete information. In: Maluszynski, J. (ed.) Proc. of ILPS, pp. 387–401. MIT Press, Cambridge (1997)

    Google Scholar 

  2. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. J. of Log. Prog. 17, 301–321 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  3. De Giacomo, G., Iocchi, L., Nardi, D., Rosati, R.: Planning with sensing for a mobile robot. In: Steel, S. (ed.) ECP 1997. LNCS, vol. 1348, pp. 158–170. Springer, Heidelberg (1997)

    Google Scholar 

  4. Golden, K., Weld, D.: Representing sensing actions: The middle ground revisited. In: Aiello, L.C., Doyle, J., Shapiro, S. (eds.) Proc. of KR, pp. 174–185 (1996)

    Google Scholar 

  5. Kahramanoğulları, O.: A translation from the action description language Ak to the fluent calculus. Master’s thesis, Department of Computer Science, Dresden University of Technology (2002), www.cl.inf.tu-dresden.de/ozan/papers.html

  6. Lakemeyer, G.: On sensing and off-line interpreting GOLOG. In: Levesque, H., Pirri, F. (eds.) Logical Foundations for Cognitive Agents, pp. 173–189. Springer, Heidelberg (1999)

    Google Scholar 

  7. Levesque, H., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: GOLOG: A logic programming language for dynamic domains. J. of Log. Prog. 31(1-3), 59–83 (1997)

    Article  MATH  Google Scholar 

  8. Lobo, J.: COPLAS: A conditional planner with sensing actions. In: Lobo, J. (ed.) Cognitive Robotics, AAAI Fall Symposia. AAAI Fall Symposia, vol. FS–98–02, pp. 109–116. AAAI Press, Menlo Park (1998)

    Google Scholar 

  9. Lobo, J., Mendez, G., Taylor, S.: Knowledge and the action description language A. Theory and Practise of Log. Prog. 1(2), 129–184 (2001)

    MATH  MathSciNet  Google Scholar 

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

  11. Sandewall, E.: Features and Fluents. The Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford (1994)

    Google Scholar 

  12. Thielscher, M.: Representing the knowledge of a robot. In: Cohn, A., Giunchiglia, F., Selman, B. (eds.) Proc. of KR, pp. 109–120. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  13. Thielscher, M.: Programming of reasoning and planning agents with FLUX. In: Fensel, D., McGuinness, D., Williams, M.-A. (eds.) Proc. of KR, pp. 435–446. Morgan Kaufmann, San Francisco (2002)

    Google Scholar 

  14. Thielscher, M.: Reasoning about actions with CHRs and finite domain constraints. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 70–84. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Dresden University of Technology,  

    Ozan Kahramanoğulları & Michael Thielscher

Authors
  1. Ozan Kahramanoğulları
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Thielscher
    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

Kahramanoğulları, O., Thielscher, M. (2003). A Formal Assessment Result for Fluent Calculus Using the Action Description Language A k . 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_16

Download citation

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

  • 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