Planning in Answer Set Programming using Ordered Task Decomposition

Dix, Jürgen GND; Kuter, Ugur; Nau, Dana

In this paper we introduce a formalism for solving Hierarchical Task Network (HTN) Planning using Answer Set Programming (ASP). We consider the formulation of HTN planning as described in the SHOP planning system and define a systematic translation method from SHOP's representation of the planning problem into logic programs with negation. We show that our translation is sound and complete: answer sets of the logic program obtained by our translation correspond exactly to the solutions of the planning problem. We compare 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 better with ASP systems that allow for nonground programs than with ASP systems that require ground programs. Keywords: HTN planning, nonmonotonic reasoning, ASP systems, benchmarks

Vorschau

Zitieren

Zitierform:

Dix, Jürgen / Kuter, Ugur / Nau, Dana: Planning in Answer Set Programming using Ordered Task Decomposition. Clausthal-Zellerfeld 2005. Institut für Informatik.

Zugriffsstatistik

Gesamt:
Volltextzugriffe:
Metadatenansicht:
12 Monate:
Volltextzugriffe:
Metadatenansicht:

Grafik öffnen

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export