命题逻辑系统SMTL中公式的积分真度理论

发布时间：2019-03-31 14:32

【摘要】：首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.
[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命题逻辑系统中公式真度的统一理论[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 王国俊;折延宏;;二值命题逻辑中理论的发散性、相容性及其拓扑刻画[J];数学学报;2007年04期

【共引文献】

相关期刊论文 前10条

1 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

2 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期

3 李骏;王国俊;;基于支持度理论的广义MP问题的形式化解[J];电子学报;2008年11期

4 胡明娣;王国俊;;模糊模态逻辑中的永真式与准永真式[J];电子学报;2009年11期

5 吴洪博;张琼;;NML系统的有限强完备性[J];电子学报;2010年06期

6 胡明娣;王国俊;;对称逻辑公式在经典逻辑度量空间中的分布[J];电子学报;2011年02期

7 胡明娣;王国俊;;经典逻辑度量空间中的模2次范整线性空间结构[J];电子学报;2011年04期

8 李骏;邓富喜;;n值S-MTL命题逻辑系统中公式真度的统一理论[J];电子学报;2011年08期

9 吴洪博;周建仁;张琼;;(3n+1)值逻辑系统R_0L中公式的真度性质[J];电子学报;2011年10期

10 左卫兵;;Boole语义的程度化方法[J];电子学报;2012年03期

相关会议论文 前1条

1 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

相关博士学位论文 前6条

1 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

3 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年

4 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

5 唐益明;（1，2，，2）型异蕴涵泛三I算法及其应用研究[D];合肥工业大学;2011年

6 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

相关硕士学位论文 前10条

1 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

2 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

3 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

4 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

5 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

6 李海霞;逻辑代数中若干问题的研究[D];陕西师范大学;2008年

7 段景瑶;三种逻辑代数的等价刻画和模糊模态逻辑[D];陕西师范大学;2008年

8 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

9 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

10 隋云云;非线性序集逻辑系统中命题的真度理论及近似推理理论[D];山东大学;2009年

【二级参考文献】

相关期刊论文 前10条

1 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

2 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

3 李骏;王国俊;;基于支持度理论的广义MP问题的形式化解[J];电子学报;2008年11期

4 李璧镜;王国俊;;正则蕴涵算子所对应的逻辑伪度量空间[J];电子学报;2010年03期

5 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

6 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[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 李骏;王国俊;;逻辑系统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代数中基本运算的连续性[J];陕西师范大学学报(自然科学版);2005年02期

2 张星虎;关于经典超拓扑T_(12)[J];太原重型机械学院学报;1985年S1期

3 刘明学;随机伪度量族空间与随机拓扑空间[J];西南石油学院学报;1994年02期

4 梁学军;格上伪度量函数的分解[J];北京师范大学学报(自然科学版);1995年01期

5 陈庆祺;一致测度的扩张[J];浙江工业大学学报;1987年01期

6 梁基华;诱导空间的度量化问题[J];数学进展;1990年04期

7 吴从p

本文编号：2451000