pddl+ is an expressive planning formalism that enables the modelling of domains having both discrete and continuous dynamics. Recently, two mappings for translating discretised pddl+ problems into a numeric a-temporal task have been proposed. Such translations produce a task of exponential or polynomial size w.r.t. the size of the native task. In this work, starting from the above-mentioned polynomial translation, we introduce a sound but not generally complete variant that has the potential to improve the performance of numeric planning engines. We define the subclass of problems where the variant is safely applicable, and we assess the advantages of such a translation.

A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning

Percassi F.;Scala E.;Vallati M.
2022-01-01

Abstract

pddl+ is an expressive planning formalism that enables the modelling of domains having both discrete and continuous dynamics. Recently, two mappings for translating discretised pddl+ problems into a numeric a-temporal task have been proposed. Such translations produce a task of exponential or polynomial size w.r.t. the size of the native task. In this work, starting from the above-mentioned polynomial translation, we introduce a sound but not generally complete variant that has the potential to improve the performance of numeric planning engines. We define the subclass of problems where the variant is safely applicable, and we assess the advantages of such a translation.
2022
978-3-031-08420-1
978-3-031-08421-8
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11379/569605
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact