论文研究-Gödel命题逻辑中公式概率真度的相似度及伪距离.pdf

通过引入赋值密度函数、边缘密度函数等概念，给出了连续值命题逻辑系统G?del中公式概率真度的定义，研究了概率真度的推理规则，在此基础上给出了三种相似度，讨论了其性质及关系，并由此定义了三种伪距离，讨论了逻辑度量空间的结构及其性质，为推理程度的数值化提供了依据。