Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2412.09101 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |