n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理

发布时间：2018-01-02 11:45

  本文关键词：n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理　出处：《应用数学学报》2012年02期 　论文类型：期刊论文

  更多相关文章： 随机真度 随机相似度 随机逻辑度量空间 近似推理

【摘要】：利用赋值集的随机化方法,在n值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和随机伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.
[Abstract]:By using the randomizing method of the assignment set , the random truth of the formula is introduced in the n - valued Lukasieverts propositional logic system , the MP rules , the HS rules and the intersection inference rules of the stochastic truth are proved ; meanwhile , the random similarity and the random pseudo - distance between the formulas are introduced , the random logic measurement space is established , and the continuity of the logic operation in the random logic measurement space is deduced , and three approximate reasoning modes of different types are proposed in the random logic measurement space , and the equivalence of the three approximate reasoning modes is proved .

【作者单位】： 盐城师范学院数学科学学院;
【基金】：江苏省高校自然科学基础研究(08KJD110008) 盐城师范学院教授博士科研基金(11YSYJB0202)资助项目
【分类号】：O141.1
【正文快照】： 1引言如何将数值计算的思想融入到数理逻辑中来，使数理逻辑的符号化与计算数学的数值计算、近似求解联系起来，，使形式化的数理逻辑具有灵活性并扩大其应用范围，这是长期以来许多学者探讨的问题.早在上世纪五十年代，Rosser与Turquette就提出了用“指派真值”来反映逻辑公式

【参考文献】

相关期刊论文 前4条

1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

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

3 惠小静;王国俊;;经典推理模式的随机化研究及其应用[J];中国科学(E辑:信息科学);2007年06期

4 惠小静;王国俊;;经典推理模式的随机化研究及其应用(Ⅱ)[J];模糊系统与数学;2008年03期

【共引文献】

相关期刊论文 前10条

1 王廷明;;二值命题逻辑中的蕴涵度量与近似推理[J];重庆师范大学学报(自然科学版);2009年03期

2 亓正坤;王廷明;丁洁玉;;二值命题逻辑中限制逻辑等价关系及其应用[J];东北师大学报(自然科学版);2012年02期

3 王廷明;;二值命题逻辑中Г-的蕴涵距离和近似推理[J];德州学院学报;2008年06期

4 王廷明;;二值命题逻辑中有限理论的相对偏差及其应用[J];德州学院学报;2010年02期

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

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

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

8 罗敏霞;姚宁;;L~*系统中公式的语构程度化方法[J];电子学报;2011年02期

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

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

相关会议论文 前5条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

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

5 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

相关博士学位论文 前7条

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

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

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

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

5 刘学生;基于粗集的不确定多属性决策排序法的研究[D];大连理工大学;2009年

6 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年

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

相关硕士学位论文 前10条

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

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

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

4 王志明;WBR_0代数的研究[D];陕西师范大学;2011年

5 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年

6 刘杰;正则剩余格上的模糊理想基的研究[D];陕西师范大学;2011年

7 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年

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

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

10 李建生;n值逻辑系统中命题的绝对真度及其随机化理论[D];兰州理工大学;2008年

【二级参考文献】

相关期刊论文 前10条

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

2 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

3 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

4 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期

5 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑:技术科学;2002年01期

6 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑:技术科学;2002年02期

7 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑:技术科学;2003年04期

8 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期

9 惠小静;王国俊;;经典推理模式的随机化研究及其应用[J];中国科学(E辑:信息科学);2007年06期

10 王伟,王国俊;论G銉del蕴涵算子不宜用于建立模糊逻辑系统[J];模糊系统与数学;2005年02期

【相似文献】

相关期刊论文 前10条

1 宋颖;张兴芳;;n值命题逻辑中公式的随机真度[J];计算机工程与应用;2010年13期

2 惠小静;常健;;关于随机真度的若干注记[J];模糊系统与数学;2009年06期

3 惠小静;刘兴祥;;三值G銉del命题逻辑系统的随机化[J];模糊系统与数学;2009年04期

4 惠小静;;三值R_0命题逻辑系统中理论的随机发散度[J];应用数学学报;2010年01期

5 惠小静;;三值R_0命题逻辑系统的随机化[J];应用数学学报;2009年01期

6 王庆平;张兴芳;;Lukasiewicz三值逻辑系统中的随机化研究[J];计算机科学与探索;2009年02期

7 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关博士学位论文 前1条

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

本文编号：1369061