Integrating Temporality and Causality into Acyclic Argumentation Frameworks Using a Transition System

In the context of abstract argumentation, we present the benefits of considering temporality, i.e. the order in which arguments are enunciated, as well as causality. We propose a formal method to rewrite the concepts of acyclic abstract argumentation frameworks into an action language that allows us to model the evolution of the world and to establish causal relationships between the enunciation of arguments and their consequences on the acceptability of other arguments, whether direct or indirect. An Answer Set Programming implementation is also described. Furthermore, we lay the ground for the generation of explanations using the causal relations as well as two graphical representations to support such explanations.