命题逻辑中条件概率真度的相似度及伪距离

摘要：

通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式条件概率真度的定义,并得到了一些条件概率真度的推理规则;给出了3种相似度的概念,讨论了其性质及关系;定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了可靠的依据.

关键词：赋值密度函数、条件概率真度、相似度、伪距离

所属期刊栏目：46

分类号：O141.1(数理逻辑、数学基础)

资助基金：山东省自然科学基金the Natural Science Foundation of Shandong Province of China under Grant Y2003A01

在线出版日期：2010-08-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：33-38