| Title: |
On Planning with Qualitative State-Trajectory Constraints in PDDL3 by Compiling them Away |
| Authors: |
Bonassi, L; Gerevini, A; Percassi, F; Scala E |
| Contributors: |
Bonassi L; Gerevini A; Percassi F; Scala E |
| Publisher Information: |
Association for the Advancement of Artificial Intelligence |
| Publication Year: |
2021 |
| Collection: |
Università degli Studi di Brescia: OPENBS - Open Archive UniBS |
| Description: |
We tackle the problem of classical planning with qualitative state-trajectory constraints as those that can be expressed in PDDL3. These kinds of constraints allow a user to formally specify which temporal properties a plan has to conform with through a class of LTL formulae. We study a compilation-based approach that does not resort to automata for representing and dealing with such properties, as other approaches do, and generates a classical planning problem with conditional effects that is solvable iff the original PDDL3 problem is. Our compilation exploits a regression operator to revise the actions’ preconditions and conditional effects in a way to (i) prohibit executions that irreversibly violate temporal constraints (ii) be sensitive to executions that traverse those necessary subgoals implied by the temporal specification. An experimental analysis shows that our approach performs better than other state-of-the-art approaches over the majority of the considered benchmark domains. |
| Document Type: |
conference object |
| Language: |
English |
| Relation: |
ispartofbook:Proceedings International Conference on Automated Planning and Scheduling, ICAPS; 31st International Conference on Automated Planning and Scheduling, ICAPS 2021; volume:2021-; firstpage:46; lastpage:50; numberofpages:5; serie:PROCEEDINGS OF THE . INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING; https://hdl.handle.net/11379/569806 |
| Availability: |
https://hdl.handle.net/11379/569806 |
| Accession Number: |
edsbas.2535DF35 |
| Database: |
BASE |