Skip to main content
Log in

Fusing DL Reasoning with HTN Planning

Rich Domain Planning for Mobile Robotics

  • Dissertationen und Habilitationen
  • Published:
KI - Künstliche Intelligenz Aims and scope Submit manuscript

Abstract

Action planning has been used in the field of robotics for solving long-running tasks. However, the definition of a planning problem for a complex, real-world robot is not trivial. The planning process could become intractable as its search spaces become large. The dissertation presented in this article introduces a novel approach which amalgamates Description Logic (dl) reasoning with Hierarchical Task Network (htn) planning. The planning domain description as well as fundamental htn planning concepts are represented in dl and can therefore be subject to dl reasoning; from these representations, concise planning problems are generated for htn planning.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

References

  1. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  2. Ghallab M, Nau D, Traverso P (2004) Automated planning: theory and practice. Morgan Kaufmann, San Francisco

    MATH  Google Scholar 

  3. Hartanto R (2009) Fusing DL Reasoning with HTN planning as a deliberative layer in mobile robotics. Ph.D. thesis, University of Osnabrück

  4. Hartanto R, Hertzberg J (2008) Fusing DL reasoning with HTN planning. In: KI 2008: advances in artificial intelligence pp 62–69

    Chapter  Google Scholar 

  5. Hartanto R, Hertzberg J (2009) On the benefit of fusing DL-reasoning with HTN-planning. In: KI 2009: advances in artificial intelligence pp 41–48

    Chapter  Google Scholar 

  6. Nau D, Ilghami O, Kuter U, Murdock JW, Wu D, Yaman F (2003) SHOP2: An HTN planning system. J Artif Intell Res 20:379–404

    MATH  Google Scholar 

  7. Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: a practical OWL-DL reasoner. J Web Semant 5(2):51–53

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ronny Hartanto.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hartanto, R. Fusing DL Reasoning with HTN Planning. Künstl Intell 25, 81–84 (2011). https://doi.org/10.1007/s13218-010-0072-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13218-010-0072-9

Keywords

Navigation