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

• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 赋值密度函数 概率真度 条件概率真度 推理规则 稠密性
• 年，卷（期）: 2009,（28）
• 所属期刊栏目: 研究、探讨
• 页码范围: 55-59
• 页数: 5页
• 分类号: O141.1
• 字数: 5466字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.28.016

摘要

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