Article thumbnail

HTN Planning in Answer Set Programming

By Jürgen Dix, Ugur Kuter and Dana Nau

Abstract

In this paper we introduce a formalism for solving Hierarchical Task NEtwork (HTN) Planning using Answer Set Programming (ASP). The ASP paradigm evolved out of the stable semantics for logic programs in recent years and is strongly related to nonmonotonic logics. We consider the formulation of HTM planning as described in the SHOP planning system and define a systematic translation method from SHOP's representation of the planning problems into logic programs with negation. We show that our translation is sound and complete: answer sets of the logic programs obtained by our translation correspond exactly to the solutions of the planning problems. Our approach does not rly on a particular system for computing answer sets. It can therefore serve as a means to evaluate ASP systems by using well-established benchmarks from the planning community. We tested our method on various such benchmarks and used smodels and DLV for computing answer sets. We compared our method to (1) similar approaches based on non-HTN planning and (2) SHOP, a dedicated planning system. We show that our approach outperforms non-HTN methods and that its performance is closer to that of SHOP, when we are using ASP systems which allow for nonground programs. (Also UMIACS-TR-2002-18)Air Force Research Laboratory F306029910013; Air Force Research Laboratory F30602-00-2-0505; Army Research Laboratory DAAL019K0135; University of Maryland General Research Board

Topics: Artificial Intelligence, Automated Planning, Logic Programming
Publisher: UMIACS, University of Maryland
Year: 2002
OAI identifier: oai:drum.lib.umd.edu:1903/10978
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/1903/109... (external link)
  • http://hdl.handle.net/1903/118... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.