HTN Planning in Answer Set Programming
dc.contributor.author | Dix, Jürgen | |
dc.contributor.author | Kuter, Ugur | |
dc.contributor.author | Nau, Dana | |
dc.date.accessioned | 2010-10-20T16:24:24Z | |
dc.date.available | 2010-10-20T16:24:24Z | |
dc.date.issued | 2002-05-22 | |
dc.description.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) | en_US |
dc.description.sponsorship | Air Force Research Laboratory F306029910013; Air Force Research Laboratory F30602-00-2-0505; Army Research Laboratory DAAL019K0135; University of Maryland General Research Board. | en_US |
dc.identifier.citation | Jürgen Dix, Ugur Kuter, and Dana Nau. HTN Planning in Answer Set Programming. Tech. Report CS-TR-4336, Dept. of Computer Science, University of Maryland, 2002. | en_US |
dc.identifier.uri | http://hdl.handle.net/1903/1182 | |
dc.identifier.uri | http://hdl.handle.net/1903/10978 | |
dc.language.iso | en_US | en_US |
dc.publisher | UMIACS, University of Maryland | en_US |
dc.relation.isAvailableAt | College of Computer, Mathematical & Physical Sciences | en_us |
dc.relation.isAvailableAt | Computer Science | en_us |
dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_us |
dc.relation.isAvailableAt | University of Maryland (College Park, MD) | en_us |
dc.relation.ispartofseries | Dept. of Computer Science;CS-TR-4336 | |
dc.relation.ispartofseries | UMIACS;UMIACS-TR-2002-18 | |
dc.subject | Artificial Intelligence | en_US |
dc.subject | Automated Planning | en_US |
dc.subject | Logic Programming | en_US |
dc.title | HTN Planning in Answer Set Programming | en_US |
dc.type | Technical Report | en_US |