(L)ukasiewicz三值命题逻辑系统中公式的概率真度理论

• 作者: 关晓红 刘晓
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 概率测度 概率真度 相似度 伪距离 孤立点
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 研究、探讨
• 页码范围: 37-41
• 页数: 5页
• 分类号: O141.1
• 字数: 6494字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.06.011

摘要

利用势为3的非均匀概率空间的无穷乘积,在(L)ukasiewicz三值命题逻辑中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晓	河南师范大学数学与信息科学学院	19	54	4.0	7.0
2	关晓红	河南师范大学数学与信息科学学院	14	16	2.0	3.0