格值语义归结推理方法

• 作者: 何星星 张家锋 徐扬
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 格蕴涵代数 格值命题逻辑系统LP(X) 自动推理 语义归结方法
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 人工智能
• 页码范围: 201-203,210
• 分类号: TP18
• 字数: 4931字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.09.046

摘要

归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率.基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明.首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	何星星	西南交通大学智能控制开发中心	12	35	3.0	5.0