【摘要】：基于某信息限制下若A則B的推理思想,以真度為基礎,在二值命題邏輯系統中引入有限信息限制下的公式蘊涵度概念,由此定義了信息限制蘊涵度量,并通過信息限制蘊涵度量的真度表示式,給出一系列與有限理論結論集相關的限制蘊涵度量不等式,對二值命題邏輯中基于信息限制蘊涵度量的近似推理問題進行討論。
[Abstract]:Based on the reasoning idea of a certain information restricted by A then B, and on the basis of truth degree, the concept of formula implication degree under finite information restriction is introduced in the binary propositional logic system, and the information restricted implication metric is defined. Based on the truth representation of information restricted implication metric, a series of restricted implication metric inequalities related to the conclusion set of finite theory are given, and the approximate reasoning problem based on information restricted implication metric in binary propositional logic is discussed.
【作者單位】： 青島大學師范學院;
【分類號】：O141.1

【參考文獻】

相關期刊論文 前2條

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

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

【共引文獻】

相關期刊論文 前10條

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

2 裴道武;關于模糊邏輯與模糊推理邏輯基礎問題的十年研究綜述[J];工程數學學報;2004年02期

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

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

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

6 頡永建;廣義R_0-代數中的濾子[J];漢中師范學院學報;2004年06期

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

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

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

10 惠小靜;王國俊;;經典推理模式的隨機化研究及其應用[J];中國科學(E輯:信息科學);2007年06期

相關博士學位論文 前3條

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

2 郝清賦;邏輯系統動態(tài)結構演化研究[D];國防科學技術大學;2006年

3 賴洪亮;Ω-范疇序結構性質的研究[D];四川大學;2007年

相關碩士學位論文 前10條

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

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

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

4 馬曉玨;IMTL邏輯系統及IMTL-代數[D];陜西師范大學;2004年

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

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

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

8 曹汝鳴;不完全信息數據庫的理論研究[D];南京航空航天大學;2006年

9 關曉紅;多值邏輯系統H_α與偏蘊涵代數[D];陜西師范大學;2007年

10 韓邦合;計量邏輯學中的近似推理與二值邏輯中命題的條件真度理論[D];陜西師范大學;2007年

【二級參考文獻】

相關期刊論文 前10條

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

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

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

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

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

6 裴道武,王國俊;形式系統鈦~*的完備性及其應用[J];中國科學E輯;2002年01期

7 裴道武,王國俊;形式系統L~*的擴張L_n~*及其完備性[J];中國科學E輯;2003年04期

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

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

10 裴道武;形式演繹系統L~*中的懔運算與演繹定理[J];模糊系統與數學;2001年01期

【相似文獻】

相關期刊論文 前10條

1 左衛(wèi)兵;張嘎;;一種五元格值邏輯上命題真度的分布[J];計算機工程與應用;2011年22期

2 張鳳姣;張興芳;;G銉del邏輯系統中公式真度判斷方法[J];聊城大學學報(自然科學版);2011年01期

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

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

5 丁春曉;張興芳;;模糊邏輯系統公理真度分析[J];模糊系統與數學;2011年03期

6 張樂;裴道武;王三民;;系統餿_n~*的邏輯性質及其應用[J];高校應用數學學報A輯;2011年02期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關會議論文 前7條

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

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

3 王國俊;;數理邏輯中的數值化方法(英文)[A];第12屆全國模糊系統與模糊數學學術年會論文集[C];2004年

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

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

6 黃益廣;劉正林;;證據分析在企業(yè)診斷中的應用[A];2001年中國管理科學學術會議論文集[C];2001年

7 任燕;王洪麗;魯忠良;;模糊邏輯的緊致性與模糊理論相容度[A];中國運籌學會模糊信息與模糊工程分會第五屆學術年會論文集[C];2010年

相關博士學位論文 前4條

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

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

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

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

相關碩士學位論文 前10條

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

2 李海亞;n值SMTL系統中命題的∑-（[α，β]-真度）理論[D];蘭州理工大學;2012年

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

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

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

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

7 高菲菲;多值命題邏輯中若干邏輯理論的拓撲刻畫[D];陜西師范大學;2008年

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

9 張瓊;BL_△~*形式系統與NM（?）形式系統的研究[D];陜西師范大學;2010年

10 張樂;MTL-代數上的度量化研究[D];浙江理工大學;2012年

，

本文編號：2311717