【摘要】：首先給出了強左連續(xù)-t模和SMTL命題邏輯系統(tǒng)的定義,證明了左連續(xù)的-t模為強左連續(xù)-t模當且僅當與之伴隨的正則蘊涵算子為強正則蘊涵算子;其次,在基于強正則蘊涵算子的模糊命題邏輯系統(tǒng)中定義了公式的積分真度,給出了積分真度推理規(guī)則;最后,基于公式的積分真度在SMTL命題邏輯系統(tǒng)的全體公式集上引入了一種偽距離,提出了三種近似推理機制,從而使得在SMTL命題邏輯系統(tǒng)的統(tǒng)一框架下展開近似推理成為可能.
[Abstract]:Firstly, the definitions of strongly left continuous-t module and SMTL propositional logic system are given. It is proved that the left continuous-t module is strongly left continuous-t module if and only if the associated regular implication operator is strong regular implication operator. Secondly, the integral truth degree of the formula is defined in the fuzzy propositional logic system based on the strong regular implication operator, and the reasoning rules of the integral truth degree are given. Finally, a pseudo-distance is introduced into the formula set of the SMTL propositional logic system, and three approximate reasoning mechanisms are proposed, which makes it possible to expand the approximate reasoning under the unified framework of SMTL propositional logic system.
【作者單位】： 蘭州理工大學理學院;
【基金】：國家自然科學基金(No.10771129) 蘭州理工大學博士基金
【分類號】：O141.1

【參考文獻】

相關期刊論文 前7條

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

2 李駿;王國俊;;基于支持度理論的廣義MP問題的形式化解[J];電子學報;2008年11期

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

4 ;Theory of truth degrees of formulas in ■ukasiewicz n-valued propositional logic and a limit theorem[J];Science in China(Series F:Information Sciences);2005年06期

5 ;Randomization of classical inference patterns and its application[J];Science in China(Series F:Information Sciences);2007年06期

6 任芳,王國俊;正則蘊涵算子分析性質的研究[J];陜西師范大學學報(自然科學版);2005年03期

7 王國俊;折延宏;;二值命題邏輯中理論的發(fā)散性、相容性及其拓撲刻畫[J];數(shù)學學報;2007年04期

【共引文獻】

相關期刊論文 前10條

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

2 張東曉;李立峰;;二值命題邏輯公式的語構程度化方法[J];電子學報;2008年02期

3 李駿;王國俊;;基于支持度理論的廣義MP問題的形式化解[J];電子學報;2008年11期

4 胡明娣;王國俊;;模糊模態(tài)邏輯中的永真式與準永真式[J];電子學報;2009年11期

5 吳洪博;張瓊;;NML系統(tǒng)的有限強完備性[J];電子學報;2010年06期

6 胡明娣;王國俊;;對稱邏輯公式在經典邏輯度量空間中的分布[J];電子學報;2011年02期

7 胡明娣;王國俊;;經典邏輯度量空間中的模2次范整線性空間結構[J];電子學報;2011年04期

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

9 吳洪博;周建仁;張瓊;;(3n+1)值邏輯系統(tǒng)R_0L中公式的真度性質[J];電子學報;2011年10期

10 左衛(wèi)兵;;Boole語義的程度化方法[J];電子學報;2012年03期

相關會議論文 前1條

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

相關博士學位論文 前6條

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

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

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

4 惠小靜;計量邏輯學及其隨機化研究[D];陜西師范大學;2008年

5 唐益明;（1，2，，2）型異蘊涵泛三I算法及其應用研究[D];合肥工業(yè)大學;2011年

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

相關碩士學位論文 前10條

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

2 鄧富喜;n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性[D];蘭州理工大學;2011年

3 范欣;幾種邏輯代數(shù)的剩余格刻畫及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學;2011年

4 折延宏;若干經典命題邏輯問題的拓撲刻畫[D];陜西師范大學;2007年

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

6 李海霞;邏輯代數(shù)中若干問題的研究[D];陜西師范大學;2008年

7 段景瑤;三種邏輯代數(shù)的等價刻畫和模糊模態(tài)邏輯[D];陜西師范大學;2008年

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

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

10 隋云云;非線性序集邏輯系統(tǒng)中命題的真度理論及近似推理理論[D];山東大學;2009年

【二級參考文獻】

相關期刊論文 前10條

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

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

3 李駿;王國俊;;基于支持度理論的廣義MP問題的形式化解[J];電子學報;2008年11期

4 李璧鏡;王國俊;;正則蘊涵算子所對應的邏輯偽度量空間[J];電子學報;2010年03期

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

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

7 王國俊 ,傅麗 ,宋建社;Theory of truth degrees of propositions in two-valued logic[J];Science in China,Ser.A;2002年09期

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

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

10 ;Theory of truth degrees of formulas in ■ukasiewicz n-valued propositional logic and a limit theorem[J];Science in China(Series F:Information Sciences);2005年06期

【相似文獻】

相關期刊論文 前10條

1 王偉,王國俊;偽度量L~*-Lindenbaum代數(shù)中基本運算的連續(xù)性[J];陜西師范大學學報(自然科學版);2005年02期

2 張星虎;關于經典超拓撲T_(12)[J];太原重型機械學院學報;1985年S1期

3 劉明學;隨機偽度量族空間與隨機拓撲空間[J];西南石油學院學報;1994年02期

4 梁學軍;格上偽度量函數(shù)的分解[J];北京師范大學學報(自然科學版);1995年01期

5 陳慶祺;一致測度的擴張[J];浙江工業(yè)大學學報;1987年01期

6 梁基華;誘導空間的度量化問題[J];數(shù)學進展;1990年04期

7 吳從p

本文編號：2451000