An Efficient HTN to STRIPS Encoding for Concurrent Plans

06/14/2022
by   N. Cavrel, et al.
0

The Hierarchical Task Network (HTN) formalism is used to express a wide variety of planning problems in terms of decompositions of tasks into subtaks. Many techniques have been proposed to solve such hierarchical planning problems. A particular technique is to encode hierarchical planning problems as classical STRIPS planning problems. One advantage of this technique is to benefit directly from the constant improvements made by STRIPS planners. However, there are still few effective and expressive encodings. In this paper, we present a new HTN to STRIPS encoding allowing to generate concurrent plans. We show experimentally that this encoding outperforms previous approaches on hierarchical IPC benchmarks.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/13/2023

On Guiding Search in HTN Temporal Planning with non Temporal Heuristics

The Hierarchical Task Network (HTN) formalism is used to express a wide ...
research
11/07/2019

Hierarchical Finite State Controllers for Generalized Planning

Finite State Controllers (FSCs) are an effective way to represent sequen...
research
10/22/2018

Une approche totalement instanciée pour la planification HTN

Many planning techniques have been developed to allow autonomous systems...
research
06/14/2022

An Accurate HDDL Domain Learning Algorithm from Partial and Noisy Observations

The Hierarchical Task Network (HTN) formalism is very expressive and use...
research
01/18/2014

SAS+ Planning as Satisfiability

Planning as satisfiability is a principal approach to planning with many...
research
06/01/2011

On the Compilability and Expressive Power of Propositional Planning Formalisms

The recent approaches of extending the GRAPHPLAN algorithm to handle mor...
research
06/03/2022

HDDL 2.1: Towards Defining an HTN Formalism with Time

Real world applications of planning, like in industry and robotics, requ...

Please sign up or login with your details

Forgot password? Click here to reset