一类n值命题逻辑中命题的真度理论及近似推理理论

发布时间：2022-01-20 22:37

　　经典的二值逻辑演算为精确的逻辑推理奠定了理论基础，然而人们日常生活乃至科技领域中大量的推理都是不精确的，针对不同的应用背景，人们提出了各种不同的近似推理理论。Zadeh教授予1973年首次提出了基于模糊集的近似推理理论，它不同于人工智能领域所倡导的方法：人工智能学科强调符号操作，它扎根于逻辑之中，以语构的形式展开自动推理而根本不看重数值计算，但基于模糊集的方法自然是离不开数值计算的。Zadeh的方法在于将二者相结合，它的基本思想的影响是深远的，近年来发表的有关近似推理的文章都程度不等地注意了两方面的结合。20世70年代末，Pavelka的系列文章《on fuzzy logicⅠ、Ⅱ、Ⅲ》开创了将模糊集思想融于严格的逻辑演算之先河，他将公理和推理规则都加以程度化而提出了一种近似推理系统，只是他并未继续展开对诸如Fuzzy Modus Ponens等模糊推理的研究。 其实，近似推理并不一定要与模糊集理论相联系，比如，王国俊教授在其专著《非经典数理逻辑与近似推理》的积分语义学一章中所提出的近似推理的主体部分就不依赖于模糊集理论。另外，王国俊教授最近又基于均匀概率的思想在经典二值命题逻辑... 

【文章来源】：陕西师范大学陕西省 211工程院校 教育部直属院校

【文章页数】：68 页

【学位级别】：硕士

【文章目录】：
引言
第一章 公式的真度理论
    §1.1 公式的真度理论
    §1.2 真度推理规则
    §1.3 公式的真度值之集在[0，1]中的分布及真度的表达通式
第二章 公式间的相似度及伪距离
    §2.1 公式间的相似度
    §2.2 公式间的伪距离
第三章 （F（S），ρ）中的近似推理理论
    §3.1 准证明与准推理
    §3.2 发散度与偏差
    §3.3 多值命题逻辑系统Ⅰ_n中近似推理的误差理论
总结
致谢
参考文献
攻读学位期间的研究成果


【参考文献】：
期刊论文
[1]二值命题逻辑中命题的真度理论[J]. 王国俊,傅丽,宋建社.  中国科学（A辑）. 2001(11)
[2]形式演绎系统L*中的运算与演绎定理[J]. 裴道武.  模糊系统与数学. 2001(01)
[3]逻辑度量空间[J]. 王国俊,王伟.  数学学报. 2001(01)
[4]模糊推理的全蕴涵三I算法[J]. 王国俊.  中国科学E辑:技术科学. 1999(01)
[5]L*中的典型赋值中介与公理系统的简化[J]. 何颖俞,王国俊.  科学通报. 1998(06)
[6]L*-Lindenbaum代数的结构与L*公理系统的简化形式[J]. 何颖俞,王国俊.  工程数学学报. 1998(01)
[7]模糊命题演算的一种形式演绎系统[J]. 王国俊.  科学通报. 1997(10)
[8]从模糊控制的数学本质看模糊逻辑的成功──关于“关于模糊逻辑似是而非的争论”的似是而非的介入[J]. 李洪兴.  模糊系统与数学. 1995(04)
[9]关于模糊逻辑的—场争论[J]. 吴望名.  模糊系统与数学. 1995(02)

硕士论文
[1]模糊逻辑形式系统的若干完备性定理[D]. 王三民.陕西师范大学 2001



本文编号：3599650