模糊推理的中心課題是以下形式的FMP和FMT問(wèn)題：（FMP問(wèn)題）(FMT問(wèn)題)這里A，A^*是X上的Fuzzy集，B，B^*是Y上的Fuzzy集。 關(guān)于上述兩個(gè)問(wèn)題，Zadeh于1973年提出了Fuzzy推理的思想并給出了著名的CRI方法。此方法計(jì)算上雖然方便，但缺乏嚴(yán)格的理論依據(jù)。王國(guó)俊教授于1999年提出了三Ⅰ算法，開辟了把模糊推理與模糊邏輯相結(jié)合的研究道路。同時(shí)在文獻(xiàn)[6～8]中，王國(guó)俊教授通過(guò)根的理論分別在經(jīng)典二值邏輯系統(tǒng)L、多值系統(tǒng)L^*及Lukasiewicz三值系統(tǒng)中實(shí)現(xiàn)了形式化推理機(jī)制。本文在此基礎(chǔ)上通過(guò)引入最大前提的概念來(lái)討論二值邏輯系統(tǒng)L中的MT問(wèn)題。主要研究了二值邏輯系統(tǒng)L中GMT及多重GMT規(guī)則的語(yǔ)構(gòu)理論，實(shí)現(xiàn)了FMT問(wèn)題的形式推理機(jī)制，最后給出了最大前提與根的關(guān)系，從而說(shuō)明了MP問(wèn)題與MT問(wèn)題可以互相轉(zhuǎn)化。 關(guān)于區(qū)分公式可靠程度的思想早在1952年就由Rosser與Turquette提出，此后又有許多學(xué)者從不同的角度提出確定這類公式的可靠程度的方法。在王國(guó)俊教授提出的積分語(yǔ)義學(xué)理論的基...

【文章來(lái)源】： 陜西師范大學(xué)陜西省 211工程院校 教育部直屬院校

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

【文章目錄】：
前言
第一章 經(jīng)典邏輯系統(tǒng)L中的MT問(wèn)題
    §1.1 預(yù)備知識(shí)
    §1.2 經(jīng)典邏輯系統(tǒng)L中的GMT和多重GMT規(guī)則的語(yǔ)構(gòu)理論
    §1.3 經(jīng)典邏輯系統(tǒng)L中MP與MT問(wèn)題的相互轉(zhuǎn)化
第二章 命題邏輯系統(tǒng)G₃和П₃中公式的真度理論
    §2.1 公式真度的定義及性質(zhì)
    §2.2 公式真度的推理規(guī)則
第三章 命題邏輯系統(tǒng)G_n和П_n中公式間的相似度與偽距離
    §3.1 預(yù)備知識(shí)
    §3.2 公式間三種相似度的定義及性質(zhì)
    §3.3 公式間的一種偽距離
總結(jié)
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間的研究成果



本文編號(hào)：3540028