人工智能原理ch4.1_经典逻辑推理解析.ppt

主要讲述内容： 1. 简述与推理相关的知识：如推理方式及分类、推理控制策略、模式匹配、冲突消解策略、搜索策略等。 2. 经典逻辑推理：自然演绎推理、归结演绎推理和与/或形演绎推理。 一般而言，推理有一下五种划分方式： Ⅰ.演绎推理、归结推理、默认推理（从新判断推出的途径来划分） 演绎推理——从全称判断推导出特称判断或单称判断的过程，即由一般性知识推出适合于某一具体情况的结论。这是一种从一般到个别的推理。演绎推理有多种形式，经常用的是三段论式，它包括： 1 大前提，这是已知的一般性知识或假设； 2 小前提，这是关于所研究的具体情况或个别事实的判断； 3 结论，这是由大前提推出的适合于小前提所示情况的新判断。 例如： 1 足球运动员的身体都是强壮的； 2 高波是一名足球运动员； 3 所以，高波的身体是强壮的。 这就是一个三段论推理，其中， 1 是大前提， 2 是小前提， 3 是经演 绎推出的结论。结论“高波的身体是强壮的”事实上是蕴含于“足球运动员的身体都是强壮的”这一大前提中的。它没有超出 大前提所断定的范围。这是演绎推理的一个典型特征，即在任何情况下，由演绎推理导出的结论都是蕴含在大前提的一般性知识中的。因此，只要大前提和小前提是正确的，则由它们推导出来的结论也必然是正确的。 演绎推理是人工智能中的一种重要推理方式，在直到目前研制成功的各类智能