SingleAgentSearch.pptVIP

Single Agent Search Rujia Liu Content AI(人工智能):通用问题求解器(GPS, General Problem Solver) Search这个词… Single Agent(代理, 智能体) Search 建模大部分工作放在状态空间(State Space) 给”所有可能是解的东西”建立一个模型 Path Finding: Sokoban 搬运工. 10*10, 最多5个箱子 格子: 人, 箱子,空地,障碍,目标,在目标中的箱子 状态空间(图, 很大, 且隐式) 所有可能出现的布局(结点) 及布局相互转化规则(边) 任务: 寻找S到{T}中任意元素的一条路径(隐式图搜索) 分析 最基本的分析: 6100 只有一个人! 100*C(99,5) 箱子只有5个 *3(空地,障碍,目标)94 空地、障碍固定. 3100 合并一下: 100*C(99,5) 修改状态空间定义: 20*C(k,5) k是内部空地的数目 Sokoban 通常,search对空间利用相当充分 type State = record box:array[1..5{,1..2}] of byte; ren{x,reny}: byte; end 空地编号: 12个字节 ? 6字节 状态转移 procedure expand(s:state); {如何利用s生成其他结点, 每推一次算一步} for i:=1 to 5 do for j:=1 to 4 do begin if (box[i]的j方向有空位置) and (相对位置可达) then begin 生成新状态s’ s’ := s; s’.box[i] := s.box[i]的j方向相邻格子坐标; s’.ren := s.box[i]; end; end; 树和图 不管是DFS还是BFS,得到的是树 但实际上是一个图,因此有重复结点生成 function Issame(s1, s2:state):boolean; begin Issame:=false; For i:=1 to 5 do If s1.box[i] s2.box[i] then exit; If s1.ren s2.ren then exit; Issame:=true; end; 问题 (?)人相互可达的问题 箱子位置排序? (trade-off) 状态定义里√ 扩展harder, 判重easier 判重时排 扩展easier, 判重harder 扩展一个, 判一个重(BFS) 算法 盲目 深度优先搜索DFS 广度优先搜索BFS 迭代加深搜索ID (iterative Deepening) 双向广度优先搜索Bi-directional *启发式 IDA* 深度优先搜索 procedure dfs(depth:integer; state:statetype); begin if state是解 then {处理} else If state是其他边界 then {….} else for state的每个儿子son do dfs(depth+1, son); end; DFS变形 state: statetype; procedure dfs(depth:integer); begin if 边界 then … else for 每个转移i do begin 用state自身做转移I dfs(depth+1); 恢复转移以前状态; end; end; 空间, 时间(复制工作,恢复工作) 宽度优先搜索 states:array[1..maxn] of statetype; a, b:integer; procedure bfs(start:statetype); begin states[1]:=start; a:=1; b:=2; repeat { if states[a]是解, then… (标准) } for states[a]的每个儿子son do begin if son在states[1..b]里没出现过 then begin if son是解, then… {有问题} states[b] := son; inc(b); end; end; inc(a); until 找到解; end; 判重细节 把states组织成hash table 先比较”特征”,