计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (17): 33-38.DOI: 10.3778/j.issn.1002-8331.2010.17.010

• 研究、探讨 • 上一篇    下一篇

命题逻辑中条件概率真度的相似度及伪距离

牛广化1,于西昌2   

  1. 1.枣庄科技职业学院 建筑工程系,山东 滕州 277500
    2.聊城职业技术学院,山东 聊城 252000
  • 收稿日期:2008-12-08 修回日期:2009-02-16 出版日期:2010-06-11 发布日期:2010-06-11
  • 通讯作者: 牛广化

Similarity degree and pseudo-distance of conditional probability truth degree of formulas in propositional logic system

NIU Guang-hua1,YU Xi-chang2   

  1. 1.Department of Architectural Engineering,Zaozhuang Vocational College of Science & Technology,Tengzhou,Shandong 277500,China
    2.Liaocheng Vocational and Technical College,Liaocheng,Shandong 252000,China
  • Received:2008-12-08 Revised:2009-02-16 Online:2010-06-11 Published:2010-06-11
  • Contact: NIU Guang-hua

摘要: 通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式条件概率真度的定义,并得到了一些条件概率真度的推理规则;给出了3种相似度的概念,讨论了其性质及关系;定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了可靠的依据。

关键词: 赋值密度函数, 条件概率真度, 相似度, 伪距离

Abstract: By introducing the concepts of valuation density function and edge density function,a definition of conditional probability truth degree for formula in the continuous value propositional logic is proposed.Some inference rules of conditional probability truth degree are studied and the density of probability truth degree in [0,1] is proved.On this groundwork,three similarities are given whose properties and relationship are discussed.By introducing similarity degree,the definition of three kinds of pseudo-distance is proposed,and the relationship among them is determined.Thus the basis for the inference degree’s numerical is proved.

Key words: valuation density function, onditional probability truth degree, imilarity degree, seudo-distance

中图分类号: