论文部分内容阅读
真度,是衡量一个公式的真实程度的新指标.精确刻画逻辑公式真度的方法首先是在经典的二值命题逻辑中而不是在多值逻辑中给出的。那么,很自然的存在如下一系列的问题:如何和谐的填补多值逻辑系统中的真度理论?多值逻辑系统中逻辑公式的真度怎样计算?如何才能使得当n=2时它就转换为已有的经典二值逻辑系统中的公式真度?本文就这些问题展开了研究。文章利用势为n的均匀概率空间的无穷乘积在多值命题逻辑中定义了多值命题逻辑公式的概率α-真度,讨论了多值命题逻辑公式的概率α-真度的性质。利用多值命题逻辑公式的概率α-真度定义了公式间的α-相似度与伪距离并讨论了两者之间的关系,将王国俊教授的二值命题逻辑的真度理论推广到多值命题逻辑中,为多值命题逻辑中的近似推理提供了另一种带度量的理论框架。同时,本文研究了二维赋值的直觉模糊命题逻辑公式的概率α-真度,并研究了其相关的推理规则,获得了与王国俊教授一维赋值逻辑系统类似的结果。