本文選題：真度 + 相似度��； 參考：《甘肅工業(yè)大學(xué)學(xué)報(bào)》2003年02期

【摘要】：基于均勻概率空間的無(wú)窮乘積在一類(lèi)n值命題邏輯系統(tǒng)中定義了公式的真度,并利用真度給出一種改進(jìn)了的相似度定義,進(jìn)而導(dǎo)出全體公式集F(S)上的一種偽距離,最后討論了相似度及偽距離的重要性質(zhì).
[Abstract]:Based on the infinite product of uniform probabilistic space, the true degree of formula is defined in a class of n-valued propositional logic system, and an improved definition of similarity degree is given by using truth degree, and a pseudo-distance on the set of all formulas is derived. Finally, the important properties of similarity and pseudo distance are discussed.
【作者單位】： 甘肅工業(yè)大學(xué)理學(xué)院 甘肅工業(yè)大學(xué)理學(xué)院 甘肅工業(yè)大學(xué)土木工程學(xué)院
【分類(lèi)號(hào)】：O141.1

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

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

2 尤飛,馮艷賓,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅰ)——模糊蘊(yùn)涵算子及其性質(zhì)[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年05期

3 尤飛,馮艷賓,王加銀,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅱ)——模糊蘊(yùn)涵算子的伴隨對(duì)及其圈乘算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年02期

4 尤飛,楊昔陽(yáng),李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅲ)——由三角�；蛴嗳悄�(gòu)造的模糊蘊(yùn)涵算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期

5 尤飛,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅳ)——模糊蘊(yùn)涵算子的對(duì)偶算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年05期

