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

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

【學位級別】：碩士

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



本文編號：3936585