本文關(guān)鍵詞：n值Lukasiewicz命題邏輯系統(tǒng)中公式的隨機(jī)真度及近似推理　出處：《應(yīng)用數(shù)學(xué)學(xué)報》2012年02期 　論文類型：期刊論文

  更多相關(guān)文章： 隨機(jī)真度 隨機(jī)相似度 隨機(jī)邏輯度量空間 近似推理

【摘要】：利用賦值集的隨機(jī)化方法,在n值Lukasiewicz命題邏輯系統(tǒng)中引入公式的隨機(jī)真度,證明了隨機(jī)真度的MP規(guī)則、HS規(guī)則及交推理規(guī)則;同時引入公式間的隨機(jī)相似度和隨機(jī)偽距離,建立了隨機(jī)邏輯度量空間,推導(dǎo)出隨機(jī)相似度的若干性質(zhì),證明了隨機(jī)邏輯度量空間中邏輯運算的連續(xù)性;并在隨機(jī)邏輯度量空間中提出了三種不同類型的近似推理模式,證明了三種近似推理模式的等價性.
[Abstract]:By using the randomizing method of the assignment set , the random truth of the formula is introduced in the n - valued Lukasieverts propositional logic system , the MP rules , the HS rules and the intersection inference rules of the stochastic truth are proved ; meanwhile , the random similarity and the random pseudo - distance between the formulas are introduced , the random logic measurement space is established , and the continuity of the logic operation in the random logic measurement space is deduced , and three approximate reasoning modes of different types are proposed in the random logic measurement space , and the equivalence of the three approximate reasoning modes is proved .

【作者單位】： 鹽城師范學(xué)院數(shù)學(xué)科學(xué)學(xué)院;
【基金】：江蘇省高校自然科學(xué)基礎(chǔ)研究(08KJD110008) 鹽城師范學(xué)院教授博士科研基金(11YSYJB0202)資助項目
【分類號】：O141.1
【正文快照】： 1引言如何將數(shù)值計算的思想融入到數(shù)理邏輯中來，使數(shù)理邏輯的符號化與計算數(shù)學(xué)的數(shù)值計算、近似求解聯(lián)系起來，，使形式化的數(shù)理邏輯具有靈活性并擴(kuò)大其應(yīng)用范圍，這是長期以來許多學(xué)者探討的問題.早在上世紀(jì)五十年代，Rosser與Turquette就提出了用“指派真值”來反映邏輯公式

【參考文獻(xiàn)】

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

1 王國俊;;計量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報;2006年02期

2 王國俊 ,傅麗 ,宋建社;Theory of truth degrees of propositions in two-valued logic[J];Science in China,Ser.A;2002年09期

3 惠小靜;王國俊;;經(jīng)典推理模式的隨機(jī)化研究及其應(yīng)用[J];中國科學(xué)(E輯:信息科學(xué));2007年06期

4 惠小靜;王國俊;;經(jīng)典推理模式的隨機(jī)化研究及其應(yīng)用(Ⅱ)[J];模糊系統(tǒng)與數(shù)學(xué);2008年03期

【共引文獻(xiàn)】

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

1 王廷明;;二值命題邏輯中的蘊涵度量與近似推理[J];重慶師范大學(xué)學(xué)報(自然科學(xué)版);2009年03期

2 亓正坤;王廷明;丁潔玉;;二值命題邏輯中限制邏輯等價關(guān)系及其應(yīng)用[J];東北師大學(xué)報(自然科學(xué)版);2012年02期

3 王廷明;;二值命題邏輯中Г-的蘊涵距離和近似推理[J];德州學(xué)院學(xué)報;2008年06期

4 王廷明;;二值命題邏輯中有限理論的相對偏差及其應(yīng)用[J];德州學(xué)院學(xué)報;2010年02期

5 王國俊;惠小靜;;概率邏輯學(xué)基本定理的推廣[J];電子學(xué)報;2007年07期

6 張東曉;李立峰;;二值命題邏輯公式的語構(gòu)程度化方法[J];電子學(xué)報;2008年02期

7 胡明娣;王國俊;;對稱邏輯公式在經(jīng)典邏輯度量空間中的分布[J];電子學(xué)報;2011年02期

8 羅敏霞;姚寧;;L~*系統(tǒng)中公式的語構(gòu)程度化方法[J];電子學(xué)報;2011年02期

