计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (6): 37-41.DOI: 10.3778/j.issn.1002-8331.2010.06.011
关晓红,刘 晓
GUAN Xiao-hong,LIU Xiao
摘要: 利用势为3的非均匀概率空间的无穷乘积,在£ukasiewicz三值命题逻辑中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。
中图分类号: