命题逻辑系统Ln中公式集上的真度函数

• 作者: 刘烁 王国俊 马丽娜
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 真度函数 相似度 伪距离 逻辑度量空间
• 年，卷（期）: 2010,（36）
• 页码范围: 37-39
• 分类号: O142
• 字数: 3422字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.36.010

摘要

在n值Lukasiewicz命题逻辑系统中引入了公式集F(S)上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义了相似度和伪距离,建立了逻辑度量空间,为从语构的角度展开近似推理提供了一种可能的框架.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	刘烁	第四军医大学生物医学工程系	13	18	3.0	3.0
3	马丽娜	陕西师范大学数学与信息科学学院	19	167	4.0	12.0