精选优质文档-倾情为你奉上第三章归结演绎推理摘要：本文对归结对归结演绎推理进行了较为详细的介绍，描述了归结演绎推理的基本思路、使用步骤、并指明了其过程是完备的，还给出了运用归结原理进行归归结的具体例子，最后简单总结了其优缺点。关键词：归结，演绎，推理1 知识背景人工智能是一门新兴的学科，推理技术是实现人工智能的基本技术之一，其中自然演绎推理是基于常用逻辑等价式以及常用逻辑蕴含式(统称推理规则)的推理技术，即从已知事实出发，利用推理规则进行推出结论的过程。这种推理过程与人类的思维过程极其相似，但其缺点是极易产生知识爆炸，推理过程中得到的中间结论按指数规律递增，对于复杂问题的推理不利，在计算机上实现起来存在诸多困难。而归结演绎推理是基于归结原理的在计算机上得到了较好实现的一种推理技术，是一种有效的机器推理方法。归结原理的出现, 使得自动定理证明成为了可能，同时也使得人工智能技术向前迈进了一大步。2 基本思路归结演绎方法是一种基于鲁滨逊（Robinson）归结原理的机器推理技术【1】。鲁滨逊归结原理也称作消解原理，是鲁滨逊于1965
