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

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

【學(xué)位級(jí)別】：碩士

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



本文編號(hào)：3936585