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