Hybrid PDDL+ models are amongst the most advanced models of systems and the resulting problems are notoriously difficult for planning engines to cope with. An additional limiting factor for the exploitation of PDDL+ approaches in real-world applications is the restricted number of domainindependent planning engines that can reason upon those models. With the aim of deepening the understanding of PDDL+ models, in this work we study a novel mapping between a time discretisation of PDDL+ and numeric planning as for PDDL2.1 (level 2). The proposed mapping not only clarifies the relationship between these two formalisms, but also enables the use of a wider pool of engines, thus fostering the use of hybrid planning in real-world applications. Our experimental analysis shows the usefulness of the proposed translation, and demonstrates the potential of the approach for improving the solvability of complex PDDL+ instances.
|Title of host publication
|Proceedings of the 31st International Conference on Automated Planning and Scheduling
|Subtitle of host publication
|Susanne Biundo, Minh Do, Robert Goldman, Michael Katz, Qiang Yang, Hankz Hankui Zhou
|Number of pages
|Published - 17 May 2021
|31st International Conference on Automated Planning and Scheduling - Now to be held online due to COVID-19), Virtual from Guangzhou, China
Duration: 2 Aug 2021 → 13 Aug 2021
Conference number: 31
|Proceedings of the International Conference on Automated Planning and Scheduling.
|31st International Conference on Automated Planning and Scheduling
|Virtual from Guangzhou
|2/08/21 → 13/08/21