【人工智能】归结演绎推理

前言：在学习《人工智能》这门课程中的确定性定理这一章时，发现国内的大多数课本对于这一章的描述语言过于正式与抽象，有大量概念性的东西，不便于初学者理解，故本文从中学竞赛中的类似问题引入，深入浅出的介绍归结演绎推理的基本知识和应用，以供大家参考学习。

引文：如果读者在小学或中学时参过数学竞赛，肯定会记得在考场上看到了一道类似下题的推理题：

相信以诸位的聪明才智，不一会儿就能在纸上推出正确答案。在这里，其实引出了人工智能这门学科中很重要的一节内容：确定性推理。如果有读者的大学本科专业是计算机科学、人工智能，或者研究生是相关方向，则一定接触过此类知识。今天，我们就详细谈一谈这部分内容。

一、推理的基本概念


我们今天重点讨论的就是演绎推理。

假言三段论由古希腊著名思想家亚里士多德提出，具体见以下例子。

注：至于“推理”的其他概念，我就不多写了，以免概念性的东西写的太多，读者看多会烦躁，有兴趣可以参阅《人工智能》的相关书籍。

二、归结演绎推理
演绎推理分为自然演绎推理和归结演绎推理，我们重点来分析归结演绎推理，先上概念。


那么，何为鲁滨逊归结原理？

看上去很抽象，难以理解，我们来用一道非常经典的例题来说明。

已知：
（1）John是贼。
（2）Paul喜欢酒（wine）。
（3）Paul也喜欢奶酪（cheese）。