版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、模糊推理的中心課題是以下形式的FMP和FMT問(wèn)題:(FMP問(wèn)題)已知A→B且給定A*/求B*(1)(FMT問(wèn)題)已知A→B且給定B*/求A*(2)這里A,A*是X上的Fuzzy集,B,B*是Y上的Fuzzy集. 關(guān)于上述兩個(gè)問(wèn)題,Zadeh于1973年提出了Fuzzy推理的思想并給出了著名的CRI方法.此方法計(jì)算上雖然方便,但缺乏嚴(yán)格的理論依據(jù).王國(guó)俊教授于1999年提出了三I算法,開(kāi)辟了把模糊推理與模糊邏輯相結(jié)合的研究道路.同
2、時(shí)在文獻(xiàn)中,王國(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與Turqu
3、ette提出,此后又有許多學(xué)者從不同的角度提出確定這類(lèi)公式的可靠程度的方法.在王國(guó)俊教授提出的積分語(yǔ)義學(xué)理論的基礎(chǔ)上,一些學(xué)者在賦值域是連續(xù)值的情形下展開(kāi)了對(duì)公式真確度的討論.緊接著,王國(guó)俊教授基于均勻概率的思想在經(jīng)典二值命題邏輯系統(tǒng)中建立了公式的真度理論.不久前,李駿又用相同的思想給出了標(biāo)準(zhǔn)序列邏輯系統(tǒng)S3中命題真度的分布[12]和Lukasiewiczn值命題邏輯中的真度理論.文獻(xiàn)中還討論了G(o)del和Goguenn值命題邏輯系
4、統(tǒng)中命題的真度理論,本文將這兩個(gè)系統(tǒng)中的非運(yùn)算,的定義方式加以改變,討論了命題邏輯系統(tǒng)Gn和Ⅱn中相應(yīng)的公式的真度理論及相似度理論,這為在相應(yīng)的邏輯系統(tǒng)中展開(kāi)近似推理奠定了基礎(chǔ). 本文可分為三個(gè)部分:第一部分:第一章介紹一些預(yù)備知識(shí),包括根的定義、MP問(wèn)題的定義及MT問(wèn)題的定義.接著給出最大前提的概念,由此展開(kāi)經(jīng)典二值邏輯系統(tǒng)L中的GMT和多重GMT規(guī)則的語(yǔ)構(gòu)理論的討論.最后證明了MP問(wèn)題與MT問(wèn)題是可以相互轉(zhuǎn)化的. 第
5、二部分:第二章基于均勻概率的思想,給出了G(o)del、Goguen三值命題邏輯系統(tǒng)中命題的一種真度理論.同時(shí)在此基礎(chǔ)上討論了這兩個(gè)系統(tǒng)中的三個(gè)重要的真度推理規(guī)則,即三值真度MP規(guī)則、三值真度HS規(guī)則以及三值真度交推理規(guī)則. 第三部分:第三章利用由均勻概率空間的無(wú)窮乘積所定義的Gn及Ⅱn中公式的真度概念,給出了公式間的相似度的一種新定義,討論了本文所定義的相似度與文獻(xiàn)[15]、[16]中定義的相似度的大小關(guān)系及邏輯系統(tǒng)Gn及Ⅱn
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- Lukasiewicz邏輯系統(tǒng)中公式的真度理論和邏輯度量空間.pdf
- 幾種邏輯系統(tǒng)中命題真度的研究.pdf
- 命題邏輯系統(tǒng)中理論的真度及其應(yīng)用研究
- 命題邏輯系統(tǒng)中理論的真度及其應(yīng)用研究.pdf
- n值邏輯系統(tǒng)中命題的絕對(duì)真度及其隨機(jī)化理論.pdf
- 非線性序集邏輯系統(tǒng)中命題的真度理論及近似推理理論.pdf
- 描述邏輯系統(tǒng)εLN中的匹配問(wèn)題.pdf
- n值S-MIL邏輯系統(tǒng)中命題的Borel概率真度理論.pdf
- 命題邏輯系統(tǒng)中若干問(wèn)題的研究.pdf
- 關(guān)于PI證明的若干注記以及邏輯公式的真度理論.pdf
- 28598.n值smtl系統(tǒng)中公式的矛盾度理論及理論的平均真度
- 概率模糊邏輯系統(tǒng)的理論研究及在復(fù)雜過(guò)程建模中的應(yīng)用.pdf
- verilog的數(shù)據(jù)類(lèi)型及邏輯系統(tǒng)
- 幾種多值邏輯系統(tǒng)重言式關(guān)系和l4中導(dǎo)出函數(shù)問(wèn)題的研究
- BR0代數(shù)及對(duì)應(yīng)邏輯系統(tǒng)中單原子生成公式的真值函數(shù)特征.pdf
- 模糊邏輯系統(tǒng)中的形式化證明
- 模糊邏輯系統(tǒng)中的形式化證明.pdf
- 幾種多值邏輯系統(tǒng)重言式關(guān)系和L4中導(dǎo)出函數(shù)問(wèn)題的研究.pdf
- IMTL邏輯系統(tǒng)及IMTL-代數(shù).pdf
- 格值模型理論與格值邏輯系統(tǒng)的現(xiàn)狀研究.pdf
評(píng)論
0/150
提交評(píng)論