题目：计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论

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