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.
翻译:在抽象论证方面,我们提出考虑时间性的好处,即阐述论点的顺序以及因果关系,我们提出一种正式方法,将循环抽象论证框架的概念改写为一种行动语言,使我们能够模拟世界的演变,并在放弃论点及其直接或间接后果之间建立因果关系。还提出了“答案集”方案实施以及解释观点。</s>