Abstract
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.
Original language | English |
---|---|
Title of host publication | Proceedings - IEEE 32nd International Conference on Tools with Artificial Intelligence, ICTAI 2020 |
Editors | Miltos Alamaniotis, Shimei Pan |
Publisher | IEEE Computer Society |
Pages | 85-92 |
Number of pages | 8 |
ISBN (Electronic) | 9781728192284 |
ISBN (Print) | 9781728185361 |
DOIs | |
Publication status | Published - 24 Dec 2020 |
Event | 32nd International Conference on Tools with Artificial Intelligence - Online due to COVID-19, Virtual, Baltimore, United States Duration: 9 Nov 2020 → 11 Nov 2020 Conference number: 32 https://ictai2020.org/index.html |
Publication series
Name | International Conference on Tools with Artificial Intelligence, ICTAI |
---|---|
Publisher | IEEE |
ISSN (Print) | 1082-3409 |
ISSN (Electronic) | 2375-0197 |
Conference
Conference | 32nd International Conference on Tools with Artificial Intelligence |
---|---|
Abbreviated title | ICTAI 2020 |
Country/Territory | United States |
City | Virtual, Baltimore |
Period | 9/11/20 → 11/11/20 |
Internet address |