状态空间法问题归约法谓词逻辑法语义网络法框架表示法.pptVIP

  • 21
  • 0
  • 约5.22千字
  • 约 16页
  • 2017-10-22 发布于上海
  • 举报

状态空间法问题归约法谓词逻辑法语义网络法框架表示法.ppt

状态空间法问题归约法谓词逻辑法语义网络法框架表示法

问题的状态图(搜索问题) 将问题用向量 A=(x0,x1,x2…..x8) 表示;Xi 为变量, Xi的值就是方格内的数字。那么: 初始状态:So=(0,2,8,3,4,5,6,7,1) 目标状态:Sg=(0,1,2,3,4,5,6,7,8) 移动规则变成状态规则(操作)即: r1(x0=0)?(x2=n)→x0=n? x2=0: …… 问题:能否用矩阵表示。 * * 状态空间法 问题归约法 谓词逻辑法 语义网络法 框架表示法 剧本表示法 过程表示法 面向对象表示法 知识表示方法 广度优先搜索也称为宽度优先搜索,它是一种先生成的节点先扩展的策略。这种搜索策略的搜索过程是:从初始节点开始逐层向下扩展,在第n层节点还没有全部搜索完之前,不进入第n+l层节点的搜索。Open表中的节点总是按进入的先后排序,先进入Open表的节点排在前面,后进入 Open表的节点排在后面。 广度优先搜索算法如下: (l)把初始节点S0放入Open表中; (2)如果Open表为空,则问题无解,失败退出; (3)把 Open表的第一个节点取出放入Closed表,并记该节点为n; (4)考察节点n是否为目标节点。若是,则得到问题的解,成功退出; (5)若节点n不可扩

文档评论(0)

1亿VIP精品文档

相关文档