HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning

Damien Pellier, Alexandre Albore, Humbert Fiorino, Rafael Bailon-Ruiz
6/12/2023
cs.AI

No confident code implementation found for this paper.

Abstract

Real world applications as in industry and robotics need modelling rich and diverse automated planning problems. Their resolution usually requires coordinated and concurrent action execution. In several cases, these problems are naturally decomposed in a hierarchical way and expressed by a Hierarchical Task Network (HTN) formalism. HDDL, a hierarchical extension of the Planning Domain Definition Language (PDDL), unlike PDDL 2.1 does not allow to represent planning problems with numerical and temporal constraints, which are essential for real world applications. We propose to fill the gap between HDDL and these operational needs and to extend HDDL by taking inspiration from PDDL 2.1 in order to express numerical and temporal expressions. This paper opens discussions on the semantics and the syntax needed for a future HDDL 2.1 extension.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{pellier2023hddl,
  title  = {HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning},
  author = {Damien Pellier and Alexandre Albore and Humbert Fiorino and Rafael Bailon-Ruiz},
  year   = {2023},
  eprint = {2306.07353},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2306.07353v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2306.07353.svg)](https://codeofpaper.com/paper/2306.07353)

Discussion