發(fā)布時間：2019-09-16 16:15

【摘要】：在n值Lukasiewicz命題邏輯系統(tǒng)中引入了公式集F(S)上真度函數(shù)的公理化定義,給出了真度函數(shù)的若干重要性質(zhì),利用真度函數(shù)從形式上定義了相似度和偽距離,建立了邏輯度量空間,為從語構(gòu)的角度展開近似推理提供了一種可能的框架。
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;第四軍醫(yī)大學(xué)生物醫(yī)學(xué)工程系;
【基金】：國家自然科學(xué)基金(No.10771129)~~
【分類號】：O141.1

【參考文獻(xiàn)】

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

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

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

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

4 王國俊,秦曉燕,周湘南;一類二值謂詞邏輯中公式的準(zhǔn)真度理論[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);2005年01期

【共引文獻(xiàn)】

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

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

2 張紅杰;吳洪博;;L_n命題演算中的一種新程度化方法[J];紡織高�；A(chǔ)科學(xué)學(xué)報;2007年03期

3 王國俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學(xué)學(xué)報;2003年03期

4 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報;2004年02期

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

6 李駿,黎鎖平,蘭倩;一類n值命題邏輯系統(tǒng)中改進(jìn)的相似度及偽距離[J];甘肅工業(yè)大學(xué)學(xué)報;2003年02期

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

8 頡永建;廣義R_0-代數(shù)中的濾子[J];漢中師范學(xué)院學(xué)報;2004年06期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10 關(guān)曉紅;多值邏輯系統(tǒng)H_α與偏蘊(yùn)涵代數(shù)[D];陜西師范大學(xué);2007年

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

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

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

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

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

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

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

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

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

10 芮秀;蘇園;;證券市場趨勢自組織分類預(yù)測分析[A];1999中國控制與決策學(xué)術(shù)年會論文集[C];1999年

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

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

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

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

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

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

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

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

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

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

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

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

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

7 王維瓊;模糊信息度量的拓展及應(yīng)用[D];西北大學(xué);2005年

8 孟丹;基于事例推理的檢索與推理模型研究[D];遼寧師范大學(xué);2001年

9 孫宇奇;基于復(fù)雜網(wǎng)絡(luò)的社團(tuán)發(fā)現(xiàn)研究[D];遼寧師范大學(xué);2011年

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

本文編號：2536298