9 胡明娣;王國俊;;經(jīng)典邏輯度量空間中的模2次范整線性空間結(jié)構(gòu)[J];電子學(xué)報;2011年04期

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

相關(guān)會議論文 前5條

1 王廷明;吳偉民;;基于主范式的二值命題邏輯公式的真度[A];第一屆中國智能計算大會論文集[C];2007年

2 郭秀敏;王國俊;;關(guān)于描述邏輯中不動點語義的討論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

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

4 惠小靜;;關(guān)于命題獨立性的一點注記[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

5 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

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

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

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

3 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學(xué);2011年

4 惠小靜;計量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

5 劉學(xué)生;基于粗集的不確定多屬性決策排序法的研究[D];大連理工大學(xué);2009年

6 潘小東;關(guān)于格值邏輯及其語言真值不確定性推理研究[D];西南交通大學(xué);2010年

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

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

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

2 鄧富喜;n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性[D];蘭州理工大學(xué);2011年

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

4 王志明;WBR_0代數(shù)的研究[D];陜西師范大學(xué);2011年

5 程紅梅;幾種邏輯度量空間中的反射變換[D];陜西師范大學(xué);2011年

6 劉杰;正則剩余格上的模糊理想基的研究[D];陜西師范大學(xué);2011年

7 韓邦合;計量邏輯學(xué)中的近似推理與二值邏輯中命題的條件真度理論[D];陜西師范大學(xué);2007年

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

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

10 李建生;n值邏輯系統(tǒng)中命題的絕對真度及其隨機(jī)化理論[D];蘭州理工大學(xué);2008年

【二級參考文獻(xiàn)】

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

1 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報;2006年02期

2 王國俊;;計量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報;2006年02期

3 王國俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國科學(xué)(A輯);2001年11期

4 王國俊;模糊推理的全蘊涵三I算法[J];中國科學(xué)E輯:技術(shù)科學(xué);1999年01期

5 裴道武,王國俊;形式系統(tǒng)鈦~*的完備性及其應(yīng)用[J];中國科學(xué)E輯:技術(shù)科學(xué);2002年01期

6 宋士吉,吳澄;模糊推理的反向三I算法[J];中國科學(xué)E輯:技術(shù)科學(xué);2002年02期

7 裴道武,王國俊;形式系統(tǒng)L~*的擴(kuò)張L_n~*及其完備性[J];中國科學(xué)E輯:技術(shù)科學(xué);2003年04期

8 王國俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國科學(xué)E輯:信息科學(xué);2005年06期

9 惠小靜;王國俊;;經(jīng)典推理模式的隨機(jī)化研究及其應(yīng)用[J];中國科學(xué)(E輯:信息科學(xué));2007年06期

10 王偉,王國俊;論G銉del蘊涵算子不宜用于建立模糊邏輯系統(tǒng)[J];模糊系統(tǒng)與數(shù)學(xué);2005年02期

【相似文獻(xiàn)】

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

1 宋穎;張興芳;;n值命題邏輯中公式的隨機(jī)真度[J];計算機(jī)工程與應(yīng)用;2010年13期

2 惠小靜;常健;;關(guān)于隨機(jī)真度的若干注記[J];模糊系統(tǒng)與數(shù)學(xué);2009年06期

3 惠小靜;劉興祥;;三值G銉del命題邏輯系統(tǒng)的隨機(jī)化[J];模糊系統(tǒng)與數(shù)學(xué);2009年04期

4 惠小靜;;三值R_0命題邏輯系統(tǒng)中理論的隨機(jī)發(fā)散度[J];應(yīng)用數(shù)學(xué)學(xué)報;2010年01期

5 惠小靜;;三值R_0命題邏輯系統(tǒng)的隨機(jī)化[J];應(yīng)用數(shù)學(xué)學(xué)報;2009年01期

6 王慶平;張興芳;;Lukasiewicz三值邏輯系統(tǒng)中的隨機(jī)化研究[J];計算機(jī)科學(xué)與探索;2009年02期

7 左衛(wèi)兵;;三值命題邏輯隨機(jī)化的注記[J];河北師范大學(xué)學(xué)報(自然科學(xué)版);2011年04期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 惠小靜;計量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

本文編號：1369061