南邮自动化人工智能3-确定性推理.ppt

该【南邮自动化人工智能3-确定性推理 】是由【huanmouyo】上传分享，文档一共【50】页，该文档可以免费在线阅读，需要了解更多关于【南邮自动化人工智能3-确定性推理 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。1
产生式系统


问题：知识表示有那些方法？知识表示的目的是什么？构建智能系统的关键是什么？
图搜索策略
盲目搜索
启发式搜索
消解原理
规则演绎系统
202X
第三章 搜索推理技术
2
图搜索策略
思考：状态空间法的基本特点？基本推理方法？其求解结果是什么？简单回顾实例：猴子与香蕉。
3
图搜索策略
用一个四元表列（W，x，Y，z）表示这个问题状态
W 猴子的水平位置
x 当猴子在箱子顶上时取 x = 1；否则取 x = 0
Y 箱子的水平位置
z 当猴子摘到香蕉时取 z=1；否则取 z=0
算符：
Goto（U），
（W，0，Y，z） goto（U） （U，0，Y，z）
Pushbox（V），
（W，0，W，z） pushbox（V） （V，0，V，z）
Climbbox，
（W，0，W，z） climbbox （W，1，W，z）
Grasp，
（c，1，c，0） grasp （c，1，c，1）
4
(b，1，b，0)
（U，0，b，0）
（V，0，V，0）
（c，1，c，0）
（U，0，V，0）
（c，1，c，1）
（a，0，b，0）
U=b，climbbox
猴子和香蕉问题的状态空间图
提问：人工搜索求解的解答？
目标状态
goto（U）
goto（U）
goto（U）
U=b, pushbox（V）
pushbox（V）
goto（U）
V≠c，climbbox
V=c，climbbox
图搜索策略
5
猴子和香蕉问题自动演示：
猴子
香蕉
箱子
猴子
香蕉
箱子
Ha!Ha!
图搜索策略
思考：计算机的搜索策略？
6
图搜索策略
图搜索控制策略:一种在图中寻找路径的方法。
图中每个节点对应一个状态;
每条连线对应一个操作符。
图搜索过程（GraphSearch）
单击此处添加正文，文字是您思想的提炼，为了演示发布的良好效果，请言简意赅地阐述您的观点。您的内容已经简明扼要，字字珠玑，但信息却千丝万缕、错综复杂，需要用更多的文字来表述；但请您尽可能提炼思想的精髓，否则容易造成观者的阅读压力，适得其反。
7
开始
把S放入OPEN表
OPEN表为空表？
把第一个节点(n)从OPEN表移至CLOSED表
n为目标节点吗？
把n的后继节点放入OPEN表的末端，提供返回节点n的指针
修改指针方向
重排OPEN表
失败
成功
图搜索过程框图
是
是
否
否
图搜索策略
(1)
(3)
(4)
(5)
(6)
(7)
(7)
(8)
(9)
OPEN
CLOSED
(1)
(2)
宽度优先
8
图搜索的一般过程如下：
建立一个只含有起始节点S的搜索图G，把S放到一个叫做OPEN 的未扩展节点表中。
建立一个叫做CLOSED的已扩展节点表，其初始为空表.
LOOP：若OPEN表是空表，则失败退出。
选择OPEN表上的第一个节点，把它从OPEN表移出并放进CLOSED表中。称此节点为节点n
若n为一目标节点，则有解并成功退出，此解是追踪图G中沿着指针从n到S这条路径而得到的(指针将在第7步中设置)。
图搜索策略
9
扩展节点n，同时生成不是n的祖先的那些后继节点的集合M。把M的这些成员作为n的后继节点添入图G中。
对那些未曾在G中出现过的M成员设置一个通向n的指针。把M的这些成员加进OPEN表。对已经在OPEN或CLOSED表上的每一个M成员，确定是否需更改通到n的指针方向。对已在CLOSED表上的每个M成员，确定是否需要更改图G中通向它的每个后裔节点的指针方向。
按某一任意方式或按某个探试值，重排OPEN表。
GO LOOP。
图搜索策略
图搜索策略
2025/1/21
10
图搜索的实质是从问题空间中找出一张包含目标节点的子图。
图搜索的结果：1，一个完整的搜索图G。2一个解路径，用指针表示的解路径。
Procedure Graph Search
G=G0(G0=s),open=(s) //s:初始状态
closed=()
3Loop:if open=() then exit(fall)
n←first(open) remove(n,open), add(n,closed)
if goal(n) then exit(success)
6{mj} ←expand(n), //mj不含n的先辈节点
open←add(open，mj) // mj不在open，closed中