發(fā)布時間：2020-03-12 09:43

【摘要】：利用賦值集的隨機化方法,在n值命題邏輯中提出了n值邏輯P-測度和公式的P-隨機真度的概念,證明了全體公式的P-隨機真度之集在[0,1]中沒有孤立點;利用P-隨機真度定義了公式間的P-相似度和P-邏輯偽距離,為n值命題邏輯在一般情形下的近似推理理論提供了一種可能的框架。

【參考文獻】

相關期刊論文 前5條

1 左衛(wèi)兵;;一種非均勻概率空間下二值命題邏輯中命題的真度理論[J];河北師范大學學報(自然科學版);2008年01期

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

3 李駿;王國俊;;邏輯系統(tǒng)L_n~*中命題的真度理論[J];中國科學E輯:信息科學;2006年06期

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

5 左衛(wèi)兵;;邏輯系統(tǒng)G_3在非均勻概率空間下命題的真度理論[J];數(shù)學研究;2008年02期

【共引文獻】

相關期刊論文 前10條

1 劉保翠;王國俊;;命題集F(S)基于相似關系定義的拓撲[J];安康學院學報;2007年03期

2 劉宏嵐;高慶獅;楊炳儒;;多值邏輯中的命題相關性與邏輯運算研究[J];北京科技大學學報;2007年S2期

3 蘇忍鎖;蘊涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學院學報(自然科學版);2004年02期

4 劉東利,茹永梅;經(jīng)典二值邏輯系統(tǒng)L中的MT問題[J];寶雞文理學院學報(自然科學版);2005年04期

5 杜亞靈;尹貽林;;基于模糊邏輯的公共項目風險分配模型[J];北京理工大學學報(社會科學版);2008年03期

6 尤飛,馮艷賓,李洪興;模糊蘊涵算子及其構造(Ⅰ)——模糊蘊涵算子及其性質(zhì)[J];北京師范大學學報(自然科學版);2003年05期

7 尤飛,馮艷賓,王加銀,李洪興;模糊蘊涵算子及其構造(Ⅱ)——模糊蘊涵算子的伴隨對及其圈乘算子[J];北京師范大學學報(自然科學版);2004年02期

8 尤飛,楊昔陽,李洪興;模糊蘊涵算子及其構造(Ⅲ)——由三角�；蛴嗳�角模構造的模糊蘊涵算子[J];北京師范大學學報(自然科學版);2004年04期

9 尤飛,李洪興;模糊蘊涵算子及其構造(Ⅳ)——模糊蘊涵算子的對偶算子[J];北京師范大學學報(自然科學版);2004年05期

10 張宇卓,李洪興;基于變權理論的模糊推理前提約化的一類方法[J];北京師范大學學報(自然科學版);2005年02期

相關會議論文 前10條

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

2 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

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

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

5 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

6 潘小東;徐揚;;基于Lukasiewicz蘊涵代數(shù)的模糊命題邏輯的語法理論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

7 胡明娣;于鵬;王國俊;;蘊涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

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

9 潘小東;徐揚;;基于格值命題邏輯的語言真值不確定性推理方法[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

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

相關博士學位論文 前10條

1 樊磊;Domain理論中若干問題的研究[D];首都師范大學;2001年

2 李志偉;偏序集上的蘊涵代數(shù)[D];首都師范大學;2002年

3 趙光峰;格蘊涵代數(shù)與圖的升分解問題的研究[D];西南交通大學;2002年

4 馬駿;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)及其自動推理的研究[D];西南交通大學;2002年

5 斐崢;基于神經(jīng)網(wǎng)絡的自動推理理論及方法的研究[D];西南交通大學;2002年

6 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結原理的自動推理方法的研究[D];西南交通大學;2002年

7 李文江;基于格蘊涵代數(shù)的廣義格值模態(tài)邏輯及其歸結自動推理的研究[D];西南交通大學;2002年

8 李海明;關于格值邏輯及自動推理的研究[D];西南交通大學;2003年

9 沈暉;基于知識管理的企業(yè)集成支撐技術研究[D];清華大學;2003年

10 劉曉紅;關于企業(yè)人力資源評價信息處理系統(tǒng)的研究[D];西南交通大學;2004年

相關碩士學位論文 前10條

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大學;2010年

2 黃阿敏;基于蘊涵算子族的模糊邏輯理論[D];浙江理工大學;2010年

3 鹿文慧;基于重心法的Boolean模糊系統(tǒng)及其概率表示理論[D];大連理工大學;2010年

4 袁英敏;基于CRI方法的重心法模糊系統(tǒng)及概率表示[D];大連理工大學;2010年

5 王云濤;基于二Ⅰ算法的模糊系統(tǒng)的構造及其概率表示[D];大連理工大學;2010年

6 劉婷;軟集合理論在模糊邏輯代數(shù)中的應用研究[D];江南大學;2010年

7 李四化;幾種多值邏輯系統(tǒng)重言式關系和L_4中導出函數(shù)問題的研究[D];山東大學;2010年

8 劉匯洋;若干廣義t-模及相關模糊邏輯系統(tǒng)[D];寧波大學;2010年

9 任芳;互為伴隨的三角模與蘊涵算子及蘊涵算子的逼近問題[D];陜西師范大學;2001年

10 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學;2001年

【二級參考文獻】

相關期刊論文 前10條

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

2 李駿,蘭倩,夏亞峰;標準序列邏輯系統(tǒng)S_3中命題的真度值之集在[0,1]上的分布[J];甘肅工業(yè)大學學報;2003年04期

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

4 王國俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國科學E輯:技術科學;1998年02期

5 王國俊;模糊推理的全蘊涵三I算法[J];中國科學E輯:技術科學;1999年01期

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

7 王國俊,錢桂生,黨創(chuàng)寅;命題演算系統(tǒng)L~*與謂詞演算系統(tǒng)κ~*中統(tǒng)一的近似推理理論[J];中國科學E輯:信息科學;2004年10期

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

9 李駿;王國俊;;邏輯系統(tǒng)L_n~*中命題的真度理論[J];中國科學E輯:信息科學;2006年06期

10 李駿,蘭倩,黎鎖平;Lukasiewicz三值命題邏輯中命題的真度理論[J];模糊系統(tǒng)與數(shù)學;2004年04期

，

本文編號：2586516