扩展规则方法研究综述

摘要：

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

关键词：自动推理、归结方法、扩展规则、SAT、#SAT

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金资助项目61070084，61272535，61163065，61370156，61165009；国家“973”计划资助项目2012CB326403；广西自然科学基金资助项目2013GXNSFBA019263，2012GXNSFAA053219；广西高校科研项目2013YB029；“八桂学者”工程专项经费资助项目；广西师范大学博士启动基金资助项目．

在线出版日期：2014-04-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：1-11