Fusing DL Reasoning with HTN Planning

Authors:
Ronny Hartanto;Joachim Hertzberg
Affiliations:
Bonn-Rhein-Sieg Univ. of Applied Sciences, Sankt Augustin, Germany 53757 and University of Osnabrück, Osnabrück, Germany 49069;University of Osnabrück, Osnabrück, Germany 49069
Venue:
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Year:
2008

Citing 4
Cited 1

The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Automated Planning: Theory & Practice

Automated Planning: Theory & Practice
Pellet: A practical OWL-DL reasoner

Web Semantics: Science, Services and Agents on the World Wide Web
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots

A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as well as the 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. We show that this method yields significantly smaller planning problem descriptions than regular representations do in HTN planning. The method is presented by example of a robot navigation domain.