一种新的基于局部搜索的扩展规则推理方法

• 作者: 刘磊 吕帅 张桐搏 李广力 杨洋
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 自动推理 扩展规则 局部搜索 精确格局检测 双向半扩展规则 反向求解
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 算法与智能
• 页码范围: 825-839
• 页数: 15页
• 分类号: TP18
• 字数: 14379字
• 语种: 中文
• DOI: 10.11897/SP.J.1016.2018.00825

摘要

作为与归结推理方法互补的推理方法,扩展规则推理方法得到了国内外广泛认可.目前扩展规则推理方法的研究主要集中于完备推理方法,由于极大项变换方式过于机械,导致该方法处理公式的规模比较局限.该文在深入分析扩展规则推理和局部搜索关联性的基础上,利用子句集中的“极大项”概念设计了一种反向求解策略,进而设计并实现一种新的基于局部搜索的扩展规则推理框架.在此基础上,为了使得极大项搜索过程更加适配该框架,提出了一种基于精确格局检测实现和双向半扩展规则策略的两阶段局部搜索算法.实验结果表明,该文提出的基于精确格局检测的新型扩展规则推理算法ERACC突破了传统扩展规则推理对公式规模的局限,求解效率有了极大提高,使得扩展规则推理方法不再受公式规模制约,可以用于知识编译和可能性推理等多方面的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	杨洋	吉林大学计算机科学与技术学院	91	401	8.0	17.0
3	张桐搏	吉林大学计算机科学与技术学院	7	6	2.0	2.0
4	李广力	吉林大学计算机科学与技术学院	6	8	2.0	2.0