Figuring out ActionReversibility in STRIPS Utilizing Reply Set and Epistemic Logic Programming
Authors: Wolfgang Faber, Michael Morak, Lukáš Chrpa
Summary: Within the context of planning and reasoning about actions and alter, we name an motion reversible when its results might be reverted by making use of different actions, returning to the unique state. Renewed curiosity on this space has led to a number of leads to the context of the PDDL language, extensively used for describing planning duties. On this paper, we suggest a number of options to the computational downside of deciding the reversibility of an motion. Particularly, we leverage an present translation from PDDL to Reply Set Programming (ASP), after which use a number of totally different encodings to deal with the issue of motion reversibility for the STRIPS fragment of PDDL. For these, we use ASP, in addition to Epistemic Logic Programming (ELP), an extension of ASP with epistemic operators, and examine and distinction their strengths and weaknesses. Into account for acceptance in TPL