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

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

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

【學位級別】：碩士

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


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

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



本文編號：3599650