The Power of Reformulation: From Validation to Planning in PDDL+

Francesco Percassi; Enrico Scala; Mauro Vallati

The Power of Reformulation: From Validation to Planning in PDDL+

Francesco Percassi, Enrico Scala, Mauro Vallati

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

Abstract

PDDL+ allows the formal specification of systems representing mixed discrete-continuous representation, under both a discrete and a continuous dynamics; this expressiveness is pivotal in real-world applications. An important aspect is the capability of validating plans obtained by planning systems, and assessing their compliance against the domain’s model. Unfortunately, a very limited number of validation tools are capable of dealing with PDDL+ tasks. To overcome this problem, in this work we propose an approach that allows to exploit any domain-independent PDDL+ or PDDL2.1 planning engine for validating PDDL+ plans. We introduce a set of translations that, given a PDDL+ plan and the corresponding PDDL+ task, generate a new PDDL+ or PDDL2.1 whose solvability is bound to the validity of the considered plan. We empirically evaluate the usefulness of the proposed approach on a range of PDDL+ benchmarks under an interpretation of time that can be either continuous (through a PDDL+ translation) and discrete (through a PDDL+ or a PDDL2.1 translation).

Original language	English
Title of host publication	Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling: (ICAPS 2022)
Editors	Akshat Kumar, Sylvie Thiébaux, Pradeep Varakantham, William Yeoh
Publisher	Association for the Advancement of Artificial Intelligence
Pages	288-296
Number of pages	9
Volume	32
ISBN (Print)	9781577358749
Publication status	Published - 13 Jun 2022
Event	32nd International Conference on Automated Planning and Scheduling - Virtual, Online Duration: 13 Jun 2022 → 24 Jun 2022 Conference number: 32 http://icaps22.icaps-conference.org/

Publication series

Name	Proceedings of the International Conference on Automated Planning and Scheduling
Publisher	Association for the Advancement of Artificial Intelligence
ISSN (Print)	2334-0843
ISSN (Electronic)	2334-0835

Conference

Conference	32nd International Conference on Automated Planning and Scheduling
Abbreviated title	ICAPS 2022
City	Virtual, Online
Period	13/06/22 → 24/06/22
Internet address	http://icaps22.icaps-conference.org/

UN SDGs

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

Access to Document

https://ojs.aaai.org/index.php/ICAPS/article/view/19812Licence: Unspecified

Cite this

Percassi, F., Scala, E., & Vallati, M. (2022). The Power of Reformulation: From Validation to Planning in PDDL+. In A. Kumar, S. Thiébaux, P. Varakantham, & W. Yeoh (Eds.), Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling: (ICAPS 2022) (Vol. 32, pp. 288-296). (Proceedings of the International Conference on Automated Planning and Scheduling). Association for the Advancement of Artificial Intelligence. https://ojs.aaai.org/index.php/ICAPS/article/view/19812

Percassi, Francesco ; Scala, Enrico ; Vallati, Mauro. / The Power of Reformulation : From Validation to Planning in PDDL+. Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling: (ICAPS 2022). editor / Akshat Kumar ; Sylvie Thiébaux ; Pradeep Varakantham ; William Yeoh. Vol. 32 Association for the Advancement of Artificial Intelligence, 2022. pp. 288-296 (Proceedings of the International Conference on Automated Planning and Scheduling).

@inproceedings{118810346d6943429a752bd28eaf7e11,

title = "The Power of Reformulation: From Validation to Planning in PDDL+",

abstract = "PDDL+ allows the formal specification of systems representing mixed discrete-continuous representation, under both a discrete and a continuous dynamics; this expressiveness is pivotal in real-world applications. An important aspect is the capability of validating plans obtained by planning systems, and assessing their compliance against the domain{\textquoteright}s model. Unfortunately, a very limited number of validation tools are capable of dealing with PDDL+ tasks. To overcome this problem, in this work we propose an approach that allows to exploit any domain-independent PDDL+ or PDDL2.1 planning engine for validating PDDL+ plans. We introduce a set of translations that, given a PDDL+ plan and the corresponding PDDL+ task, generate a new PDDL+ or PDDL2.1 whose solvability is bound to the validity of the considered plan. We empirically evaluate the usefulness of the proposed approach on a range of PDDL+ benchmarks under an interpretation of time that can be either continuous (through a PDDL+ translation) and discrete (through a PDDL+ or a PDDL2.1 translation).",

keywords = "PDDL+, Validation, Planning",

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

year = "2022",

month = jun,

day = "13",

language = "English",

isbn = "9781577358749",

volume = "32",

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

publisher = "Association for the Advancement of Artificial Intelligence",

pages = "288--296",

editor = "Akshat Kumar and Sylvie Thi{\'e}baux and Pradeep Varakantham and William Yeoh",

booktitle = "Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling: (ICAPS 2022)",

address = "United States",

note = "32nd International Conference on Automated Planning and Scheduling, ICAPS 2022 ; Conference date: 13-06-2022 Through 24-06-2022",

url = "http://icaps22.icaps-conference.org/",

}

