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

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:hh0745cn12
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、数学期望、条件概率真度的定义,并得到了一些概率真度的推理规则.证明了Lukasiewicz逻辑系统中概率真度、条件概率真度在[0,1]中稠密.
其他文献
正态分布是概率论与数理统计中最重要的一个分布.本文讨论了常见的连续型统计分布与标准正态分布问的关系,结果表明:几乎所有的常见连续型统计分布都是标准正态分布的函数.
在当前经济环境下,研究住宅价格的成因及其理论模型,对于保持住宅价格在合理范围内变动,促进我国房地产业健康发展和国民经济的稳定运行具有重要的意义。本文从对住宅价格的
设计并开发了开链脂肪烃结构解析及命名CAI。该CAI使用Microsoft Visual C++6.0开发,使用C++语言,在命令行模式下运行。该系统能读取mol文件并对mol文件进行解析,绘制出开链
主要讨论直线上独立随机环境中可逗留的随机游动的常返性和非常返性,并进一步研究常返性中的正常返和零常返.
提出了基于蕴涵算子族L-λ-R_0的模糊推理的思想,这将有助于提高推理结果的可靠性.针对蕴涵算子族L-λ-R_0给出了模糊推理的FMP模型及FMT模型的反向α-三I约束算法.
使用加速量热仪研究硝酸正丙酯(NPN)、硝酸异丙酯(IPN)和硝酸异辛酯(EHN)的热分解过程.分析了在绝热条件下热分解反应动力学,根据实验数据计算出表现活化能、指前因子和反应
利用无穷维M(o)bius变换的Clifford矩阵表示,证明了无穷维M(o)bius变换关于通弦度量等距的5个等价条件,并给出了这个结果的应用,同时推广了有关文献的结论.
将La0.67Sr0.33MnO3,Ag2O及TiO2粉混合经高温烧结后制备了两个系列钙钛矿相与金属Ag相的复合体系,通过改变Ti及Ag在样品中的含量,比较研究了材料的输运特性.0.07摩尔比Ti4+离
当模糊线性系统的系数矩阵奇异时, 分析了模糊线性系统的右端向量和系数矩阵的扰动对模糊线性系统解的计算造成的影响,用矩阵的谱范数给出了相对误差的界.
一般而言,偏态的椭球等高分布是一类分布族,有相当一部分的分布都是积分形式,且此类积分不易求出,而偏态的正态、偏态的正态尺度混合、偏态的PⅦ型、偏态的PⅡ型的分布却有着