Fixing PDDL Domains Using Delta Debugging

Thomas Eckstein, Marco De Bortoli, Gerald Steinbauer-Wagner

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Abstract

Developing planning domains can be a challenging task, because existing planners provide little feedback regarding the correctness of the domain and the reasons for fail-ures in planning. In this paper we present an automated approach that can identify faulty preconditions in actions and show a working prototype implementation. Our debugger takes a faulty planning domain along with one or more problem instances as input. We use the delta debugging algorithm as the basis for our implementation, because it works by creating variations of the code in question and then testing it while essentially treating the interpreter, in our case the planner, as a black box. In our evaluation we introduce various errors into a set of selected domains taken from the International Planning Competition. We show that our debugger correctly identifies the mistakes in most cases and consistently outperforms a baseline based on brute force search.
Originalspracheenglisch
Titel34th International Workshop on Principle of Diagnosis
Seitenumfang9
PublikationsstatusElektronische Veröffentlichung vor Drucklegung. - 2023
Veranstaltung34th International Workshop on Principles of Diagnosis: DX 2023 - Loma Mar, USA / Vereinigte Staaten
Dauer: 11 Sept. 202314 Sept. 2023
Konferenznummer: 34
https://dx-2023.ist.tugraz.at/

Workshop

Workshop34th International Workshop on Principles of Diagnosis
KurztitelDX'23
Land/GebietUSA / Vereinigte Staaten
OrtLoma Mar
Zeitraum11/09/2314/09/23
Internetadresse

Dieses zitieren