Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (20): 46-49.DOI: 10.3778/j.issn.1002-8331.2010.20.013

• 研究、探讨 • Previous Articles     Next Articles

Similarity degree and pseudo-distance of probability truth degree for formulas in Gödel propositional logic system

TAN Gui-mei1,YU Xi-chang2   

  1. 1.Liaocheng?University Library,Liaocheng,Shandong 252059,China
    2.Liaocheng Vocational and Technical College,Liaocheng,Shandong 252000,China
  • Received:2009-01-21 Revised:2009-04-07 Online:2010-07-11 Published:2010-07-11
  • Contact: TAN Gui-mei

Gödel命题逻辑中公式概率真度的相似度及伪距离

谭桂梅1,于西昌2   

  1. 1.聊城大学 图书馆,山东 聊城 252059
    2.聊城职业技术学院,山东 聊城 252000
  • 通讯作者: 谭桂梅

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 G?del is proposed,some inference rules of probability truth degree are studied.On this groundwork,three similarities are given,the properties and the relationship are discussed.By introducing similarity degree,the definition of pseudo-distance is proposed.And the structure and properties of logical metric space are discussed,thus the basis for the inference degree’s numeralization is proved.

Key words: valuation density function, probability truth degree, inference rule, similarity degree

摘要: 通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统G?del中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及其性质,为推理程度的数值化提供了依据。

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

CLC Number: