计算机科学与应用

Vol.1 No.2 (September 2011)

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

 

作者:

敖友云

 

关键词:

谓词逻辑归结原理人工智能知识表示Predicate Logic Resolution Principle Artificial Intelligence Knowledge Representation

 

摘要:

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

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.

文章引用:

敖友云 (2011) 基于谓词逻辑的归结原理研究。 计算机科学与应用, 1, 51-56. doi: 10.12677/csa.2011.12011

 

分享
Top