第4章 经典逻辑推理l 4.1 推理的基本概念l 4.2 自然演绎推理l 4.3 归结演绎推理l 4.4 与/或形演绎推理1第4章 经典逻辑推理 l 智能系统的推理过程实际上就是一种思维过程。即运用知识进行推理来求解问题。l 经典逻辑推理是根据经典逻辑（命题逻辑及一阶谓词逻辑）的逻辑规则进行的一种推理。l 由于这种推理是基于经典逻辑的，其真值只有“真”和“假”两种，因此它是一种精确推理，或称为确定性推理。24.1 推理的基本概念l 4.1.1 推理方式及其分类l 4.1.2 推理的控制策略l 4.1.3 模式匹配及其变量代换34.1.1 推理方法及其分类1. 按推理的逻辑基础分类l 演绎推理l 归纳推理l 默认推理44.1.1 推理方法及其分类（1）演绎推理 演绎推理是从已知的一般性知识出发，去推出蕴含在这些已知知识中的适合于某种个别情况的结论。是一种由一般到个别的推理方法，其核心是三段论， 如 假言推理、拒取式和假言三段论。 5（1）演绎推理 例： 假言三段论 AB，BC AC 常用的三段论是由一个大前提、一个小前提和一个结论这三部分组成的。 大前提是已知的一般性知识或推理过程得到的
