AI-3 4 搜索推理技术.ppt

搜索推理技术 图搜索策略 盲目搜索 启发式搜索 消解原理 规则演绎系统 产生式系统 Example: Measuring problem Problem: Using these three buckets, measure 7 liters of water. (one possible) Solution: a b c 0 0 0 start (another possible) Solution: a b c 0 0 0 start Which solution do we prefer? 图搜索策略 图搜索控制策略 一种在图中寻找路径的方法 图中每个节点对应一个状态，每条连线对应一个操作符。这些节点和连线又分别由产生式系统的数据库和规则来标记 求得把一个数据库变换为另一数据库的规则序列问题就等价于求得图中的一条路径问题 在状态空间图中，搜索一条从初始节点到目标节点的路径 图搜索的一般过程 建立一个只含有起始节点S的搜索图G，把S放到一个叫做OPEN 的未扩展节点表中 建立一个叫做CLOSED的已扩展节点表，其初始为空表 LOOP：若OPEN表是空表，则失败退出 选择OPEN表上的第一个节点，把它从OPEN表移出并放进CLOSED表中。称此节点为节点n 若n为一目标节点，则有解并成功退出，此解是追踪图G中沿着指针从n到S这条路径而得到的（指