[理学]人工智能经典课件 第一章.ppt

第一章 搜索问题 搜索是人工智能中的一个基本问题，并与推理密切相关，搜索策略的优劣，将直接影响到智能系统的性能与推理效率。 内容： 状态空间的搜索问题 搜索方式： 盲目搜索 启发式搜索 关键问题： 如何利用知识，尽可能有效地找到问题的解（最佳解）。 基本概念 基本概念 1.1 状态空间表示法 传教士与野人问题 二阶梵塔问题 设用Sk=(Sk0,Sk1)表示问题的状态，Sk0表示金片A所在钢针号，Sk1表示金片B所在钢针号，全部可能的状态有九种： S0=(1,1), S1=(1,2), S2=(1,3) S3=(2,1),S4=(2,2), S5=(2,3) S6=(3,1), S7=(3,2),S8=(3,3) 状态空间表示法的几点说明 状态空间、搜索图和解答路径的关系图 搜索问题（续） ? 讨论的问题： 有哪些常用的搜索算法。 问题有解时能否找到解。 找到的解是最佳的吗？ 什么情况下可以找到最佳解？ 求解的效率如何。 1.2 回溯策略 回溯策略的实现方法 递归的思想 回溯搜索算法 BACKTRACK（DATA） DATA： 当前状态。 返回值：从当前状态到目标状态的路径 （以规则表的形式表示） 或FAIL。 回溯搜索算法的符号说明 回溯搜索算法 递归过程BACKTRACK(DATA) 1, IF TERM(DATA) RETURN NIL; 2, IF DEADEND(DATA) RETURN FAIL; 3, RULES:=APPRULES(DATA); 4, LOOP: IF NULL(RULES) RETURN FAIL; 5, R:=FIRST(RULES); 6, RULES:=TAIL(RULES); 7, RDATA:=GEN(R, DATA); 8, PATH:=BACKTRACK(RDATA); 9, IF PATH=FAIL GO LOOP; 10, RETURN CONS(R, PATH); 递归的思想（图） 递归的思想(续) 四皇后问题 例：在一个4×4的国际象棋棋盘上，一次一 个地摆放4枚皇后棋子，摆好后要满足：每行、 每列和对角线上只允许出现一枚棋子。问如何 摆放？ 存在问题及解决办法 ? 解决办法： 对搜索深度加以限制 记录从初始状态到当前状态的路径 存在的问题 解决的办法 回溯搜索算法1 BACKTRACK1（DATALIST） DATALIST：从初始到当前的状态表（逆向） 返回值：从当前状态到目标状态的路径 （以规则表的形式表示） 或FAIL。 回溯搜索算法1 1, DATA:=FIRST(DATALIST) 2, IF MEMBER(DATA, TAIL(DATALIST)) RETURN FAIL; 3, IF TERM(DATA) RETURN NIL; 4, IF DEADEND(DATA) RETURN FAIL; 5, IF LENGTH(DATALIST)BOUND RETURN FAIL; 6, RULES:=APPRULES(DATA); 7, LOOP: IF NULL(RULES) RETURN FAIL; 8, R:=FIRST(RULES); 回溯搜索算法1（续） 9, RULES:=TAIL(RULES); 10, RDATA:=GEN(R, DATA); 11, RDATALIST:=CONS(RDATA, DATALIST); 12, PATH:=BACKTRCK1(RDATALIST) 13, IF PATH=FAIL GO LOOP; 14, RETURN CONS(R, PATH); 一些深入的问题 ? 失败原因分析、多步回溯 (图1.4) 一些深入问题（续） 练习：八皇后问题 1.3 图搜索策略 一般的图搜索思想 使用到的表 OPEN表 状态节点 父节点 CLOSED表 编号 状态节点 父节点 一些基本概念 ? 节点深度： 根节点深度=0 其它节点深度=父节点深度+1 一些基本概念（续1） ? 路径 设一节点序列为(n0, n1,…,nk)，对于i=1,…,k， 若节点ni-1具有一个后继节点ni，则该序列称为 从n0到nk的路径。 ? 路径的耗散值 一条路径的耗散值等于连接这条路径各节点 间所有耗散值的总和。用C(ni, nj)表示从ni到nj的 路径的耗散值。 一些基本概念（续2） ? 扩展一个节点 生成出该节点的所有后继节点，并给出它们 之间的耗散值。这一过程称为“扩展一个节 点”。 一般图搜索算法的符号说明 一般的图搜索算法 1,