Translations from Discretised PDDL+ to Numeric Planning

Francesco Percassi; Enrico Scala; Mauro Vallati

doi:10.1609/icaps.v31i1.15969

Translations from Discretised PDDL+ to Numeric Planning

Francesco Percassi, Enrico Scala, Mauro Vallati

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Citations (Scopus)

Abstract

Hybrid PDDL+ models are amongst the most advanced models of systems and the resulting problems are notoriously difficult for planning engines to cope with. An additional limiting factor for the exploitation of PDDL+ approaches in real-world applications is the restricted number of domainindependent planning engines that can reason upon those models. With the aim of deepening the understanding of PDDL+ models, in this work we study a novel mapping between a time discretisation of PDDL+ and numeric planning as for PDDL2.1 (level 2). The proposed mapping not only clarifies the relationship between these two formalisms, but also enables the use of a wider pool of engines, thus fostering the use of hybrid planning in real-world applications. Our experimental analysis shows the usefulness of the proposed translation, and demonstrates the potential of the approach for improving the solvability of complex PDDL+ instances.

Original language	English
Title of host publication	Proceedings of the 31st International Conference on Automated Planning and Scheduling
Subtitle of host publication	ICAPS 2021
Editors	Susanne Biundo, Minh Do, Robert Goldman, Michael Katz, Qiang Yang, Hankz Hankui Zhou
Publisher	AAAI press
Pages	252-261
Number of pages	10
Volume	31
ISBN (Print)	9781577358671
DOIs	https://doi.org/10.1609/icaps.v31i1.15969
Publication status	Published - 17 May 2021
Event	31st International Conference on Automated Planning and Scheduling - Now to be held online due to COVID-19), Virtual from Guangzhou, China Duration: 2 Aug 2021 → 13 Aug 2021 Conference number: 31 https://icaps21.icaps-conference.org/

Publication series

Name	Proceedings of the International Conference on Automated Planning and Scheduling.
Publisher	AAAI Press
Volume	31
ISSN (Print)	2334-0835
ISSN (Electronic)	2334-0843

Conference

Conference	31st International Conference on Automated Planning and Scheduling
Abbreviated title	ICAPS 2021
Country/Territory	China
City	Virtual from Guangzhou
Period	2/08/21 → 13/08/21
Internet address	https://icaps21.icaps-conference.org/

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1609/icaps.v31i1.15969Licence: Unspecified

Cite this

Percassi, F., Scala, E., & Vallati, M. (2021). Translations from Discretised PDDL+ to Numeric Planning. In S. Biundo, M. Do, R. Goldman, M. Katz, Q. Yang, & H. Hankui Zhou (Eds.), Proceedings of the 31st International Conference on Automated Planning and Scheduling: ICAPS 2021 (Vol. 31, pp. 252-261). [15969] (Proceedings of the International Conference on Automated Planning and Scheduling.; Vol. 31). AAAI press. https://doi.org/10.1609/icaps.v31i1.15969

Percassi, Francesco ; Scala, Enrico ; Vallati, Mauro. / Translations from Discretised PDDL+ to Numeric Planning. Proceedings of the 31st International Conference on Automated Planning and Scheduling: ICAPS 2021. editor / Susanne Biundo ; Minh Do ; Robert Goldman ; Michael Katz ; Qiang Yang ; Hankz Hankui Zhou. Vol. 31 AAAI press, 2021. pp. 252-261 (Proceedings of the International Conference on Automated Planning and Scheduling.).

@inproceedings{06fd3c84d9a94581b71d0a99232e3c55,

title = "Translations from Discretised PDDL+ to Numeric Planning",

abstract = "Hybrid PDDL+ models are amongst the most advanced models of systems and the resulting problems are notoriously difficult for planning engines to cope with. An additional limiting factor for the exploitation of PDDL+ approaches in real-world applications is the restricted number of domainindependent planning engines that can reason upon those models. With the aim of deepening the understanding of PDDL+ models, in this work we study a novel mapping between a time discretisation of PDDL+ and numeric planning as for PDDL2.1 (level 2). The proposed mapping not only clarifies the relationship between these two formalisms, but also enables the use of a wider pool of engines, thus fostering the use of hybrid planning in real-world applications. Our experimental analysis shows the usefulness of the proposed translation, and demonstrates the potential of the approach for improving the solvability of complex PDDL+ instances.",

keywords = "Hybrid PDDL+ models, PDDL+ models",

author = "Francesco Percassi and Enrico Scala and Mauro Vallati",

year = "2021",

month = may,

day = "17",

doi = "10.1609/icaps.v31i1.15969",

language = "English",

isbn = "9781577358671",

volume = "31",

series = "Proceedings of the International Conference on Automated Planning and Scheduling.",

publisher = "AAAI press",

pages = "252--261",

editor = "Susanne Biundo and Minh Do and Robert Goldman and Michael Katz and Qiang Yang and {Hankui Zhou}, Hankz",

booktitle = "Proceedings of the 31st International Conference on Automated Planning and Scheduling",

address = "United States",

note = "31st International Conference on Automated Planning and Scheduling, ICAPS 2021 ; Conference date: 02-08-2021 Through 13-08-2021",

url = "https://icaps21.icaps-conference.org/",

}

