Formal Representations of Classical Planning Domains

Published: 12 Feb 2024, Last Modified: 06 Mar 2024ICAPS 2024EveryoneRevisionsBibTeXCC BY 4.0
Keywords: Formal Representations of Classical Planning Domains
TL;DR: We show that axioms are suitable for characterizing the legal tasks of a planning domain.
Abstract: Planning domains are an important notion, e.g. when it comes to restricting the input for generalized planning or learning approaches. However, domains as specified in PDDL cannot fully capture the intuitive understanding of a planning domain. We close this semantic gap and propose using PDDL axioms to characterize the (typically infinite) set of legal tasks of a domain. A minor extension makes it possible to express all properties that can be determined in polynomial time. We demonstrate the suitability of the approach on established domains from the International Planning Competition.
Primary Keywords: Theory
Category: Long
Student: Graduate
Submission Number: 372