一种贪婪缺省逻辑
大小：1.37 MB 人气： 2017-12-27 需要积分：3
标签：
提出了一种贪婪缺省逻辑，旨在构造扩展的过程中尽可能地保留缺省规则当中的信息．给出了贪婪缺省逻辑的推演系统-GD系统和贪婪缺省的GD-扩展的定义．并且证明了对于缺省理论（L△）的一个扩展，必定存在一个贪婪缺省理论的GD-扩展，使得缺省逻辑的扩展是贪婪缺省逻辑扩展的子集．同时，还存在贪婪缺省理论（E△）的某- GD-扩展。该GD-扩展不包含缺省理论的任一扩展，因此缺省逻辑和贪婪缺省逻辑是两种不同的逻辑。
非常好我支持^.^
(0) 0%
不好我反对
(0) 0%