41、基于偏好的论证统一模型探索

基于偏好的论证统一模型探索

在论证框架的研究中，为了更好地处理实际应用中的复杂情况，提出了三种不同的扩展。本文将对这些扩展进行详细介绍和比较，并探讨如何将它们集成到一个更具表达力的统一框架中。

1. 抽象论证框架回顾

论证过程主要包括三个步骤：构建论证和反论证、评估不同论证的可接受性以及得出或定义合理结论。下面我们将回顾Dung的抽象论证框架及其三种扩展，并通过一个多标准决策的例子来说明这些框架的优缺点。

1.1 Dung的抽象框架

Dung的论证框架定义为一个二元组 $AF = \langle A, R \rangle$，其中 $A$ 是一组论证，$R \subseteq A \times A$ 是攻击关系。一个论证 $\alpha$ 攻击论证 $\beta$ 当且仅当 $(\alpha, \beta) \in R$。在这个定义中，论证是抽象实体，其来源和结构未知。我们可以将每个论证系统与一个有向图关联起来，图的节点是不同的论证，边表示它们之间的攻击关系。

为了定义在冲突论证中哪些论证可用于推断结论或做出决策，提出了不同的可接受性语义。本文仅回顾可接受语义：
- 冲突无关 ：设 $B \subseteq A$，$B$ 是冲突无关的当且仅当不存在 $\alpha_i, \alpha_j \in B$ 使得 $(\alpha_i, \alpha_j) \in R$。
- 防御 ：$B$ 防御论证 $\alpha_i \in B$ 当且仅当对于每个论证 $\alpha_j \in A$，如果 $(\alpha_j, \alpha_i) \in R