扩展规则方法研究综述

• 作者: 殷明浩 王金艳 覃少华 谷文祥
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 自动推理 归结方法 扩展规则 SAT #SAT
• 年，卷（期）: 2014,（1）
• 页码范围: 1-11
• 页数: 11页
• 分类号: TP181
• 字数: 12252字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-47852.01308004

摘要

归结方法是自动推理的重要方法之一，而扩展规则是与归结对称的方法，近年来引起了研究者的广泛关注。从扩展规则的相关概念、在命题逻辑中的发展以及在一阶逻辑、描述逻辑、模态逻辑、可能性逻辑和多值逻辑中的应用3个方面论述分析了扩展规则10年来的研究现状，重点阐述扩展规则用于求解SAT、相近SAT和＃SAT问题各种算法的优缺点，最后指出相关的研究热点与发展趋势。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	覃少华	广西师范大学计算机科学与信息工程学院	25	88	5.0	8.0
2	谷文祥	长春建筑学院基础教学部	71	538	11.0	20.0
4	殷明浩	东北师范大学计算机科学与信息技术学院	35	304	10.0	16.0
7	王金艳	广西师范大学计算机科学与信息工程学院	6	19	2.0	4.0