G(o)del n值命题逻辑系统中命题公式的t真度及近似推理

• 作者: 惠小静 朱乃调 高晓莉
• 来源期刊: 计算机科学
• 学科: 数学
• 关键词: t真度 t相似度 t逻辑度量空间 近似推理
• 年，卷（期）: 2016,（z2）
• 所属期刊栏目: 智能计算
• 页码范围: 97-102
• 页数: 6页
• 分类号: O142
• 字数: 7418字
• 语种: 中文

摘要

通过增加两类算子～和△对G(o)del n值命题逻辑系统进行公理化扩张G(o)del～,△,简记为G～,△.在G(o)el～,△中提出了命题公式的t真度的定义(t任取～,△),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	惠小静	延安大学数学与计算机科学学院	77	347	9.0	17.0
2	高晓莉	延安大学数学与计算机科学学院	8	0	0.0	0.0
3	朱乃调	延安大学数学与计算机科学学院	8	0	0.0	0.0