基于格值一阶逻辑LF(X)的自动推理算法

• 作者: 徐扬 李晓冰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 格值一阶逻辑 自动推理 α-归结原理 简单广义子句集
• 年，卷（期）: 2010,（23）
• 页码范围: 18-20,49
• 分类号: TP301.6
• 字数: 6996字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.23.005

摘要

基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一.针对格值一阶逻辑LF(X)中归结自动推理问题,以格值一阶逻辑LF(X)的α-归结原理为理论基础,通过对例子进行分析,提出了LF(X)中简单广义子句集的归结自动推理算法,并证明了该算法的可靠性和完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	李晓冰	东北财经大学管理科学与工程学院	12	30	4.0	5.0