本文關(guān)鍵詞：Lukasiewicz三值命題邏輯系統(tǒng)中公式的概率真度理論　出處：《計算機工程與應(yīng)用》2010年06期 　論文類型：期刊論文

  更多相關(guān)文章： 概率測度 概率真度 相似度 偽距離 孤立點

【摘要】：利用勢為3的非均勻概率空間的無窮乘積,在Lukasiewicz三值命題邏輯中引入了公式的概率真度概念,證明了全體公式的概率真度值之集在[0,1]中沒有孤立點;利用概率真度定義了概率相似度和偽距離,進而建立了概率邏輯度量空間,證明了該空間中沒有孤立點,為三值命題的近似推理理論提供了一種可能的框架。
[Abstract]:Using the infinite product of 3 non uniform probability space, in the Lukasiewicz three value concept of probability truth degree formula introduced in propositional logic, proves that all probability formula truth value set has no isolated point in [0,1]; the definition of probability truth degree of probability similarity degree and pseudo distance, and then established the probability logical metric space, prove that this space has no isolated point, provides a possible framework for approximate reasoning theory three value proposition.

【作者單位】： 河南師范大學數(shù)學與信息科學學院;
【分類號】：O141.1
【正文快照】： 1引言關(guān)于區(qū)分公式可靠程度的思想早在1952年就由Rosser與Turquette提出[1],此后又有眾多學者從不同的角度提出了公式的程度化真確度的方法。21世紀初,王國俊教授首先在經(jīng)典二值命題邏中引入了公式的真度概念,隨后又提出計量邏輯學,建立了一套近似推理理論模式。有關(guān)這方面的

【參考文獻】

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

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

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

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

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

5 ;Theory of truth degrees of propositions in the logic system L_n~*[J];Science in China(Series F:Information Sciences);2006年04期

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

7 王國俊,王偉;邏輯度量空間[J];數(shù)學學報;2001年01期

8 李駿,黎鎖平,夏亞峰;Lukasiewicz n值命題邏輯中命題的真度理論[J];數(shù)學學報;2004年04期

9 左衛(wèi)兵;;Lukasiewicz三值命題邏輯在非均勻概率空間下命題的真度理論[J];鄭州輕工業(yè)學院學報(自然科學版);2008年01期

【共引文獻】

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

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

2 龔加安;吳洪博;;BR_0代數(shù)的模糊濾子與模糊素濾子[J];安康學院學報;2009年06期

3 段景瑤;王國俊;;Boole代數(shù)的等價刻畫[J];寶雞文理學院學報(自然科學版);2007年03期

4 吳洪博;L~*系統(tǒng)的一種改進系統(tǒng)L_0~*[J];純粹數(shù)學與應(yīng)用數(shù)學;2001年01期

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

6 闞婷;張興芳;馬成芬;;帶參數(shù)的L_p系統(tǒng)中的邏輯度量結(jié)構(gòu)[J];燕山大學學報;2009年04期

7 張小紅;祝峰;;Rough邏輯系統(tǒng)RSL與模糊邏輯系統(tǒng)Luk[J];電子科技大學學報;2011年02期

8 盧延鑫;;謂詞邏輯在關(guān)系數(shù)據(jù)庫中的應(yīng)用[J];電腦知識與技術(shù)(學術(shù)交流);2007年17期

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

10 袁彥莉;張興芳;;G_n命題邏輯系統(tǒng)中絕對真度的理論研究[J];德州學院學報;2009年04期

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

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年

6 ;Graded Reasoning about Knowledge[A];Proceedings of 2007 International Symposium on Distributed Computing and Applications to Business, Engineering and Science(Volume Ⅰ)[C];2007年

相關(guān)博士學位論文 前10條

1 韓誠;R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學;2006年

2 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構(gòu)演化研究[D];國防科學技術(shù)大學;2006年

3 賴洪亮;Ω-范疇序結(jié)構(gòu)性質(zhì)的研究[D];四川大學;2007年

4 俞峰;基于直覺區(qū)間值模糊理論的近似推理與多屬性決策研究[D];南京理工大學;2008年

5 吳茂念;基于分離的信念更新研究[D];貴州大學;2008年

6 惠小靜;計量邏輯學及其隨機化研究[D];陜西師范大學;2008年

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

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

9 路強;面向功能的可視化創(chuàng)新概念設(shè)計方法研究[D];合肥工業(yè)大學;2010年

