1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 Gödel命题逻辑中公式概率真度的相似度及伪距离.pdf

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

上传者: 2020-07-17 00:31:48上传 PDF文件 560.7KB 热度 39次
通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统G?del中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及其性质,为推理程度的数值化提供了依据。
用户评论