Academic Journals Database
Disseminating quality controlled scientific knowledge

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

ADD TO MY LIST
 
Author(s): 敖友云

Journal: Computer Science and Application
ISSN 2161-8801

Volume: 01;
Issue: 02;
Start page: 51;
Date: 2011;
Original page

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

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.
Affiliate Program     

Tango Rapperswil
Tango Rapperswil