谓词逻辑在计算机中的,基于谓词逻辑的知识表示和知识推理及在Prolog中的实现...

摘要：

数理逻辑和计算机的关系非常密切,它的研究方法和研究成果在计算机科学各领域都有广泛的应用.一阶谓词逻辑,是数理逻辑的基础部分,由于它使用的是一种高度形式化的符号语言,不仅能够精确地表达人类思维和推理的形式结构,而且也能有效地存储到计算机中进行处理,因而成为人工智能研究的主要形式化工具. 知识表示和知识推理是人工智能研究的基本技术.谓词逻辑知识表示法是各种智能系统中最基本的知识表示方式,利用一阶谓词逻辑的形式语言可描叙多个复杂领域的知识.谓词逻辑下的归结原理是机器推理或自动推理的主要方法,可实现定理的自动证明和问题的求解,是一种可在计算机上实现的逻辑推理算法.此外,一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性. 本文从一阶谓词逻辑的理论基础和谓词演算逻辑程序Prolog的基本原理出发,使用一阶谓词逻辑的形式语言讨论了自然语言的形式描述,数学知识的形式表述,智能行为过程的描述等知识表示的方法;使用归结原理讨论了定理证明,问题求解等知识推理的方法;并使用Prolog的Horn子句,SLD—归结反驳,搜索,回溯等原理和方法讨论了如何在计算机中实现数学函数,定理证明以及复杂问题的求解等自动推理的一些应用.

展开