计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (28): 55-59.DOI: 10.3778/j.issn.1002-8331.2009.28.016
于西昌1,谭桂梅2,张兴芳3
YU Xi-chang1,TAN Gui-mei2,ZHANG Xing-fang3
摘要: 基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、数学期望、条件概率真度的定义,并得到了一些概率真度的推理规则。证明了Lukasiewicz逻辑系统中概率真度、条件概率真度在[0,1]中稠密。
中图分类号: