连续值命题逻辑系统中公式的条件概率真度

摘要：

基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、数学期望、条件概率真度的定义,并得到了一些概率真度的推理规则.证明了Lukasiewicz逻辑系统中概率真度、条件概率真度在[0,1]中稠密.

关键词：赋值密度函数、概率真度、条件概率真度、推理规则、稠密性

所属期刊栏目：45

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

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

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

页数：共5页

页码：55-59