一种基于超连接的一阶逻辑反演推理算法

• 作者: 孟欣欣 李凡
• 来源期刊: 华中理工大学学报
• 学科: 工学
• 关键词: 一阶逻辑 超连接 消解 定理证明
• 年，卷（期）: 1999,（1）
• 页码范围: 20-23
• 页数: 4页
• 分类号: TP11
• 字数: 3964字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.1999.01.007

摘要

研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Robinson的传统消解方法更高的效率.以一个实例讨论了该算法的应用,结果表明此算法可以保证在预定义的相关边界内,对任意一阶逻辑的推理具有终止性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李凡	华中理工大学计算机科学与技术学院	12	141	5.0	11.0
2	孟欣欣	华中理工大学计算机科学与技术学院	2	3	1.0	1.0