經(jīng)典的二值邏輯演算為精確的邏輯推理奠定了理論基礎(chǔ)，然而人們?nèi)粘Ｉ钅酥量萍碱I(lǐng)域中大量的推理都是不精確的，針對(duì)不同的應(yīng)用背景，人們提出了各種不同的近似推理理論。Zadeh教授予1973年首次提出了基于模糊集的近似推理理論，它不同于人工智能領(lǐng)域所倡導(dǎo)的方法：人工智能學(xué)科強(qiáng)調(diào)符號(hào)操作，它扎根于邏輯之中，以語(yǔ)構(gòu)的形式展開(kāi)自動(dòng)推理而根本不看重?cái)?shù)值計(jì)算，但基于模糊集的方法自然是離不開(kāi)數(shù)值計(jì)算的。Zadeh的方法在于將二者相結(jié)合，它的基本思想的影響是深遠(yuǎn)的，近年來(lái)發(fā)表的有關(guān)近似推理的文章都程度不等地注意了兩方面的結(jié)合。20世70年代末，Pavelka的系列文章《on fuzzy logicⅠ、Ⅱ、Ⅲ》開(kāi)創(chuàng)了將模糊集思想融于嚴(yán)格的邏輯演算之先河，他將公理和推理規(guī)則都加以程度化而提出了一種近似推理系統(tǒng)，只是他并未繼續(xù)展開(kāi)對(duì)諸如Fuzzy Modus Ponens等模糊推理的研究。 其實(shí)，近似推理并不一定要與模糊集理論相聯(lián)系，比如，王國(guó)俊教授在其專著《非經(jīng)典數(shù)理邏輯與近似推理》的積分語(yǔ)義學(xué)一章中所提出的近似推理的主體部分就不依賴于模糊集理論。另外，王國(guó)俊教授最近又基于均勻概率的思想在經(jīng)典二值命題邏輯... 

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

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

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

【文章目錄】：
引言
第一章 公式的真度理論
    §1.1 公式的真度理論
    §1.2 真度推理規(guī)則
    §1.3 公式的真度值之集在[0，1]中的分布及真度的表達(dá)通式
第二章 公式間的相似度及偽距離
    §2.1 公式間的相似度
    §2.2 公式間的偽距離
第三章 （F（S），ρ）中的近似推理理論
    §3.1 準(zhǔn)證明與準(zhǔn)推理
    §3.2 發(fā)散度與偏差
    §3.3 多值命題邏輯系統(tǒng)Ⅰ_n中近似推理的誤差理論
總結(jié)
致謝
參考文獻(xiàn)
攻讀學(xué)位期間的研究成果


【參考文獻(xiàn)】：
期刊論文
[1]二值命題邏輯中命題的真度理論[J]. 王國(guó)俊,傅麗,宋建社.  中國(guó)科學(xué)（A輯）. 2001(11)
[2]形式演繹系統(tǒng)L*中的運(yùn)算與演繹定理[J]. 裴道武.  模糊系統(tǒng)與數(shù)學(xué). 2001(01)
[3]邏輯度量空間[J]. 王國(guó)俊,王偉.  數(shù)學(xué)學(xué)報(bào). 2001(01)
[4]模糊推理的全蘊(yùn)涵三I算法[J]. 王國(guó)俊.  中國(guó)科學(xué)E輯:技術(shù)科學(xué). 1999(01)
[5]L*中的典型賦值中介與公理系統(tǒng)的簡(jiǎn)化[J]. 何穎俞,王國(guó)俊.  科學(xué)通報(bào). 1998(06)
[6]L*-Lindenbaum代數(shù)的結(jié)構(gòu)與L*公理系統(tǒng)的簡(jiǎn)化形式[J]. 何穎俞,王國(guó)俊.  工程數(shù)學(xué)學(xué)報(bào). 1998(01)
[7]模糊命題演算的一種形式演繹系統(tǒng)[J]. 王國(guó)俊.  科學(xué)通報(bào). 1997(10)
[8]從模糊控制的數(shù)學(xué)本質(zhì)看模糊邏輯的成功──關(guān)于“關(guān)于模糊邏輯似是而非的爭(zhēng)論”的似是而非的介入[J]. 李洪興.  模糊系統(tǒng)與數(shù)學(xué). 1995(04)
[9]關(guān)于模糊邏輯的—場(chǎng)爭(zhēng)論[J]. 吳望名.  模糊系統(tǒng)與數(shù)學(xué). 1995(02)

碩士論文
[1]模糊邏輯形式系統(tǒng)的若干完備性定理[D]. 王三民.陜西師范大學(xué) 2001



本文編號(hào)：3599650