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

【摘要】：基于均勻概率空間的無窮乘積在一類n值命題邏輯系統(tǒng)中定義了公式的真度,并利用真度給出一種改進了的相似度定義,進而導(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è)大學理學院 甘肅工業(yè)大學理學院 甘肅工業(yè)大學土木工程學院
【分類號】：O141.1

【參考文獻】

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

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

【共引文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【二級參考文獻】

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

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

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

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

4 王國俊;一類代數(shù)上的邏輯學(Ⅰ)[J];陜西師范大學學報(自然科學版);1997年01期

【相似文獻】

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

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

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

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

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

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

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

7 高偉;賀昌政;肖進;;基于OCA聚類集成的客戶細分模型研究[J];情報雜志;2011年06期

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

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

10 ;[J];;年期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號：1871699