Planning with object creation
Classical planning problems are defined using some specification language, such as PDDL. The domain expert defines action schemas, objects, the initial state, and the goal. One key aspect of PDDL is that the set of objects cannot be modified during plan execution. While this is fine in many domains,...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Association for the Advancement of Artificial Intelligence
2024
|
| _version_ | 1824458856258863104 |
|---|---|
| author | Corrêa, AB De Giacomo, G Helmert, M Rubin, S |
| author_facet | Corrêa, AB De Giacomo, G Helmert, M Rubin, S |
| author_sort | Corrêa, AB |
| collection | OXFORD |
| description | Classical planning problems are defined using some specification language, such as PDDL. The domain expert defines action schemas, objects, the initial state, and the goal. One key aspect of PDDL is that the set of objects cannot be modified during plan execution. While this is fine in many domains, sometimes it makes modeling more complicated. This may impact the performance of planners, and it requires the domain expert to bound the number of required objects beforehand, which can be a challenge. We introduce an extension to the classical planning formalism, where action effects can create and remove objects. This problem is semi-decidable, but it becomes decidable if we can bound the number of objects in any given state, even though the state space is still infinite. On the practical side, we extend the Powerlifted planning system to support this PDDL extension. Our results show that this extension improves the performance of Powerlifted while supporting more natural PDDL models. |
| first_indexed | 2024-12-09T03:36:25Z |
| format | Conference item |
| id | oxford-uuid:07ebf430-d28f-49fc-9e05-96c36e2b9d5e |
| institution | University of Oxford |
| language | English |
| last_indexed | 2025-02-19T04:32:32Z |
| publishDate | 2024 |
| publisher | Association for the Advancement of Artificial Intelligence |
| record_format | dspace |
| spelling | oxford-uuid:07ebf430-d28f-49fc-9e05-96c36e2b9d5e2025-01-16T11:09:21ZPlanning with object creationConference itemhttp://purl.org/coar/resource_type/c_5794uuid:07ebf430-d28f-49fc-9e05-96c36e2b9d5eEnglishSymplectic ElementsAssociation for the Advancement of Artificial Intelligence2024Corrêa, ABDe Giacomo, GHelmert, MRubin, SClassical planning problems are defined using some specification language, such as PDDL. The domain expert defines action schemas, objects, the initial state, and the goal. One key aspect of PDDL is that the set of objects cannot be modified during plan execution. While this is fine in many domains, sometimes it makes modeling more complicated. This may impact the performance of planners, and it requires the domain expert to bound the number of required objects beforehand, which can be a challenge. We introduce an extension to the classical planning formalism, where action effects can create and remove objects. This problem is semi-decidable, but it becomes decidable if we can bound the number of objects in any given state, even though the state space is still infinite. On the practical side, we extend the Powerlifted planning system to support this PDDL extension. Our results show that this extension improves the performance of Powerlifted while supporting more natural PDDL models. |
| spellingShingle | Corrêa, AB De Giacomo, G Helmert, M Rubin, S Planning with object creation |
| title | Planning with object creation |
| title_full | Planning with object creation |
| title_fullStr | Planning with object creation |
| title_full_unstemmed | Planning with object creation |
| title_short | Planning with object creation |
| title_sort | planning with object creation |
| work_keys_str_mv | AT correaab planningwithobjectcreation AT degiacomog planningwithobjectcreation AT helmertm planningwithobjectcreation AT rubins planningwithobjectcreation |