几种逻辑系统中的概率真度

摘要：

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

关键词：赋值密度函数、概率真度、推理规则、相似度

所属期刊栏目：47

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

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 60875034;山东省自然科学基金Y2003A01;聊城职业技术学院资助项目20091LZY31

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

页数：共4页

页码：27-30