Percassi, F, Scala, E & Vallati, M 2021, Translations from Discretised PDDL+ to Numeric Planning. in S Biundo, M Do, R Goldman, M Katz, Q Yang & H Hankui Zhou (eds), Proceedings of the 31st International Conference on Automated Planning and Scheduling: ICAPS 2021. vol. 31, 15969, Proceedings of the International Conference on Automated Planning and Scheduling., vol. 31, AAAI press, pp. 252-261, 31st International Conference on Automated Planning and Scheduling, Virtual from Guangzhou, China, 2/08/21. https://doi.org/10.1609/icaps.v31i1.15969

Translations from Discretised PDDL+ to Numeric Planning. / Percassi, Francesco; Scala, Enrico; Vallati, Mauro.

Proceedings of the 31st International Conference on Automated Planning and Scheduling: ICAPS 2021. ed. / Susanne Biundo; Minh Do; Robert Goldman; Michael Katz; Qiang Yang; Hankz Hankui Zhou. Vol. 31 AAAI press, 2021. p. 252-261 15969 (Proceedings of the International Conference on Automated Planning and Scheduling.; Vol. 31).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Translations from Discretised PDDL+ to Numeric Planning

AU - Percassi, Francesco

AU - Scala, Enrico

AU - Vallati, Mauro

N1 - Conference code: 31

PY - 2021/5/17

Y1 - 2021/5/17

N2 - Hybrid PDDL+ models are amongst the most advanced models of systems and the resulting problems are notoriously difficult for planning engines to cope with. An additional limiting factor for the exploitation of PDDL+ approaches in real-world applications is the restricted number of domainindependent planning engines that can reason upon those models. With the aim of deepening the understanding of PDDL+ models, in this work we study a novel mapping between a time discretisation of PDDL+ and numeric planning as for PDDL2.1 (level 2). The proposed mapping not only clarifies the relationship between these two formalisms, but also enables the use of a wider pool of engines, thus fostering the use of hybrid planning in real-world applications. Our experimental analysis shows the usefulness of the proposed translation, and demonstrates the potential of the approach for improving the solvability of complex PDDL+ instances.

AB - Hybrid PDDL+ models are amongst the most advanced models of systems and the resulting problems are notoriously difficult for planning engines to cope with. An additional limiting factor for the exploitation of PDDL+ approaches in real-world applications is the restricted number of domainindependent planning engines that can reason upon those models. With the aim of deepening the understanding of PDDL+ models, in this work we study a novel mapping between a time discretisation of PDDL+ and numeric planning as for PDDL2.1 (level 2). The proposed mapping not only clarifies the relationship between these two formalisms, but also enables the use of a wider pool of engines, thus fostering the use of hybrid planning in real-world applications. Our experimental analysis shows the usefulness of the proposed translation, and demonstrates the potential of the approach for improving the solvability of complex PDDL+ instances.

KW - Hybrid PDDL+ models

KW - PDDL+ models

UR - https://ojs.aaai.org/index.php/ICAPS/issue/view/380

UR - http://www.scopus.com/inward/record.url?scp=85122655777&partnerID=8YFLogxK

U2 - 10.1609/icaps.v31i1.15969

DO - 10.1609/icaps.v31i1.15969

M3 - Conference contribution

SN - 9781577358671

VL - 31

T3 - Proceedings of the International Conference on Automated Planning and Scheduling.

SP - 252

EP - 261

BT - Proceedings of the 31st International Conference on Automated Planning and Scheduling

A2 - Biundo, Susanne

A2 - Do, Minh

A2 - Goldman, Robert

A2 - Katz, Michael

A2 - Yang, Qiang

A2 - Hankui Zhou, Hankz

PB - AAAI press

T2 - 31st International Conference on Automated Planning and Scheduling

Y2 - 2 August 2021 through 13 August 2021

ER -

Percassi F, Scala E, Vallati M. Translations from Discretised PDDL+ to Numeric Planning. In Biundo S, Do M, Goldman R, Katz M, Yang Q, Hankui Zhou H, editors, Proceedings of the 31st International Conference on Automated Planning and Scheduling: ICAPS 2021. Vol. 31. AAAI press. 2021. p. 252-261. 15969. (Proceedings of the International Conference on Automated Planning and Scheduling.). doi: 10.1609/icaps.v31i1.15969

Translations from Discretised PDDL+ to Numeric Planning

Abstract

Publication series

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this