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} 是唯一的扩展,这更符合直觉。

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

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

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值