10 吳新星;基于語言的軟件可信性度量理論及其應(yīng)用[D];華東師范大學;2011年

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

1 許筱婷;基于本體論的知識表達[D];湘潭大學;2010年

2 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學;2002年

3 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學;2003年

4 任燕;命題集的相容性、根及發(fā)散性[D];陜西師范大學;2004年

5 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學;2004年

6 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學;2005年

7 張東曉;邏輯公式的語構(gòu)真度和構(gòu)造性三I算法[D];陜西師范大學;2006年

8 李璧鏡;Lukasiweicz邏輯系統(tǒng)中公式的真度理論和邏輯度量空間[D];陜西師范大學;2006年

9 茹永梅;經(jīng)典邏輯系統(tǒng)（？）中的MT問題及公式的真度理論[D];陜西師范大學;2006年

10 曹汝鳴;不完全信息數(shù)據(jù)庫的理論研究[D];南京航空航天大學;2006年

【二級參考文獻】

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

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

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

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

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

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

6 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國科學E輯:技術(shù)科學;2002年02期

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

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

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

10 吳望名;參數(shù)Kleene系統(tǒng)中的廣義重言式[J];模糊系統(tǒng)與數(shù)學;2000年01期

【相似文獻】

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

1 關(guān)曉紅;劉曉;;Lukasiewicz三值命題邏輯系統(tǒng)中公式的概率真度理論[J];計算機工程與應(yīng)用;2010年06期

2 于西昌;胡凱;張興芳;;命題邏輯中概率真度的相似度及偽距離[J];系統(tǒng)科學與數(shù)學;2009年12期

3 于西昌;陳懷進;譚桂梅;;公式概率真度的相似度及偽距離[J];計算機工程與應(yīng)用;2010年27期

4 關(guān)曉紅;李駿;;標準序列邏輯系統(tǒng)S_3中公式的概率真度理論[J];模糊系統(tǒng)與數(shù)學;2009年06期

5 譚桂梅;于西昌;;G銉del命題邏輯中公式概率真度的相似度及偽距離[J];計算機工程與應(yīng)用;2010年20期

6 高榮榮;郭秀敏;王國俊;;n值Lukasiewicz邏輯中命題的條件真度理論[J];延安大學學報(自然科學版);2009年01期

7 李駿,蘭倩,黎鎖平,王柏巖;標準序列邏輯系統(tǒng)S_3中的相似度及偽距離[J];蘭州理工大學學報;2004年05期

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

9 張美;馬盈倉;;Frank三角范數(shù)的一類模糊邏輯系統(tǒng)的真度理論[J];計算機工程與應(yīng)用;2011年02期

10 劉艷,鄭慕聰;Lukasiewicz多值邏輯系統(tǒng)中的相似度及偽距離[J];西安科技大學學報;2005年02期

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

1 李嬈嬈;雷沛霖;黃蘭嵐;原思通;劉營;;芫花藥材高效液相指紋圖譜研究[A];中華中醫(yī)藥學會四大懷藥與地道藥材研究論壇暨中藥炮制分會第二屆第五次學術(shù)會與第三屆會員代表大會論文集[C];2007年

2 張虎;郭玉翠;宮尚寶;;移動Ad-hoc網(wǎng)絡(luò)中基于第三方觀察機制的信任管理研究[A];第十六屆全國青年通信學術(shù)會議論文集（上）[C];2011年

3 王志松;;決策樹中數(shù)據(jù)遺失值填充方法的研究[A];2001年中國智能自動化會議論文集（下冊）[C];2001年

4 湯麗華;趙吳靜;金菊良;張明;;基于熵的水質(zhì)綜合評價的相似插值模型[A];第八屆中國管理科學學術(shù)年會論文集[C];2006年

5 王娟;;一種基于粗糙集理論的操作風險判別方法[A];科學發(fā)展觀與系統(tǒng)工程——中國系統(tǒng)工程學會第十四屆學術(shù)年會論文集[C];2006年

6 劉曉林;郁濱;;基于相似度的遺傳算法模式理論研究[A];全國第19屆計算機技術(shù)與應(yīng)用（CACIS）學術(shù)會議論文集（下冊）[C];2008年

7 金保華;高湘飛;柳雪環(huán);張磊;;基于XML框架與CBR智能預(yù)案管理的研究[A];2009年中國智能自動化會議論文集（第二分冊）[C];2009年

