人類在對事物進行判斷時,時常表現(xiàn)出贊同、猶豫及反對三種態(tài)度,直覺模糊邏輯能夠很好的表達人類在受到外界信息影響后做出的帶有猶豫程度的不確定性推理。歸結方法作為自動推理的重要分支,以其嚴謹而簡潔的推理過程被諸多學者關注。本文結合經(jīng)典邏輯中的線性歸結方法提出了直覺模糊命題邏輯的(α,β)-有序線性歸結,并進一步研究了直覺模糊謂詞邏輯中的(α,β)-線性歸結。結合鎖歸結策略,提出了直覺模糊謂詞邏輯的(α,β)-線性半鎖歸結,提高了直覺模糊謂詞邏輯的歸結效率。本文的主要研究成果如下:本文提出了一種基于(α,β)-歸結的直覺模糊命題邏輯自動推理方法。通過有限次的使用等價公式將每一個同時擁有真度和假度的直覺模糊命題邏輯公式轉換成直覺模糊命題邏輯廣義子句。利用假定的閾值(α,β)判斷直覺模糊命題邏輯廣義子句中的每一個直覺模糊命題邏輯文字是否是(α,β)-可滿足的,并以此為基礎將文字分成兩類,即(α,β)-相似文字和(α,β)-互補文字。利用線性歸結僅有一條中心線和一條邊線的結構去限制每次歸結過程中的歸結子句。此外通過(α,β)-有序歸結去限制每次參加歸結的文字必須是中心子句的最右一個文字。然后使用直覺...

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

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
1 緒論
    1.1 研究意義
    1.2 國內外研究現(xiàn)狀
        1.2.1 直覺模糊集理論研究
        1.2.2 基于歸結的自動推理方法研究
    1.3 本文研究內容
    1.4 文章結構
2 預備知識
    2.1 直覺模糊命題邏輯
    2.2 歸結原理
3 直覺模糊命題邏輯的(α, β)-有序線性歸結方法
    3.1 直覺模糊命題邏輯的(α, β)-歸結原理
    3.2 直覺模糊命題邏輯中的(α, β)-有序線性歸結方法
    3.3 直覺模糊命題邏輯中的(α, β)-有序線性歸結算法
    3.4 本章小結
4 直覺模糊謂詞邏輯系統(tǒng)
    4.1 直覺模糊謂詞邏輯公式及其性質
    4.2 直覺模糊謂詞邏輯的Skolem標準范式
    4.3 直覺模糊謂詞邏輯的歸結原理
    4.4 本章小結
5 直覺模糊謂詞邏輯的(α, β)-線性半鎖歸結方法
    5.1 直覺模糊謂詞邏輯的(α, β)-線性半鎖歸結方法
    5.2 直覺模糊謂詞邏輯的(α, β)-線性半鎖歸結問題求解算法
    5.3 本章小結
6 結論與展望
參考文獻
攻讀碩士學位期間發(fā)表學術論文情況
致謝



本文編號：3936585