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

【參考文獻(xiàn)】

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

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

8 ;[J];;年期

9 ;[J];;年期

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

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

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

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

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

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

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

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

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

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

3 林琳;直覺(jué)模糊集在近似推理與決策中的應(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 魯成國(guó);模糊數(shù)的比較與排序及其在多屬性決策中的應(yīng)用[D];廣西大學(xué);2006年

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

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

6 茹永梅;經(jīng)典邏輯系統(tǒng)（？）中的MT問(wèn)題及公式的真度理論[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年

本文編號(hào)：2536298