A Visual Studio Code Extension for Automatically Repairing Planning Domains

Abstract

We demonstrate a Visual Studio Code extension which aims at providing modeling assistance for modeling planning domains in PDDL, which serves as a front-end of our previous work. The extension can identify potential flaws in a domain and propose respective corrections by taking as input a set of counter-example plans, which are known to be valid but actually contradict the domain. Those input plans shall be provided by the user. The flaws are then identified and corrected by making changes to the domain so as to turn those plans into solutions, i.e., the changes are regarded as potential corrections to the domain. The extension supports corrections that add predicates to or remove predicates from actions’ preconditions and effects.