| Title: |
A Structure-Sensitive Translation from Hybrid to Numeric Planning |
| Authors: |
Percassi F.; Scala E.; Vallati M. |
| Contributors: |
Percassi F.; Scala E.; Vallati M. |
| Publisher Information: |
Springer Science and Business Media Deutschland GmbH |
| Publication Year: |
2023 |
| Collection: |
Università degli Studi di Brescia: OPENBS - Open Archive UniBS |
| Subject Terms: |
AI Planning; Hybrid Planning; Model Translation |
| Description: |
pddl+ is an expressive planning formalism that enables the modelling of hybrid domains with both discrete and continuous dynamics. However, its expressiveness makes this language notoriously difficult to handle natively. To address this challenge, translations from time-discrete pddl+ into numeric pddl2.1 have been proposed as a way to reframe the rich expressiveness of pddl+ into a simpler and more manageable formalism. In this work, we first analyse existing translations and provide a means to compare them in terms of induced state space and the size of the reformulated tasks. Secondly, we propose a novel translation leveraging the structure of the problem to generate a compact reformulation. Our experimental results indicate that the novel translation outperforms the existing ones on a range of benchmarks. |
| Document Type: |
conference object |
| Language: |
English |
| Relation: |
info:eu-repo/semantics/altIdentifier/isbn/9783031475450; info:eu-repo/semantics/altIdentifier/isbn/9783031475467; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 22nd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023; volume:14318; firstpage:105; lastpage:118; numberofpages:14; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11379/597211 |
| DOI: |
10.1007/978-3-031-47546-7_8 |
| Availability: |
https://hdl.handle.net/11379/597211; https://doi.org/10.1007/978-3-031-47546-7_8 |
| Accession Number: |
edsbas.CD521EE3 |
| Database: |
BASE |