發(fā)布時(shí)間：2018-11-05 10:00

【摘要】：基于某信息限制下若A則B的推理思想,以真度為基礎(chǔ),在二值命題邏輯系統(tǒng)中引入有限信息限制下的公式蘊(yùn)涵度概念,由此定義了信息限制蘊(yùn)涵度量,并通過信息限制蘊(yùn)涵度量的真度表示式,給出一系列與有限理論結(jié)論集相關(guān)的限制蘊(yùn)涵度量不等式,對(duì)二值命題邏輯中基于信息限制蘊(yùn)涵度量的近似推理問題進(jìn)行討論。
[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.
【作者單位】： 青島大學(xué)師范學(xué)院;
【分類號(hào)】：O141.1

【參考文獻(xiàn)】

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10 韓邦合;計(jì)量邏輯學(xué)中的近似推理與二值邏輯中命題的條件真度理論[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 裴道武,王國(guó)俊;形式系統(tǒng)鈦~*的完備性及其應(yīng)用[J];中國(guó)科學(xué)E輯;2002年01期

7 裴道武,王國(guó)俊;形式系統(tǒng)L~*的擴(kuò)張L_n~*及其完備性[J];中國(guó)科學(xué)E輯;2003年04期

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

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

10 裴道武;形式演繹系統(tǒng)L~*中的懔運(yùn)算與演繹定理[J];模糊系統(tǒng)與數(shù)學(xué);2001年01期

【相似文獻(xiàn)】

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

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

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

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

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

5 丁春曉;張興芳;;模糊邏輯系統(tǒng)公理真度分析[J];模糊系統(tǒng)與數(shù)學(xué);2011年03期

6 張樂;裴道武;王三民;;系統(tǒng)餿_n~*的邏輯性質(zhì)及其應(yīng)用[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯;2011年02期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

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

3 王國(guó)俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

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

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

6 黃益廣;劉正林;;證據(jù)分析在企業(yè)診斷中的應(yīng)用[A];2001年中國(guó)管理科學(xué)學(xué)術(shù)會(huì)議論文集[C];2001年

7 任燕;王洪麗;魯忠良;;模糊邏輯的緊致性與模糊理論相容度[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

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

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

2 馬麗娜;模糊推理方法及知識(shí)推理的計(jì)量化研究[D];陜西師范大學(xué);2011年

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

4 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

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

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

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

3 崔艷麗;R_0代數(shù)的簡(jiǎn)化以及相對(duì)真度的相關(guān)性質(zhì)研究[D];陜西師范大學(xué);2010年

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

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

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

7 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍媅D];陜西師范大學(xué);2008年

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

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

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

，

本文編號(hào)：2311717