基于谓词逻辑的归结原理研究

The Study of Resolution Principle Based on Predicate Logic

摘要: 基于谓词逻辑的归结原理是实现机器推理或自动推理的有效途径，利用它可以证明定理和提取问题答案。分析了基于谓词逻辑的归结原理的理论基础，并论述了将基于谓词逻辑的归结原理应用于定理证明和问题答案提取的方法及步骤。

Abstract: Resolution principle based on predication logic is an effective approach to implementing machine reasoning or automated reasoning, and applying it can prove theorems and extract answers to questions. This paper analyzes the theoretical basis of resolution principle based on predicate logic, and discusses some methods and procedures of applying resolution principle based on predicate logic to theorem proving and problem’s answer extracting.