Temporal Numeric Planning with Patterns
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909432685789184 |
|---|---|
| author | Cardellini, Matteo Giunchiglia, Enrico |
| author_facet | Cardellini, Matteo Giunchiglia, Enrico |
| contents | We consider temporal numeric planning problems $Π$ expressed in PDDL2.1 level 3, and show how to produce SMT formulas $(i)$ whose models correspond to valid plans of $Π$, and $(ii)$ that extend the recently proposed planning with patterns approach from the numeric to the temporal case. We prove the correctness and completeness of the approach and show that it performs very well on 10 domains with required concurrency. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_09101 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Temporal Numeric Planning with Patterns Cardellini, Matteo Giunchiglia, Enrico Artificial Intelligence We consider temporal numeric planning problems $Π$ expressed in PDDL2.1 level 3, and show how to produce SMT formulas $(i)$ whose models correspond to valid plans of $Π$, and $(ii)$ that extend the recently proposed planning with patterns approach from the numeric to the temporal case. We prove the correctness and completeness of the approach and show that it performs very well on 10 domains with required concurrency. |
| title | Temporal Numeric Planning with Patterns |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2412.09101 |