基于谓词逻辑的归结原理研究 The Study of Resolution Principle Based on Predicate Logic

摘要

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