扩展规则论文

基于扩展规则的若干SAT问题研究
论文摘要从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT（Satisfiability）问题是自动推理最重要的问题之一。基于扩展规则的方法...
自动推理和智能规划中若干问题研究
论文摘要自动推理和智能规划自从二十世纪五十年代被提出,已经成为计算机科学中最重要的研究领域。基于演绎推理的规划求解方法、基于SAT的经典规划求解方法和基于QBF以及知识编译的非...
基于扩展规则的定理证明的研究
论文摘要自动定理证明自从二十世纪五十年代被提出,已经成为计算机科学中最重要的领域之一。归结方法是其中最著名、应用最广的方法之一。扩展规则方法将定理证明沿着归结的反方向进行,是一...