利用知识表示方法就可以把知识用某种模式表示出来存储到计算机中去。但是，为使计算机具有智能，仅仅使计算机拥有知识是不够的，还必须使它具有思维能力，即能运用知识求解问题。推理是求解问题的一种重要方法。因此，推理方法成为人工智能的一个重要研究课题。目前，人们已经对推理方法进行了比较多的研究，提出了多种可在计算机上实现的推理方法。

下面首先讨论关于推理的基本概念，然后着重介绍鲁滨逊归结原理及其在机器定理证明和问题求解中的应用。其基本思想是先将要证明的定理表示为谓词公式，并化为子句集，然后再进行归结，如果归结出空子句，则定理得证。鲁滨逊归结原理使定理证明能够在计算机上实现。