Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

Wolfgang Faber, Michael Morak, Lukáš Chrpa

In the context of planning and reasoning about actions and change, we call an action reversible when its effects can be reverted by applying other actions, returning to the origina…