Hybrid PDDL+ models are amongst the most advanced models of systems and the resulting problems are notoriously difficult for planners to cope with due to nonlinear behaviours and immense search spaces. This difficulty is exacerbated by the potentially huge size of the fully ground representations that are used by modern planners in order to effectively explore the search space, which can make some problems impossible to tackle, with the result that in several situations the grounding phase has to be done externally or manually. This not only produces a much less compact problem description, but also complicates debugging and model reuse. To overcome the aforementioned limit, in this paper we investigate two simple grounding techniques for PDDL+ problems. The former method we propose extends the simple mechanism of invariance analysis to limit the groundings of operators upfront. The latter proposes to tackle the grounding process by means of a PDDL+ to Classical Planning abstraction. A preliminary experimental analysis over benchmarks coming from real case study shows that not only the grounding can be sped up, but that also problems that were out of the reach before can now be efficiently solved in an automated manner.
|Title of host publication||The 32th International Conference on Tools with Artificial Intelligence (ICTAI) 2020|
|Publication status||Published - 2 Sep 2020|
|Event||32nd International Conference on Tools with Artificial Intelligence - Online due to COVID-19|
Duration: 9 Nov 2020 → 11 Nov 2020
Conference number: 32
|Conference||32nd International Conference on Tools with Artificial Intelligence|
|Abbreviated title||ICTAI 2020|
|Period||9/11/20 → 11/11/20|
Scala, E., & Vallati, M. (2020). Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines. In The 32th International Conference on Tools with Artificial Intelligence (ICTAI) 2020 IEEE.