计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (27): 57-61.DOI: 10.3778/j.issn.1002-8331.2010.27.015
于西昌1,陈怀进2,谭桂梅3
YU Xi-chang1,CHEN Huai-jin2,TAN Gui-mei3
摘要: 通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统L*中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及性质,为推理程度的数值化提供了依据。
中图分类号: