计量逻辑学中的近似推理与二值逻辑中命题的前提真度理论.pdfVIP

计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论 韩邦合 摘要众所周知，数理逻辑的特点在于符号化和形式化，它和计算数学有截然不 同的风格。前者注重形式推理而后者注重数值计算；前者强调严格论证而后者允 许近似求解．王国俊教授提出的计量逻辑学将数值计算引入到数理逻辑中，其基 本思想是：从基本概念的程度化人手，在各种逻辑系统中(包括二值命题逻辑系 先将重言式概念程度化，引入公式的真度概念，在此基础上将逻辑等价概念程度 化，引入了公式间的相似度概念，从而在F(S)上引入伪距离，提出一个理论r 的发散度与相容度理论，最后给出一种近似推理理论，这种近似推理理论包括3 种近似推理模式． 关于计量逻辑学已经有了一系列的研究成果．但是还有一些问题需要进一步 探讨；例如，在各种逻辑系统中如何刻画单个公式A到r的全体结论之集D(r) 近似推理模式之间的关系是什么?另外，计量逻辑学中关于近似推理的误差累积 问题和语义蕴涵程度化问题至今还没有涉及．本文主要解决以上这些问题，从而 使计量逻辑学更加完善更加丰富． 第一章介绍了计量逻辑学，积分语义学和工包含度理论中的基本概念和性 质，这些内容为后面的讨论打好了基础． 第二章分为3部分，第一节给出了计量逻辑学中单个公式到r结论集的距离