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