中科院讲义 人工智能 7.产生式系统的搜索.pdfVIP

产生式系统的搜索 张文生 中国科学院自动化研究所中国科学院自动化研究所 内容 回溯策略回溯策略 图搜索 无信息搜索 启发式搜索启发式搜索(A*) A*A*算法的可采纳性算法的可采纳性 回顾回顾 产生式规则产生式规则 控制机制 综合数据库综合数据库 控制机制控制机制 控制策略 激励点燃 两类两类 不可撤回的控制策略： 试探性控制策略试探性控制策略 回溯型 图搜索图搜索 具体手段 冲突删除策略 状态状态 任一时刻任一时刻, 综合数据库的情况综合数据库的情况;; 22 33 77 {A ，B ，C，D} 55 1 （c, a, b, 0, 0 ） 4 8 6 状态空间 状态空间状态空间 所有可能的状态的全体. 2 3 7 5 8 6 1 2 4 5 1 1 2 6 5 …… 4 8 6 7 4 3 7 8 3 状态转移状态转移 初始状态初始状态 目标状态目标状态 状态转移 规则 22 33 77 2 3 7 55 11 44 55 11 4 8 6 8 6 搜索(search) 路径路径 状态序列 搜索索 寻找从初始状态到目标状态的路径寻找从初始状态到目标状态的路径;; S0 Sg 搜索的必要性搜索的必要性 AI为什么要研究search? 问题没有直接的解法问题没有直接的解法; 解方程组; 定理证明; 需要探索地求解需要探索地求解;; 搜索与检索的区别搜索与检索的区别 状态是否动态生成状态是否动态生成;; 检索: 静态;; 在数据库中检索某人的纪录; 搜索搜索:: 动态生成动态生成;; 下棋 几个问题 目标状态是否确定? 确定确定:: 定理证明定理证明,, eighteight-puzzlepuzzle 不确定: 求积分, 下棋; 确定目标的性质确定目标的性质;; 问题的解: 路径(解路径)/ 目标状态; 需要路径需要路径::下