Lukasiewicz三值命题逻辑系统中公式的概率真度理论.pdf

计算机工程与应用 ， （ ） 37 Computer Engineering and Applications 2010 46 6 覵ukasiewicz 三值命题逻辑系统中公式的概率真度理论 关晓红，刘 晓 ， GUAN Xiao-hong LIU Xiao 河南师范大学数学与信息科学学院，河南 新乡 453007 ， ， ， ， Department of Mathematics and Information Science Henan Normal University Xinxiang Henan 453007 China ： E-mail guanxiaohong2008@ ， GUAN Xiao-hong LIU Xiao.Theory of probability truth degree in 覵ukasiewicz 3-valued logic system.Computer Engineering ， ， （）： and Applications 2010 46 6 37-41. ： ， Abstract Using the infinite product of unevenly distributed probability space this paper introduces the theory of probability truth degree in 覵ukasiewicz 3-valued propositional logic.It is proved that the set of probability truth degree of all formulas has ， no isolated point in [0 1].The conceptions of probability similarity degree and pseudo-metric on two formulas are defined by ， means of the concept of probability truth degree of propositions.Moreover the probability logic metric space is built.It is proved that this space has no isolated point.Then it can provide a possible framework for approximate reasoning theory. ： ； ； ； ； Key words probability measure probability truth degree similarity degree pseudo-metric isolated point 摘 要：利用势为 的非均匀概率空间的无穷乘积，在 三值命题逻辑中引入了公式的概率真度概念，证明了全体公式 3 覵ukasiewicz 的概率真度值之集在 ，中没有孤立点；利用概率真度定义了概率相似度和伪距离，进而建立了概率逻辑度量空间，证明了该空 [0 1] 间中没有孤立点，