[工学]人工智能chp2.pptVIP

人工智能(AI) 第二章 产生式系统的搜索策略 2.1 回溯策略 2.2 图搜索策略 2.3 无信息图搜索过程 2.4 启发式图搜索过程 2.5 搜索算法讨论 《人工智能导论》林尧瑞、马少平 清华大学出版社 《人工智能原理》石纯一、黄昌宁 清华大学出版社 《人工智能基础》高 济、朱淼良 高等教育出版社 * * 第二章 产生式系统搜索策略 一般情况下搜索策略是确定如何选择产生式系统规则使用方法的基本算法。一种方法是不考虑问题的背景知识，称为无信息的盲目搜索策略，其次是根据问题知识专门进行设计的规则优先使用(启发式)策略。 (1)求任一解路径的搜索策略 (2)求最佳解路径搜索策略 回溯法 大英博物馆法 爬山法 分枝界限法 宽度优先法 动态规划法 深度优先法 最佳图搜索法 限定范围搜索法 (3)求与或关系图的搜索法 好的优先法 一般与或图搜索法 极小极大法 剪枝法 启发式剪枝法 第二章 产生式系统搜索策略 2.1 回溯策略(Backtracking Strategies) 递归过程(Data) (1) If Term(Data), Return Nil; Data中有目标结点，成功返回Nil (2) If Deadend(Data), Return Fail; Data中有失败结点，返回Fail(回溯) (3) Rules:=AppRules(Data); 依某种原则选择适合Data的策略给Rules排序 (4) Loop: If Null(Rules), Return Fail; 规则完而无目标，则回溯Fail (5) R:=First(Rules); 在可用规则Rules中取头条 (6) Rules:=Tail(Rules);删除头条规则，减可用规则数 第二章 产生式系统搜索策略 (7) RData:=Gen(R,Data); 用规则R作用于Data生成新RData (8) Path:=Backtrack(RData);对Rdata递归调用本过程 (9) If Path=Fail, Go Loop; 递归调用失败，用另一规则测试 (10)Return cons(R,Path). 过程返回解路径规则表 其中：变量 Data、Rules、R、Rdata、Path表示当前状态、规则集序表、当前使用规则、新生成状态、当前解路径。常量Nil、Fail、Loop表示空表、回溯点标识、循环标识。函数Return、Apprules、First、Tail、Gen、Go、Cons、Backtrack表示返回自变量值、求可用规则、表头、表尾、用R生成新状态、转移、构成新表且把自变量放前头、递归过程。 第二章 产生式系统搜索策略 2.1 回溯策略(Backtracking Strategies) 四皇后问题 问 题：在表格的同行、同列、同一斜线上不能同时有两张将牌。 综合数据库：Data=L(表)，元素(ij)，如(12,24,31,43),表中元素最多为4 规 则集 合：If 1≤i,j≤4 且Length Data=i-1 Then Append(Data (ij)) 共16条规则，每条Rij表示满足前提条件下，在i,j处放一Q将牌。 第二章 产生式系统搜索策略 2.1 回溯策略(Backtracking Strategies) Q Q Q Q Q Q (12,24,31,43) (11,21) 当以R11,R12, R13,…, R44顺序调用Backtrack时四皇后问题如搜索示意图(每个状态只写出增量)。可以看出结束时返回规则表(R12 R24 R31 R43) 0 (11) (12) (21) (22) (23) (24) (21) (22) (23) (24) (31) (32) (33) (34) (31) (32) (33) (34) (31) (41) (42) (43) (44) (41) (42) (43) 第二章 产生式系统搜索策略 2.1 回溯策略(Backtracking Strategies) 递归过程BACKTRACK1(DATALIST推广的回溯算法) (1) Data:=FIRST(DataList);