一種貪婪缺省邏輯
大小：1.37 MB 人氣： 2017-12-27 需要積分：3
標簽：
提出了一種貪婪缺省邏輯，旨在構造擴展的過程中盡可能地保留缺省規則當中的信息．給出了貪婪缺省邏輯的推演系統-GD系統和貪婪缺省的GD-擴展的定義．并且證明了對于缺省理論（L△）的一個擴展，必定存在一個貪婪缺省理論的GD-擴展，使得缺省邏輯的擴展是貪婪缺省邏輯擴展的子集．同時，還存在貪婪缺省理論（E△）的某- GD-擴展。該GD-擴展不包含缺省理論的任一擴展，因此缺省邏輯和貪婪缺省邏輯是兩種不同的邏輯。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%