Integrating Temporality and Causality into Acyclic Argumentation Frameworks using a Transition System
This work addresses the need for more dynamic and causal reasoning in argumentation systems, which is incremental as it builds on existing acyclic frameworks.
The paper tackles the problem of incorporating temporality and causality into acyclic argumentation frameworks by proposing a formal method to rewrite these frameworks into an action language, enabling modeling of world evolution and causal relationships, with an Answer Set Programming implementation provided.
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, whether direct or indirect. An Answer Set Programming implementation is also proposed, as well as perspectives towards explanations.