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

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

【摘要】：利用勢(shì)為3的非均勻概率空間的無(wú)窮乘積,在Lukasiewicz三值命題邏輯中引入了公式的概率真度概念,證明了全體公式的概率真度值之集在[0,1]中沒(méi)有孤立點(diǎn);利用概率真度定義了概率相似度和偽距離,進(jìn)而建立了概率邏輯度量空間,證明了該空間中沒(méi)有孤立點(diǎn),為三值命題的近似推理理論提供了一種可能的框架。
[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.

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

【參考文獻(xiàn)】

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

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

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

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

4 惠小靜;王國(guó)俊;;經(jīng)典推理模式的隨機(jī)化研究及其應(yīng)用[J];中國(guó)科學(xué)(E輯:信息科學(xué));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ù)學(xué);2004年04期

7 王國(guó)俊,王偉;邏輯度量空間[J];數(shù)學(xué)學(xué)報(bào);2001年01期

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

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

【共引文獻(xiàn)】

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

1 劉保翠;王國(guó)俊;;命題集F(S)基于相似關(guān)系定義的拓?fù)鋄J];安康學(xué)院學(xué)報(bào);2007年03期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國(guó)不確定系統(tǒng)年會(huì)論文集[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)博士學(xué)位論文 前10條

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

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

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

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

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

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

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

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

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

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

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

1 許筱婷;基于本體論的知識(shí)表達(dá)[D];湘潭大學(xué);2010年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 證券時(shí)報(bào)記者　 韓如冰;基金投資相似度趨高[N];證券時(shí)報(bào);2006年

2 聶磊 曹進(jìn) 羅國(guó)安;中藥指紋圖譜相似度評(píng)價(jià)方法各有千秋[N];中國(guó)醫(yī)藥報(bào);2006年

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

4 聶磊；曹進(jìn)；羅國(guó)安;中藥指紋圖譜相似度評(píng)價(jià)方法作用各一[N];中國(guó)醫(yī)藥報(bào);2005年

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

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

7 沈陽(yáng)藥科大學(xué)藥學(xué)院 孫國(guó)祥;中藥指紋圖譜研究新進(jìn)展[N];中國(guó)中醫(yī)藥報(bào);2007年

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

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

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

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

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

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

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

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

5 孫平;高科技品牌延伸的評(píng)價(jià)模型與消費(fèi)者評(píng)價(jià)實(shí)證研究[D];山東大學(xué);2008年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10 毛丹;青少年兒童對(duì)中國(guó)和美國(guó)國(guó)民及國(guó)家的社會(huì)表征[D];華中師范大學(xué);2005年

，

本文編號(hào)：1419753