基于路径搜索的格值命题逻辑自动推理方法

• 作者: 刘鹏仙 徐扬 李海明
• 来源期刊: 西南交通大学学报
• 学科: 数学
• 关键词: 自动推理 路径 子句集 互补对
• 年，卷（期）: 2003,（3）
• 页码范围: 248-252
• 页数: 5页
• 分类号: O153
• 字数: 4935字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2003.03.002

摘要

提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学应用数学系	186	1462	15.0	32.0
2	李海明	西南交通大学应用数学系	4	18	2.0	4.0
6	刘鹏仙	唐山师范学院计算机系	2	8	1.0	2.0