Percassi, F, Scala, E & Vallati, M 2022, The Power of Reformulation: From Validation to Planning in PDDL+. in A Kumar, S Thiébaux, P Varakantham & W Yeoh (eds), Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling: (ICAPS 2022). vol. 32, Proceedings of the International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, pp. 288-296, 32nd International Conference on Automated Planning and Scheduling, Virtual, Online, 13/06/22. <https://ojs.aaai.org/index.php/ICAPS/article/view/19812>

The Power of Reformulation : From Validation to Planning in PDDL+. / Percassi, Francesco; Scala, Enrico; Vallati, Mauro.

Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling: (ICAPS 2022). ed. / Akshat Kumar; Sylvie Thiébaux; Pradeep Varakantham; William Yeoh. Vol. 32 Association for the Advancement of Artificial Intelligence, 2022. p. 288-296 (Proceedings of the International Conference on Automated Planning and Scheduling).

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

TY - GEN

T1 - The Power of Reformulation

T2 - 32nd International Conference on Automated Planning and Scheduling

AU - Percassi, Francesco

AU - Scala, Enrico

AU - Vallati, Mauro

N1 - Conference code: 32

PY - 2022/6/13

Y1 - 2022/6/13

N2 - PDDL+ allows the formal specification of systems representing mixed discrete-continuous representation, under both a discrete and a continuous dynamics; this expressiveness is pivotal in real-world applications. An important aspect is the capability of validating plans obtained by planning systems, and assessing their compliance against the domain’s model. Unfortunately, a very limited number of validation tools are capable of dealing with PDDL+ tasks. To overcome this problem, in this work we propose an approach that allows to exploit any domain-independent PDDL+ or PDDL2.1 planning engine for validating PDDL+ plans. We introduce a set of translations that, given a PDDL+ plan and the corresponding PDDL+ task, generate a new PDDL+ or PDDL2.1 whose solvability is bound to the validity of the considered plan. We empirically evaluate the usefulness of the proposed approach on a range of PDDL+ benchmarks under an interpretation of time that can be either continuous (through a PDDL+ translation) and discrete (through a PDDL+ or a PDDL2.1 translation).

AB - PDDL+ allows the formal specification of systems representing mixed discrete-continuous representation, under both a discrete and a continuous dynamics; this expressiveness is pivotal in real-world applications. An important aspect is the capability of validating plans obtained by planning systems, and assessing their compliance against the domain’s model. Unfortunately, a very limited number of validation tools are capable of dealing with PDDL+ tasks. To overcome this problem, in this work we propose an approach that allows to exploit any domain-independent PDDL+ or PDDL2.1 planning engine for validating PDDL+ plans. We introduce a set of translations that, given a PDDL+ plan and the corresponding PDDL+ task, generate a new PDDL+ or PDDL2.1 whose solvability is bound to the validity of the considered plan. We empirically evaluate the usefulness of the proposed approach on a range of PDDL+ benchmarks under an interpretation of time that can be either continuous (through a PDDL+ translation) and discrete (through a PDDL+ or a PDDL2.1 translation).

KW - PDDL+

KW - Validation

KW - Planning

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

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

M3 - Conference contribution

SN - 9781577358749

VL - 32

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

SP - 288

EP - 296

BT - Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling: (ICAPS 2022)

A2 - Kumar, Akshat

A2 - Thiébaux, Sylvie

A2 - Varakantham, Pradeep

A2 - Yeoh, William

PB - Association for the Advancement of Artificial Intelligence

Y2 - 13 June 2022 through 24 June 2022

ER -

Percassi F, Scala E, Vallati M. The Power of Reformulation: From Validation to Planning in PDDL+. In Kumar A, Thiébaux S, Varakantham P, Yeoh W, editors, Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling: (ICAPS 2022). Vol. 32. Association for the Advancement of Artificial Intelligence. 2022. p. 288-296. (Proceedings of the International Conference on Automated Planning and Scheduling).

The Power of Reformulation: From Validation to Planning in PDDL+

Abstract

Publication series

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this