Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way
نویسندگان
چکیده
We show how to translate HTN domain descriptions (if they satisfy certain restrictions) into PDDL so that they can be used by classical planners. We provide correctness results for our translation algorithm, and show that it runs in linear time and space. We also show that even small and incomplete amounts of HTN knowledge, when translated into PDDL using our algorithm, can greatly improve a classical planner’s performance. In experiments on several thousand randomly generated problems in three different planning domains, such knowledge speeded up the well-known FastForward planner by several orders of magnitude, and enabled it to solve much larger problems than it could otherwise solve.
منابع مشابه
Durative Planning in HTNs
This paper provides techniques for hierarchical task network (HTN) planning with durative actions. HTNs can provide useful heuristic guidance to planners, express goals that cannot be expressed in simple first principles planners, and allow plan generation to be limited by external constraints. The decomposition information in HTN plans can also help guide plan execution. This paper provides a ...
متن کاملConstructing Hierarchical Task Models Using Invariance Analysis
Hierarchical Task Networks (HTNs) are a common model for encoding knowledge about planning domains in the form of task decompositions. We present a novel algorithm that uses invariant analysis to construct an HTN from the PDDL description of a planning domain and a single representative instance. The algorithm defines two types of composite tasks that interact to achieve the goal of a planning ...
متن کاملTranslating Single-Player GDL into PDDL
In the single-agent case general game playing and action planning are two related topics, so that one might hope to use the established planners to improve the handling of general single-player games. However, both come with their own description language, GDL and PDDL, respectively. In this paper we propose a way to translate single-player games described in GDL to PDDL planning tasks and prov...
متن کاملOn the Path to UHC – Global Evidence Must Go Local to Be Useful; Comment on “Disease Control Priorities Third Edition Is Published: A Theory of Change Is Needed for Translating Evidence to Health Policy”
The Disease Control Priorities (DCP) publications have pioneered new ways of thinking about investing in health. We agree with Norheim, that a useful first step to advance efforts to translate DCP’s global evidence into local health priorities, is to develop a clear Theory of Change (ToC). However, a ToC that aims to define how global evidence (DCP and others) can be used to inform national pol...
متن کاملPlanning from rich ontologies through translation between representations
The richness and expressivity of standard ontology representations and the limitations on expressivity required by modern planners have resulted in a situation where it is hard for an agent both to have a rich ontology and be capable of efficient planning. We discuss how translation between different kinds of representation can allow an agent to have different versions of the same ontology, so ...
متن کامل