42、偏好论证的统一模型探索

偏好论证的统一模型探索

在论证框架的研究领域中，不同类型的论证框架有着各自的特点和应用场景。对它们进行比较和统一，有助于我们更好地理解和应用这些框架。下面将详细探讨不同论证框架之间的关系以及一种统一框架的构建。

不同抽象论证框架的比较

不同的论证框架在实际应用中各有优劣，通过比较它们之间的等价性，可以更清晰地认识它们的特点。
- Dung框架与PAF的比较 ：Dung的论证框架可以看作是基于偏好的论证框架（PAF）的一个特例。当满足以下两个条件之一时，论证框架AF = ⟨A, R⟩与PAF = ⟨A, R, ⪰⟩相关联的论证框架等价：
- 不存在α, β ∈ A，使得(α, β) ∈ ≻。
- 不存在α, β ∈ A，使得(α, β) ∈ R且(β, α) ∈ ≻。
- Bench Capon框架与扩展的比较 ：Bench Capon的框架是文献[9]中提出的扩展的一个特例。以下两种情况描述了基于价值的论证框架（VAF）与基于特定价值规范的论证框架（VSAF）等价的情形：
- 与VAF = ⟨A, R, V, val, Pref⟩和VSAF = ⟨A, R, V, arg, ≫⟩分别关联的两个论证框架⟨A, defeats⟩和⟨A, defeatsBc⟩等价，当且仅当val = arg⁻¹且Pref = ≫。
- 与VAF = ⟨A, R, V, val, Pref⟩和VSAF = ⟨A, R, V′, arg, ≫⟩分别关联的两个论证框架⟨A, defeats⟩和⟨A, defeatsM⟩等价，当且仅当|arg⁻¹(val⁻¹(vi))| = i。
-