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.
翻译:在抽象论证的语境下,我们展示了考虑时间性(即论据陈述的顺序)以及因果性的优势。我们提出了一种形式化方法,将无环抽象论证框架的概念重写为一种行为语言,该语言能够模拟世界的演变,并在论据的陈述与其直接或间接后果之间建立因果关系。我们还提出了一种基于回答集编程的实现方案,并展望了其在解释方面的应用前景。