提出按论点说出顺序建模对话的新框架，可确定唯一结论。
An action language-based formalisation of an abstract argumentation framework
- 引入论点说出顺序建模，动态影响论证结果
- 通过新策略实现第二种完备性，确保结论唯一
- 适合研究逻辑推理与对话建模的学者
抽象论证框架是一种常用于静态表示对话的数学形式。然而，论点在对话中被提出的顺序至关重要，可能影响最终结果。本文提出一种新的抽象论证图建模框架，将论点的提出顺序纳入考量，从而能为每场对话推导出唯一的结果（称为扩展）。我们建立了终止性与正确性等性质，并讨论了两种完备性概念。特别地，提出基于‘最后提出即最后更新’策略的改进转换方法，验证了第二种完备性。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。