公式概率真度的相似度及伪距离

Similarity degree and pseudo-distance of probability truth degree for formulas

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

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 L^＊ is proposed, some inference rules of probability truth degree are studied.On this groundwork, three similarities are given which discusses the properties of the relationship.By introducing similarity degree, the definition of pseudo-distance is proposed.And the structure and properties of logical metric space are discussed in details.Thus the basis for the inference degree＇s numerical is proved.