论文部分内容阅读
本文利用概率测度来度量模糊命题逻辑公式的真度，定义了公式的α-真度，并研究了其相关性质．首先在[0，1]赋值格上研究公式的α-真度，定义了α-重言式，讨论了α-重言式与α-重言式，及与公式的α-真度之间的关系，研究了α-真度值在[0，1]中的分布，并在以上内容的基础上定义了公式的α-相似度的概念，进而导出了全体公式集上的一种伪距离，为[0，1]赋值格上模糊命题逻辑的近似推理理论提供了一种可能的框架。由于考虑到二维逻辑既能处理全序信息，又能处理不可比信息，本文又研究了区间值模糊命题逻辑公式的α-真度及其性质，试图为二维真值模糊逻辑的语义研究寻求一条新的途径。本文定义的公式的α-真度不同于王国俊教授定义的积分真度，但最终结果可与王国俊教授的积分语义学统一起来。