Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers

Wolfgang Faber, Michael Morak, Lukás Chrpa

Abstract: In the field of automated planning, an action is called reversible when other actions can be applied in order to revert the effects of this action and return to the original state. In recent years, there has been renewed interest in this topic, which led to novel results in the widely known STRIPS formalism and the PDDL planning language.