天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁(yè) > 社科論文 > 邏輯論文 >

n值標(biāo)準(zhǔn)序列邏輯系統(tǒng)中的近似推理理論

發(fā)布時(shí)間:2018-05-11 07:02

  本文選題:真度 + 相似度 ; 參考:《蘭州理工大學(xué)學(xué)報(bào)》2006年02期


【摘要】:在n值標(biāo)準(zhǔn)序列邏輯系統(tǒng)中引入公式的真度概念,利用真度定義了公式間的相似度和偽距離并證明了真度推理規(guī)則,同時(shí)給出一種推理誤差的定義,這就為進(jìn)一步在n值標(biāo)準(zhǔn)序列邏輯系統(tǒng)中展開近似推理奠定了基礎(chǔ).
[Abstract]:In the n - valued standard sequence logic system , the concept of truth of the formula is introduced , and the similarity and the pseudo - distance between the formulas are defined by using the truth degree , and the truth degree inference rule is proved , and the definition of the inference error is given , which lays the foundation for further developing approximate reasoning in the n - value standard sequence logic system .

【作者單位】: 蘭州理工大學(xué)理學(xué)院 蘭州理工大學(xué)理學(xué)院 蘭州理工大學(xué)土木工程學(xué)院
【分類號(hào)】:O141.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 李駿;鄧富喜;;n值S-MTL命題邏輯系統(tǒng)中公式真度的統(tǒng)一理論[J];電子學(xué)報(bào);2011年08期

2 丁春曉;張興芳;;模糊邏輯系統(tǒng)公理真度分析[J];模糊系統(tǒng)與數(shù)學(xué);2011年03期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會(huì)議論文 前3條

1 王國(guó)俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

2 段巧林;王國(guó)俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

3 任燕;王洪麗;魯忠良;;模糊邏輯的緊致性與模糊理論相容度[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

相關(guān)博士學(xué)位論文 前3條

1 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

2 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

3 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 任鵬飛;命題邏輯公式集上的相似度、偽距離與近似推理[D];西北大學(xué);2008年

2 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

3 崔艷麗;R_0代數(shù)的簡(jiǎn)化以及相對(duì)真度的相關(guān)性質(zhì)研究[D];陜西師范大學(xué);2010年

4 劉保翠;命題邏輯中公式的Γ蘊(yùn)涵真度及相對(duì)Γ-重言度理論[D];陜西師范大學(xué);2008年

5 折延宏;若干經(jīng)典命題邏輯問題的拓?fù)淇坍媅D];陜西師范大學(xué);2007年

6 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍媅D];陜西師范大學(xué);2008年

7 張瓊;BL_△~*形式系統(tǒng)與NM(?)形式系統(tǒng)的研究[D];陜西師范大學(xué);2010年

8 李彩紅;命題邏輯中廣義MP問題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

9 王永安;二值命題邏輯公式在等價(jià)意義下的一般表示及其應(yīng)用[D];陜西師范大學(xué);2008年

10 范欣;幾種邏輯代數(shù)的剩余格刻畫及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學(xué);2011年

,

本文編號(hào):1872900

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/1872900.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶7c41a***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com