G(o)del n值命题逻辑中命题的α-真度理论

• 作者: 李骏 王国俊
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: α-真度 真度 α-相似度 伪距离
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 33-39
• 页数: 7页
• 分类号: TP18
• 字数: 5029字
• 语种: 中文

摘要

为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G(o)del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李骏	陕西师范大学数学与信息科学学院	46	395	11.0	19.0
3	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0