备战福州大学复试【人工智能-马少平版】 - 谓词逻辑与归结（随缘更新）

一、演绎推理

简单来说，演绎推理是从一般到个别

假言三段论：大前提、小前提、结论

如：

计算机的学生会秃头（大前提）

张伟是计算机的学生（小前提）

张伟会秃头（结论）

演绎推理分为自然演绎推理和归结演绎推理

自然演绎推理：

从一组已知为真的事实出发，直接运用经典逻辑中的推理规则，推出结论的过程

归结演绎推理：

基于鲁滨逊归结原理的机器推理技术

鲁滨逊归结：

把永真性的证明转换为关于不可满足性的证明

确定性推理，不确定性推理

确定性推理，所用的知识都是精确的，不确定性推理，所用的知识是不精确的。

归结演绎推理是重点，基本原理是将复杂的谓词公式化为子句集，再在子句集中进行归结。看上去很抽象，难以理解，我们来用一道非常经典的例题来说明。

已知：
（1）John是贼。
（2）Paul喜欢酒（wine）。
（3）Paul也喜欢奶酪（cheese）。
（4）如果Paul喜欢某物ÿ