本文關鍵詞：Frank三角范數(shù)的三值模糊邏輯系統(tǒng)的真度理論

  更多相關文章： 真度 相似度 偽距離

【摘要】：本文在Frank三角范數(shù)的三值R-蘊涵模糊邏輯系統(tǒng)中,借助邏輯公式A所誘導的函數(shù),建立邏輯公式A的真度概念,得到一些三值R-蘊涵邏輯系統(tǒng)下的真度推理規(guī)則。同時,利用真度定義公式間的相似度和偽距離,給出相似度和偽距離的性質,為Frank三角范數(shù)命題邏輯系統(tǒng)中的近似推理提供了一種理論框架。
【作者單位】： 西安工程大學理學院;
【基金】：國家自然科學基金資助項目(60273087,60775038) 陜西省教育廳專項科研計劃項目(2010JK567)
【分類號】：O141.1
【正文快照】： 邏輯是研究推理的科學,模糊邏輯主要對模糊推理進行研究。自模糊數(shù)學提出后,Zadeh在文獻[1]中首次提出了建立在模糊集理論上的近似推理方法。隨后,20世紀70年代末,捷克學者Pavelka的系列文章[2]將模糊集思想同嚴格的邏輯演算結合起來,它的主要思想是將公式、公理程度化。文獻[

【參考文獻】

中國期刊全文數(shù)據庫 前10條

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

2 李駿;孟新友;李建生;;三值標準序列邏輯中的α-真度理論[J];蘭州理工大學學報;2007年01期

3 林運國;陳曉云;胡山立;陳莉;;多Agent模糊概率信念邏輯[J];廣西師范大學學報(自然科學版);2008年01期

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

5 王國俊,錢桂生,黨創(chuàng)寅;命題演算系統(tǒng)L~*與謂詞演算系統(tǒng)κ~*中統(tǒng)一的近似推理理論[J];中國科學E輯:信息科學;2004年10期

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

7 左衛(wèi)兵;;n值命題邏輯中的P-隨機真度及近似推理[J];計算機工程與應用;2009年07期

8 韓邦合;王國俊;;二值邏輯中命題的條件真度理論[J];模糊系統(tǒng)與數(shù)學;2007年04期

9 惠小靜;劉興祥;;三值G銉del命題邏輯系統(tǒng)的隨機化[J];模糊系統(tǒng)與數(shù)學;2009年04期

10 王國俊,王偉;邏輯度量空間[J];數(shù)學學報;2001年01期

【共引文獻】

中國期刊全文數(shù)據庫 前10條

1 劉保翠;王國俊;;命題集F(S)基于相似關系定義的拓撲[J];安康學院學報;2007年03期

2 劉宏嵐;高慶獅;楊炳儒;;多值邏輯中的命題相關性與邏輯運算研究[J];北京科技大學學報;2007年S2期

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

4 劉東利,茹永梅;經典二值邏輯系統(tǒng)L中的MT問題[J];寶雞文理學院學報(自然科學版);2005年04期

5 杜亞靈;尹貽林;;基于模糊邏輯的公共項目風險分配模型[J];北京理工大學學報(社會科學版);2008年03期

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

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

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

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

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

中國重要會議論文全文數(shù)據庫 前10條

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

2 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 郭秀敏;王國俊;;關于描述邏輯中不動點語義的討論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

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

5 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

6 潘小東;徐揚;;基于Lukasiewicz蘊涵代數(shù)的模糊命題邏輯的語法理論[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

7 胡明娣;于鵬;王國俊;;蘊涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

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

9 潘小東;徐揚;;基于格值命題邏輯的語言真值不確定性推理方法[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

10 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

中國博士學位論文全文數(shù)據庫 前10條

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

2 吳新星;基于語言的軟件可信性度量理論及其應用[D];華東師范大學;2011年

3 馬麗娜;模糊推理方法及知識推理的計量化研究[D];陜西師范大學;2011年

4 胡明娣;邏輯度量空間的內蘊結構的研究[D];陜西師范大學;2011年

5 韓召偉;幾類基于量子邏輯的自動機的代數(shù)及邏輯刻畫[D];陜西師范大學;2011年

6 陳佳林;柔性邏輯的健全性研究與應用[D];北京郵電大學;2011年

7 賴家俊;基于語言真值格值一階邏輯的不確定性推理研究[D];西南交通大學;2011年

8 鄒麗;基于語言真值格蘊涵代數(shù)的格值命題邏輯及其歸結自動推理研究[D];西南交通大學;2010年

9 于海田;民航安全分析與管理研究[D];上海大學;2011年

10 韓邦合;賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D];陜西師范大學;2011年

中國碩士學位論文全文數(shù)據庫 前10條

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大學;2010年

2 黃阿敏;基于蘊涵算子族的模糊邏輯理論[D];浙江理工大學;2010年

3 鹿文慧;基于重心法的Boolean模糊系統(tǒng)及其概率表示理論[D];大連理工大學;2010年

4 袁英敏;基于CRI方法的重心法模糊系統(tǒng)及概率表示[D];大連理工大學;2010年

5 王云濤;基于二Ⅰ算法的模糊系統(tǒng)的構造及其概率表示[D];大連理工大學;2010年

6 劉婷;軟集合理論在模糊邏輯代數(shù)中的應用研究[D];江南大學;2010年

7 李四化;幾種多值邏輯系統(tǒng)重言式關系和L_4中導出函數(shù)問題的研究[D];山東大學;2010年

8 趙力;模糊推理的三Ⅰ算法研究[D];山東大學;2010年

9 吳媛;剩余格的模糊濾子和廣義模糊濾子[D];西北大學;2011年

10 李彩紅;命題邏輯中廣義MP問題的合理解及新型反向三I算法[D];蘭州理工大學;2011年

【二級參考文獻】

中國期刊全文數(shù)據庫 前10條

1 高慶獅;Zadeh模糊集合理論的缺陷及其改進:C*-模糊集合理論[J];北京科技大學學報;2005年05期

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

3 王國俊;惠小靜;;概率邏輯學基本定理的推廣[J];電子學報;2007年07期

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

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

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

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

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

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

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

【相似文獻】

中國期刊全文數(shù)據庫 前10條

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

2 李駿;夏亞峰;蘭倩;;n值標準序列邏輯系統(tǒng)中的近似推理理論[J];蘭州理工大學學報;2006年02期

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

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

5 茹永梅;;兩個特殊邏輯系統(tǒng)G_n和Π_n中的相似度與偽距離[J];浙江工貿職業(yè)技術學院學報;2008年01期

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

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

8 牛廣化;于西昌;;命題邏輯中條件概率真度的相似度及偽距離[J];計算機工程與應用;2010年17期

9 馬盈倉;張美;崔美英;;Frank三角范數(shù)的三值模糊邏輯系統(tǒng)的真度理論[J];廣西師范大學學報(自然科學版);2011年03期

10 于西昌;胡凱;張興芳;;條件概率真度的相似度及偽距離[J];模糊系統(tǒng)與數(shù)學;2009年06期

中國重要會議論文全文數(shù)據庫 前10條

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

2 張虎;郭玉翠;宮尚寶;;移動Ad-hoc網絡中基于第三方觀察機制的信任管理研究[A];第十六屆全國青年通信學術會議論文集（上）[C];2011年

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

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

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

6 劉曉林;郁濱;;基于相似度的遺傳算法模式理論研究[A];全國第19屆計算機技術與應用（CACIS）學術會議論文集（下冊）[C];2008年

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

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

9 麥智毅;楊春玲;;基于結構相似度的H.264幀內預測快速算法[A];通信理論與信號處理新進展——2005年通信理論與信號處理年會論文集[C];2005年

10 李增揚;李兵;何克清;;本體中復雜網絡特性的發(fā)現(xiàn)[A];2006全國復雜網絡學術會議論文集[C];2006年

中國重要報紙全文數(shù)據庫 前10條

1 證券時報記者　 韓如冰;基金投資相似度趨高[N];證券時報;2006年

2 聶磊 曹進 羅國安;中藥指紋圖譜相似度評價方法各有千秋[N];中國醫(yī)藥報;2006年

3 孟祥寧　張亞萌 郭青劍;山寨文化：是一種什么樣的文化[N];中國藝術報;2009年

4 聶磊；曹進；羅國安;中藥指紋圖譜相似度評價方法作用各一[N];中國醫(yī)藥報;2005年

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

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

7 沈陽藥科大學藥學院 孫國祥;中藥指紋圖譜研究新進展[N];中國中醫(yī)藥報;2007年

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

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

10 天相投顧 王聃聃;投資同質化 基金繁榮背后的痛[N];證券時報;2007年

中國博士學位論文全文數(shù)據庫 前10條

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

2 劉磊;概念內涵屬性計算研究[D];上海交通大學;2011年

3 杜方;復雜網絡系統(tǒng)間相似性識別及其應用[D];浙江大學;2010年

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

5 孫平;高科技品牌延伸的評價模型與消費者評價實證研究[D];山東大學;2008年

6 劉曉東;面向無線傳感器網絡數(shù)據傳輸與查詢的節(jié)能算法與理論研究[D];中國海洋大學;2009年

7 張旭秀;盲源分離及其在腦電信號處理中應用的研究[D];大連理工大學;2006年

8 馬群;安宮牛黃丸生產過程質量評價方法研究[D];北京中醫(yī)藥大學;2007年

9 李江源;高分辨SAR干擾機理與高效干擾方法研究[D];電子科技大學;2007年

10 劉建華;粒子群算法的基本理論及其改進研究[D];中南大學;2009年

中國碩士學位論文全文數(shù)據庫 前10條

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

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

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

4 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應用[D];陜西師范大學;2010年

5 崔艷麗;R_0代數(shù)的簡化以及相對真度的相關性質研究[D];陜西師范大學;2010年

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

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

8 閔江;基于語義網的本體相似度算法研究[D];華東交通大學;2011年

9 裴運亮;基于切詞和語義的中文相似度研究與應用[D];電子科技大學;2011年

10 喬善磊;中藥色譜指紋圖譜相似度評價研究[D];第二軍醫(yī)大學;2004年

，

本文編號：1139044