西电人工智能8确定性推理part1.pptVIP

状态空间的搜索策略 状态空间搜索的基本思想 先把问题的初始状态作为当前扩展节点对其进行扩展，生成一组子节点。 然后检查问题的目标状态是否出现在这些子节点中。若出现，则搜索成功，找到了问题的解；若没出现，则再按照某种搜索策略从已生成的子节点中选择一个节点作为当前扩展节点。 重复上述过程，直到目标状态出现在子节点中或者没有可供操作的节点为止。 所谓对一个节点进行“扩展”是指对该节点用某个可用操作进行作用，生成该节点的一组子节点。 状态空间的搜索策略 状态空间搜索算法的数据结构和符号约定 OPEN表：未扩展节点表，用于存放刚生成节点 CLOSED表：已扩展节点表，用于存放已经扩展或将要扩展节点的 S：用表示问题的初始状态 G：表示搜索过程所得到的搜索图 M：表示当前扩展节点新生成的且不为自己先辈的子节点集 状态空间的搜索策略 图搜索的一般过程 (1) 把初始节点S放入未扩展节点表OPEN表，并建立目前仅包含S的图G； (2) 检查OPEN表是否为空，若为空，则问题无解，失败退出； (3) 把OPEN表的第一个节点取出放入已扩展节点表CLOSED表，并记该节点为节点n； (4)考察节点n是否为目标节点。若是则得到了问题的解，成功退出。此时的解为追踪图G中沿着指针（步骤6中设置的指针）从n到初始节点S的路径。 状态空间的搜索策略 图搜索的一般过程 (5) 扩展节点n，生成一组子节点。把这些子节点中不是节点n先辈的那部分子节点记入集合M，并把这些子节点作为节点n的子节点加入G中 (6) 针对M中子节点的不同情况，分别作如下处理： ① 对那些没有在G中出现过的M成员设置一个指向其父节点（即节点n）的指针，并把它放入OPEN表。（新生成的） ② 对那些原来已在G中出现过，但还没有被扩展的M成员，确定是否需要修改它指向父节点的指针。（原生成但未扩展的） ③ 对于那些先前已在G中出现过，并已经扩展了的M成员，确定是否需要修改其后继节点指向父节点的指针。（原生成也扩展过的） 图搜索的一般过程 (7) 按某种策略对OPEN表中的节点进行排序。 (8) 转第(2)步。 状态空间的搜索策略 西安电子科技大学 西安电子科技大学 Artificial Intelligence (AI)人工智能 主讲：戚玉涛 Email：qi_yutao@163.com 第三章：确定性推理 内容提要 第三章：确定性推理 1.推理的基本概念 2.搜索策略 3.自然演绎推理 4.归结演绎推理 5.基于规则的演绎推理 内容提要 第三章：确定性推理 1.推理的基本概念 2.搜索策略 3.自然演绎推理 4.归结演绎推理 5.基于规则的演绎推理 推理的基本概念 推理的基本概念 1.什么是推理 2.推理方法及其分类 3.推理的控制策略及其分类 推理的基本概念 什么是推理 所谓推理就是按某种策略由已知判断推出另一个判断的思维过程。 在人工智能中，推理是由程序实现的，称为推理机。 智能系统的推理过程实际上就是一种思维过程。按照推理过程所用知识的确定性，推理可分为： 确定性推理（第三章） 不确定性推理（第四章） 推理的基本概念 推理的两个基本问题 推理的方法： 演绎？归纳？类比？确定？不确定？单调？非单调？启发式？非启发式？ 推理的控制策略： 推理的控制策略是指如何使用领域知识使推理过程尽快达到目标的策略。 推理的控制策略又可分为搜索策略和推理策略。 推理的基本概念 推理方法及其分类 1.按推理的逻辑基础分类 演绎推理:从已知的一般性知识出发，推出蕴含在已知知识中的适合于某种个别情况的结论。是一种由一般到个别的推理方法，其核心是三段论。 归纳推理:是一种由个别到一般的推理方法。 类比归纳推理:是指在两个或两类事物有许多属性都相同或相似的基础上，推出它们在其他属性上也相同或相似的一种归纳推理。 推理的基本概念 推理方法及其分类 1.按推理的逻辑基础分类 演绎推理： 假言三段论：A→B，B→C ? A→C 常用的三段论是由一个大前提、一个小前提和一个结论这三部分组成的。 大前提是已知的一般性知识或推理过程得到的判断； 小前提是关于某种具体情况或某个具体实例的判断； 结论是由大前提推出的，并且适合于小前提的判断。 推理的基本概念 推理方法及其分类 1.按推理的逻辑基础分类 演绎推理： 例如，有如下三个判断： ① 计算机系的学生都会编程序； （一般性知识） ② 程强是计算机系的一位学生； （具体情况） ③ 程强会编程序。（结论） 这是一个三段论推理。其中，①是大前提，②是小前提；③是经演绎推出来的结论。 可见，其结论是蕴含在大前提中的 推理的基本概念 推理方法及其分类 1.按推理的逻辑基础分类 归纳推理：按照所选事例的广泛性可分为完全归纳推理和不完全归纳推理。 完全归纳推理：是