论文研究 几种逻辑系统中的概率真度.pdf

通过引入赋值密度函数、边缘密度函数等概念，给出了几种常见的命题逻辑系统中公式概率真度的定义，研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0，1]中的稠密性，在此基础上给出了相似度的定义并讨论了其性质，为推理程度的数值化提供了依据。