8 王超;許方;;一種基于奇異值分解的印刷體數(shù)字識別算法[A];圖像圖形技術(shù)與應(yīng)用進展——第三屆圖像圖形技術(shù)與應(yīng)用學術(shù)會議論文集[C];2008年

9 麥智毅;楊春玲;;基于結(jié)構(gòu)相似度的H.264幀內(nèi)預(yù)測快速算法[A];通信理論與信號處理新進展——2005年通信理論與信號處理年會論文集[C];2005年

10 李增揚;李兵;何克清;;本體中復雜網(wǎng)絡(luò)特性的發(fā)現(xiàn)[A];2006全國復雜網(wǎng)絡(luò)學術(shù)會議論文集[C];2006年

相關(guān)重要報紙文章 前10條

1 證券時報記者　 韓如冰;基金投資相似度趨高[N];證券時報;2006年

2 聶磊 曹進 羅國安;中藥指紋圖譜相似度評價方法各有千秋[N];中國醫(yī)藥報;2006年

3 孟祥寧　張亞萌 郭青劍;山寨文化：是一種什么樣的文化[N];中國藝術(shù)報;2009年

4 聶磊；曹進；羅國安;中藥指紋圖譜相似度評價方法作用各一[N];中國醫(yī)藥報;2005年

5 海潮;俄研究發(fā)現(xiàn)妊娠中毒癥疑與夫婦HLA基因相似度有關(guān)[N];中國醫(yī)藥報;2007年

6 欒海;妊娠中毒癥可能與夫婦 HLA基因相似度有關(guān)[N];醫(yī)藥經(jīng)濟報;2007年

7 沈陽藥科大學藥學院 孫國祥;中藥指紋圖譜研究新進展[N];中國中醫(yī)藥報;2007年

8 記者 李學梅;研究證實：父親“偏愛”與自己相像的孩子[N];新華每日電訊;2009年

9 小新;妊娠中毒癥與夫婦HLA基因相似度有關(guān)[N];中國醫(yī)藥報;2007年

10 天相投顧 王聃聃;投資同質(zhì)化 基金繁榮背后的痛[N];證券時報;2007年

相關(guān)博士學位論文 前10條

1 顧本柏;客體相似性表征的認知和發(fā)展機制研究[D];西南大學;2011年

2 劉磊;概念內(nèi)涵屬性計算研究[D];上海交通大學;2011年

3 杜方;復雜網(wǎng)絡(luò)系統(tǒng)間相似性識別及其應(yīng)用[D];浙江大學;2010年

4 游揚聲;一般分布模式下GIS位置數(shù)據(jù)的不確定性研究[D];武漢大學;2005年

5 孫平;高科技品牌延伸的評價模型與消費者評價實證研究[D];山東大學;2008年

6 張旭秀;盲源分離及其在腦電信號處理中應(yīng)用的研究[D];大連理工大學;2006年

7 劉曉東;面向無線傳感器網(wǎng)絡(luò)數(shù)據(jù)傳輸與查詢的節(jié)能算法與理論研究[D];中國海洋大學;2009年

8 劉建華;粒子群算法的基本理論及其改進研究[D];中南大學;2009年

9 馬群;安宮牛黃丸生產(chǎn)過程質(zhì)量評價方法研究[D];北京中醫(yī)藥大學;2007年

10 李江源;高分辨SAR干擾機理與高效干擾方法研究[D];電子科技大學;2007年

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

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

2 茹永梅;經(jīng)典邏輯系統(tǒng)（？）中的MT問題及公式的真度理論[D];陜西師范大學;2006年

3 石安磊;基于文本相似度評分的中醫(yī)案例分析系統(tǒng)研究與實現(xiàn)[D];西北大學;2011年

4 閔江;基于語義網(wǎng)的本體相似度算法研究[D];華東交通大學;2011年

5 裴運亮;基于切詞和語義的中文相似度研究與應(yīng)用[D];電子科技大學;2011年

6 喬善磊;中藥色譜指紋圖譜相似度評價研究[D];第二軍醫(yī)大學;2004年

7 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學;2002年

8 毛治佳;基于屬性相似度的報警關(guān)聯(lián)系統(tǒng)的研究與實現(xiàn)[D];西安電子科技大學;2011年

9 吳波;改進的編輯距離算法的研究及其在電子政務(wù)中的應(yīng)用[D];電子科技大學;2011年

10 毛丹;青少年兒童對中國和美國國民及國家的社會表征[D];華中師范大學;2005年

，

本文編號：1419753