10、增强邓氏优选语义与数据库距离研究

增强邓氏优选语义与数据库距离研究

1. 增强邓氏优选语义

1.1 相关语义对比

在论证框架中，CF2 语义与我们的方法有相似之处，其动机是解决论证框架中奇数长度循环的语义问题。然而，基于最大无冲突集概念的 CF2 语义在保留邓氏优选语义的所有属性方面略显薄弱。例如，在邓氏优选语义中，如果论证框架有非空的优选扩展，将这些扩展视为最终结果是合理的，但 CF2 语义在这种情况下表现不同。

考虑一个论证框架 AF = < {A, B, C, D}, {(A, B), (B, C), (C, A), (C, D), (D, C)} >，其强连通分量 SCC(AF) = {S}，其中 S = {A, B, C, D}。根据定义，parent(S) = ∅，对于任何 E，SD(E) = ∅ 且 SU(E) = S。SU(E) ∩ E ∈ MCF(AF ↓SU(E))，即 (S ∩ E) = { {D, B}, {D, A}, {C}}，所以 CF(AF) = { {D, B}, {D, A}, {C}}。由于 D 捍卫 A，D 间接攻击 B，因此 CF2 语义将 {B, D} 作为其扩展之一是不合理的。而在邓氏优选语义和我们的语义中，EEPS(AF) = EPS(AF) = { {D, A}}，{D, A} 是唯一的扩展，这更符合直觉。

优选 + 语义通过借助逻辑程序的最小模型对邓氏优选语义进行了推广，并遵循邓氏优选语义的哲学。但存在逻辑程序的最小模型不存在的情况，此时优选 + 语义无法处理这些情况。而我们的语义可以妥善处理这些情况。

在某种程度上，我们的方法与基于偏好的方法类似。忽略