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

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

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

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



本文編號：3540028