6 張宇卓,李洪興;基于變權(quán)理論的模糊推理前提約化的一類(lèi)方法[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期

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

8 吳恒洋,韓誠(chéng);非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

9 裴道武,姜慧;一個(gè)新的模糊謂詞演算形式系統(tǒng)[J];東北師大學(xué)報(bào)(自然科學(xué)版);2003年01期

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

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

1 樊磊;Domain理論中若干問(wèn)題的研究[D];首都師范大學(xué);2001年

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

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

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

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

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

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

8 李海明;關(guān)于格值邏輯及自動(dòng)推理的研究[D];西南交通大學(xué);2003年

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

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

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

1 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問(wèn)題[D];陜西師范大學(xué);2001年

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

3 袁和軍;模糊推理的形式化理論[D];陜西師范大學(xué);2002年

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

5 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

6 王龍春;L～*系統(tǒng)中的一類(lèi)廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

7 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

8 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學(xué);2003年

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

10 賈國(guó)恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

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

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

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

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

3 王國(guó)俊;廣義MP規(guī)則[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年03期

4 王國(guó)俊;一類(lèi)代數(shù)上的邏輯學(xué)(Ⅰ)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年01期

【相似文獻(xiàn)】

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

1 鄭高;肖建;蔣強(qiáng);王夢(mèng)玲;;普通二型模糊相似度與包含度及其關(guān)系[J];華中科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年08期

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

3 滕兆明;王紅;張華青;馬曉慧;;多維社會(huì)網(wǎng)絡(luò)中鏈路預(yù)測(cè)方法研究[J];計(jì)算機(jī)應(yīng)用與軟件;2011年09期

4 陳一飛;唐祥忠;郭彥利;;基于改進(jìn)模糊聚類(lèi)算法的工程限額設(shè)計(jì)模型[J];廣東海洋大學(xué)學(xué)報(bào);2011年03期

5 王振朝;趙宇茜;趙晨;;在重構(gòu)相空間選取樣本的時(shí)間序列分形預(yù)測(cè)[J];計(jì)算機(jī)工程與應(yīng)用;2011年21期

6 易明;毛進(jìn);鄧衛(wèi)華;;基于社會(huì)化標(biāo)簽網(wǎng)絡(luò)的細(xì)粒度用戶興趣建模[J];現(xiàn)代圖書(shū)情報(bào)技術(shù);2011年04期

7 高偉;賀昌政;肖進(jìn);;基于OCA聚類(lèi)集成的客戶細(xì)分模型研究[J];情報(bào)雜志;2011年06期

8 王廷明;;有限理論結(jié)論基于根的余式和結(jié)論集的表示[J];青島大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年02期

9 彭小智;馬凌;周美立;;隨機(jī)系統(tǒng)的相似性及其度量[J];四川理工學(xué)院學(xué)報(bào)(自然科學(xué)版);2011年03期

10 ;[J];;年期

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

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

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

3 王新生;吳雷;潘曉;;基于粗集的CBR方法在企業(yè)信用評(píng)估中的應(yīng)用研究[A];2006年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

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

5 連華娟;李曉奇;;σ-運(yùn)算下的模糊度，，貼近度和包含度的關(guān)系[A];第五屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2007年

6 遲國(guó)泰;閆達(dá)文;程硯秋;;基于改進(jìn)群組G1賦權(quán)的生態(tài)評(píng)價(jià)模型及14個(gè)典型省的實(shí)證研究[A];第三屆（2008）中國(guó)管理學(xué)年會(huì)論文集[C];2008年

7 張崇武;何瓊璋;;一種新的直接聚類(lèi)法及其若干注記[A];模糊數(shù)學(xué)和系統(tǒng)成果會(huì)論文集[C];1991年

8 梁雪春;龔艷冰;孫亮;;基于直覺(jué)模糊集的物流配送中心選址決策[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

9 劉井蓮;周軍;;一種基于模糊集理論的粗糙規(guī)則提取方法[A];數(shù)學(xué)·力學(xué)·物理學(xué)·高新技術(shù)研究進(jìn)展——2006（11）卷——中國(guó)數(shù)學(xué)力學(xué)物理學(xué)高新技術(shù)交叉研究會(huì)第11屆學(xué)術(shù)研討會(huì)論文集[C];2006年

10 王斌;謝慶生;;基于實(shí)例推理的企業(yè)動(dòng)態(tài)聯(lián)盟伙伴選擇與優(yōu)化模型[A];全國(guó)先進(jìn)制造技術(shù)高層論壇暨制造業(yè)自動(dòng)化、信息化技術(shù)研討會(huì)論文集[C];2005年

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

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

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

3 楊樹(shù)忠;復(fù)雜網(wǎng)絡(luò)中的社團(tuán)檢測(cè)問(wèn)題研究[D];北京交通大學(xué);2009年

4 林琳;直覺(jué)模糊集在近似推理與決策中的應(yīng)用[D];大連理工大學(xué);2006年

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

6 覃桂敏;復(fù)雜網(wǎng)絡(luò)模式挖掘算法研究[D];西安電子科技大學(xué);2012年

7 何映思;模糊推理方法及模糊邏輯形式系統(tǒng)研究[D];西南大學(xué);2011年

8 趙建邦;基于代謝網(wǎng)絡(luò)的功能模式發(fā)現(xiàn)及系統(tǒng)發(fā)生分析研究[D];西安電子科技大學(xué);2011年

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

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

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

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

4 周麗莉;兩種模糊命題邏輯的公式的概率真度[D];遼寧師范大學(xué);2007年

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

6 李海軍;基于相似度的加權(quán)模糊推理方法[D];河北大學(xué);2006年

7 李斯;基于FCA的重疊社區(qū)發(fā)現(xiàn)[D];蘇州大學(xué);2012年

8 賴雅;基于圖分割的大規(guī)模本體分塊與映射研究[D];中南大學(xué);2011年

9 魯成國(guó);模糊數(shù)的比較與排序及其在多屬性決策中的應(yīng)用[D];廣西大學(xué);2006年

10 謝亮;基于區(qū)間值模糊集合的分類(lèi)算法研究[D];燕山大學(xué);2009年

本文編號(hào)：1871699