Skip to main content
SpringerLink
Log in
Book cover

Annual Conference on Artificial Intelligence

KI 2001: KI 2001: Advances in Artificial Intelligence pp 366–380Cite as

Inferring Implicit State Knowledge and Plans with Sensing Actions

  • Conference paper
  • First Online:

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

Abstract

An effective method is presented for deriving state knowledge in the presence of sensing actions. It is shown how conditional plans can be inferred with the help of a generalized concept of plan skeletons as search heuristics, which allow the planner to introduce conditional branching points by need.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. F. Bacchus, J. Halpern, and H. Levesque. Reasoning about noisy sensors and effectors in the situation calculus. Artif. Intell., 111(1-2):171–208, 1999.

    Article  MATH  MathSciNet  Google Scholar 

  2. C. Baral and T. C. Son. Approximate reasoning about actions in presence of sensing and incomplete information. In J. Maluszynski, ed., Proc. of ILPS, p. 387–401, Port Jefferson, 1997.

    Google Scholar 

  3. W. Bibel. Let’s plan it deductively! Artif. Intell., 103(1-2):183–208, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  4. R. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artif. Intell., 2:189–208, 1971.

    Article  MATH  Google Scholar 

  5. T. Frühwirth. Theory and practice of constraint handling rules. J. of Logic Programming, 37(1-3):95–138, 1998.

    Article  MATH  Google Scholar 

  6. M. Gelfond and V. Lifschitz. Representing action and change by logic programs. J. of Logic Programming, 17:301–321, 1993.

    Article  MATH  MathSciNet  Google Scholar 

  7. G. De Giacomo, L. Iocchi, D. Nardi, and R. Rosati. Planning with sensing for a mobile robot. In Proc. of the European Conf. on Planning, vol. 1348 of LNAI, p. 158–170. Springer, 1997.

    Google Scholar 

  8. G. De Giacomo and H. Levesque. An incremental interpreter for high-level programs with sensing. In H. Levesque and F. Pirri, ed.’s, Logical Foundations for Cognitive Agents, p. 86–102. Springer, 1999.

    Google Scholar 

  9. K. Golden and D. Weld. Representing sensing actions: The middle ground revisited. In L. C. Aiello, J. Doyle, and S. Shapiro, ed.’s, Proc. of KR, p. 174–185, Cambridge, 1996.

    Google Scholar 

  10. A. Herzig, J. Lang, D. Longin, and T. Polascek. A logic for planning under partial observability. In H. Kautz and B. Porter, ed.’s, Proc. of AAAI, p. 768–773, 2000.

    Google Scholar 

  11. G. Lakemeyer. On sensing and off-line interpreting GOLOG. In H. Levesque and F. Pirri, ed.’s, Logical Foundations for Cognitive Agents, p. 173–189. Springer, 1999.

    Google Scholar 

  12. H. Levesque and M. Pagnucco. Legolog: Inexpensive experiments in cognitive robotics. In Cognitive Robotics Workshop at ECAI, p. 104–109, Berlin, 2000.

    Google Scholar 

  13. H. Levesque, F. Pirri, and R. Reiter. Foundations for a calculus of situations. Electronic Transactions on Artif. Intell., 3(1-2):159–178, 1998. http:// www.ep.liu.se/ea/cis/1998/018/.

    MathSciNet  Google Scholar 

  14. H. Levesque. What is planning in the presence of sensing? In B. Clancey and D. Weld, ed.’s, Proc. of AAAI, p. 1139–1146, Portland, 1996.

    Google Scholar 

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

    Article  MATH  Google Scholar 

  16. J. Lobo. COPLAS: A conditional planner with sensing actions. In Cognitive Robotics, vol. FS-98-02 of AAAI Fall Symposia, p. 109–116. AAAI Press 1998.

    Google Scholar 

  17. J. Lobo, G. Mendez, and S. Taylor. Adding knowledge to the action description language A. In B. Kuipers and B. Webber, ed.’s, Proc. of AAAI, p. 454–459, Providence, 1997.

    Google Scholar 

  18. R. Moore. A formal theory of knowledge and action. In J. R. Hobbs and R. C. Moore, ed.’s, Formal Theories of the Commonsense World, p. 319–358. Ablex, 1985.

    Google Scholar 

  19. R. Reiter. On knowledge-based programming with sensing in the situation calculus. In Cognitive Robotics Workshop at ECAI, p. 55–61, Berlin, 2000.

    Google Scholar 

  20. R. Scherl and H. Levesque. The frame problem and knowledge-producing actions. In Proc. of AAAI, p. 689–695, Washington, 1993.

    Google Scholar 

  21. M. Thielscher. From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem. Artif. Intell., 111(1-2):277–299, 1999.

    Article  MATH  MathSciNet  Google Scholar 

  22. M. Thielscher. The fluent calculus: A specification language for robots with sensors in nondeterministic, concurrent, and ramifying environments. Technical Report CL-2000-01, Dresden University of Technology, 2000. http://www.cl. inf.tu-dresden.de/~mit/publications/reports/CL-2000-01.pdf

  23. M. Thielscher. Representing the knowledge of a robot. In A. Cohn, F. Giunchiglia, and B. Selman, ed.’s, Proc. of KR, p. 109–120, Breckenridge, 2000.

    Google Scholar 

Download references

Authors
  1. Michael Thielscher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. RWTH Aachen, Theoretical Computer Science, Ahornstrasse 55, 52074, Aachen, Germany

    Franz Baader

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

    Gerhard Brewka

  3. Institute of Information Systems Knowledge-Based Systems Group, Vienna University of Technology, Favoritenstrasse 11, 1040, Wien, Austria

    Thomas Eiter

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thielscher, M. (2001). Inferring Implicit State Knowledge and Plans with Sensing Actions. In: Baader, F., Brewka, G., Eiter, T. (eds) KI 2001: Advances in Artificial Intelligence. KI 2001. Lecture Notes in Computer Science(), vol 2174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45422-5_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-45422-5_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42612-7

  • Online ISBN: 978-3-540-45422-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation