谓词逻辑在人工智能中的应用

On predicate Logic's Application in AI

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理,是人工智能产生和发展的最重要的理论基础。本文从具体事例出发,解析了谓词逻辑在人工智能领域中两个主要应用:知识表示和消解原理。并在结束语提出谓词逻辑的局限,希望有更多的学者参加逻辑学的研究。

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate, and is one of the most important theoretical bases of AI. The paper introduces two important applications of the predicate logic in the field of artificial intelligence through concrete examples, that is, its application in the knowledge representation and sum- up reasoning. In the end , predicate logic has still some problems and we hope more people take part in the study of logic.