An abstract argumentation framework is a commonly used formalism to provide a static representation of a dialogue. However, the order of enunciation of the arguments in an argumentative dialogue is very important and can affect the outcome of this dialogue. In this paper, we propose a new framework for modelling abstract argumentation graphs, a model that incorporates the order of enunciation of arguments. By taking this order into account, we have the means to deduce a unique outcome for each dialogue, called an extension. We also establish several properties, such as termination and correctness, and discuss two notions of completeness. In particular, we propose a modification of the previous transformation based on a "last enunciated last updated" strategy, which verifies the second form of completeness.
翻译:抽象论辩框架是一种常用的形式化方法,用于提供对话的静态表示。然而,论辩性对话中论点的陈述顺序至关重要,可能影响对话的结果。本文提出了一种新的框架,用于建模抽象论辩图,该模型融入了论点的陈述顺序。通过考虑这一顺序,我们能够为每个对话推导出唯一的结果,称为扩展。我们还建立了若干性质,如终止性和正确性,并讨论了两种完备性概念。特别地,我们提出了一种基于“最后陈述最后更新”策略对先前转换的修改,该策略验证了第二种形式的完备性。