Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (5): 40-43.DOI: 10.3778/j.issn.1002-8331.2010.05.013

• 研究、探讨 • Previous Articles     Next Articles

Theory of probability truth degree for formula in propositional logic system

YU Xi-chang1,TAN Gui-mei2,ZHANG Xing-fang3   

  1. 1.Liaocheng Vocational and Technical College,Liaocheng,Shandong 252000,China
    2.Liaocheng University Library,Liaocheng,Shandong 252059,China
    3.School of Mathematics Science,Liaocheng University,Liaocheng,Shandong 252059,China
  • Received:2008-09-09 Revised:2008-11-24 Online:2010-02-11 Published:2010-02-11
  • Contact: YU Xi-chang



  1. 1.聊城职业技术学院,山东 聊城 252000
    2.聊城大学 图书馆,山东 聊城 252059
    3.聊城大学 数学科学学院,山东 聊城 252059
  • 通讯作者: 于西昌

Abstract: By introducing the concepts of valuation density function and edge density function,a definition of probability truth degree for formula in the continuous value propositional logic system is proposed.The distribution of probability truth degree in[0,1] is made clear,and some inference rules of probability truth degree are obtained;By introducing similarity degree,the definition of pseudo-distance is proposed,and the relationship between them are determined.

Key words: valuation density, probability truth degree, inference rule, similarity degree, pseudo-metric

摘要: 通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,明确了概率真度在[0,1]中的分布情况,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系。

关键词: 赋值密度函数, 概率真度, 推理规则, 相似度, 伪距离

CLC Number: