经典逻辑推理90053434-(精品课件).pptVIP

第４章　经典逻辑推理１、基本概念２、自然演绎推理３、归结演绎推理４、与／或形演绎推理 基本概念 何为推理？ 从已知的事实出发，不断运用已掌握的（知识库中的）知识推出或归纳出新的事实（包括目标结论）的过程称为推理。人工智能中推理是由程序实现的，称这个程序为推理机。 推理方式及其分类 人工智能作为对人类智能的模拟，有多种推理方式。它们是： １、演绎推理、归纳推理、默认推理 ２、确定性推理、不确定性推理 ３、单调推理、非单调推理 ４、启发式推理、非启发式推理 ５、基于知识的推理、统计推理、直觉推理。 分别解释如下： １、演绎推理、归纳推理、默认推理 所谓演绎推理是从全称判断推导出特称判断的过程，是从一般到个别的推理。经常用的是三段论式，它包括： 大前提：已知的一般性知识或假设； 小前提：具体情况或个别事实； 结论：由大前提推出的适合小前提所示情况的新判断。 １、演绎推理、归纳推理、默认推理 例如有如下三个判断： （１）足球运动员的身体都是强壮的； （２）高波是一名足球运动员； （３）所以，高波的身体是强壮的。 其中（１）是大前提，（２）是小前提 （３）是经演绎推出的结论。 只要大前提和小前提是正确的，那麽由它们推出的结论就是正确的。 １、演绎推理、归纳推理、默认推理 演绎推理是人工智能中的一种重要推理方式，目前研制成功的各类智能系统中，大多是用演绎推理实现的。 １、