An argumentation framework for reasoning about actions and change

Abstract

We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation as Failure (LPwNF). This translation enables us 1) to understand default persistence as captured by various temporal reasoning frameworks in a simple and natural way, by assigning higher priority to information about effects of later actions over effects of earlier actions

2) to develop an argumentation-based computational model for this type of reasoning in logic programming goal-driven style. © Springer-Verlag Berlin Heidelberg 1999.