隨著人工智能的發(fā)展，特別是對基于知識的系統(tǒng)的研制和開發(fā)，人們越來越清楚的認識到一階邏輯的局限性：很難描述和處理知識的不確定性、不一致性和不完全性。布爾算子模糊邏輯（簡稱BOFL）就是為了試圖解決一階邏輯的這些局限性而建立的邏輯框架。 相等關系是一個很重要的關系，尤其在數(shù)學中是這樣，很多定理的描述都離不開“相等”這個謂詞。相等有一些特殊的性質：反身性，對稱性，傳遞性，等量代換性等。直接使用相等謂詞去描述一個定理，往往更簡潔，更直觀。關于相等謂詞的使用是如此重要，許多學者研究了使用歸結方法處理相等的策略，如基于相等的推廣的歸結方法，調解方法，E-歸結方法，RUE-NRF歸結方法等。 本文首先簡要介紹布爾算子模糊邏輯，包括一些基本概念和一些重要的定理。接著把一階邏輯中的調解法推廣到BOFL中并給出BOFL中的相等公理集和反身公理集。然后證明調解的有效性，證明在BOFL中調解法和歸結法的結合對λE-恒假的子句集是廣義完備的。 1985年劉敘華、安直提出了廣義調解法，1986年王元元提出了廣義替換調解。這樣可以將調解法用于一種非子句形式的公式集——廣義子句上，從而不僅可以避免從... 

【文章來源】：東北師范大學吉林省 211工程院校 教育部直屬院校

【文章頁數(shù)】：49 頁

【學位級別】：碩士

【文章目錄】：
中文摘要
英文摘要
引言
第一章 緒論
    §1.1 布爾算子模糊邏輯的提出
    §1.2 調解法的提出
    §1.3 相關及本文工作
第二章 布爾算子模糊邏輯
    §2.1 BOFL中的基本定義
    §2.2 恒假水平
    §2.3 子句集
第三章 布爾算子模糊邏輯中的調解法
    §3.1 BOFL中的歸結方法
    §3.2 相等公理和λE-恒假
    §3.3 BOFL中的調解方法
第四章 布爾算子模糊邏輯中的廣義調解法
    §4.1 BOFL中的廣義歸結方法
    §4.2 廣義歸結的有效性及完備性
    §4.3 BOFL中的廣義調解方法
第五章 結論與展望
    §5.1 相關工作比較
    §5.2 結論與展望
參考文獻
致謝



本文編號：3590597