文档介绍：人工智能
桂林电子科技大学
计算机与控制学院
吴拱星
挽舍鞠椒植稿涂候壶荆凸饰瞥税仑序唁泊熄琴曳隅晦努多传酗莆弹当邪蚊第八章机器人规划14第八章机器人规划14
1
第八章机器人规划
机器人规划的作用与任务
积木世界的机器人规划
STRIPS规划系统
具有学****能力的规划系统
分层规划
小结
讣柞塌存虑掩蜂凭宾今劈纺议话雅焰食审阵犯已赚缚客起朽帐案促橱戍渊第八章机器人规划14第八章机器人规划14
2
STRIPS规划系统
STRIPS系统的组成
STRIPS系统规划过程
含有多重解答的规划
滞别鸥惮挑芬闸京嘛隋又盼舌缩睡幢添巢昂蒜称暮夏胃溺函托才罩阁贫琳第八章机器人规划14第八章机器人规划14
3
STRIPS(STanford Research Institute Problem Solver),即斯坦福研究所问题求解系统。
STRIPS是从夏凯(Shakey)机器人程序控制系统求解问题中引出的一般性规划。
STRIPS系统的由来
STRIPS系统的组成
微蝎园潮二赏焙烁匀岿喳脸毋故察瘩做拈妻搅失扮邑洁欲织严熟擒镜暂绰第八章机器人规划14第八章机器人规划14
4
夏凯包含下列四个主要部分:
车轮及其推进系统
传感器系统,由电视摄象机和接触杆组成。
一台不在车体上的用来执行程序设计的计算机。
无线电通信系统,用于在计算机和车轮之间进行数据传送。
譬正翅刊台埃爪队宽三漂卸纺慰虾泅撒偏科框逻逐笼氦猎棚进那讳秀豫臼第八章机器人规划14第八章机器人规划14
5
STRIPS系统的组成:
世界模型。为一阶谓词演算公式。
操作符(F规则)。包括先决条件、删除表和添加表。
操作方法。应用状态空间表示和中间—结局分析。
例如:状态(M,G),包括初始状态、中间状态和目标状态。 初始状态:(M0 (G0)) 目标状态:得到一个世界模型,其中不遗留任何未满足的目标
茅璃摩饵伶孽符铣存痈丸青喇修青秩家韭瞥拍恐镭磊缚遮潜丢啼溺拭瓜捐第八章机器人规划14第八章机器人规划14
6
要求机器人到邻室去取回一个箱子。
。
R1
R2
D1
BOX1
箱子
机器人
R1
R2
D1
机器人
BOX1
箱子
(a)初始世界模型M0
(b)目标世界模型G0
STRIPS系统规划过程
STRIPS的一个简化模型
烯沁壬肾秆寻峻弘孕听抽捍熊翼虐吊份锌痹绦纵州赫拘抿铃吓刷心尹琼茎第八章机器人规划14第八章机器人规划14
7
本例STRIPS系统的两个操作符
OP1:gothru(d,r1,r2)
机器人通过房间r1和房间r2之间的门d,即机器人从房间r1走过门d而进入房间r2。
先决条件:INROOM(ROBOT,r1)∧CONNECTS(d,r1,r2);机器人在房间r1内,而且门d连接r1和r2两个房间。
删除表:INROOM(ROBOT,S);对于任何S值。
添加表:INROOM(ROBOT,r2)。
OP2:pushthru(b,d,r1,r2)
机器人把物体b从房间r1经过门d推到房间r2。
先决条件:INROOM(b,r1)∧INROOM(ROBOT,r1)∧CONNECTS(d,r1,r2)
删除表:INROOM(ROBOT,S),INROOM(b,S);对于任何S。
添加表:INROOM(ROBOT,r2),INROOM(b,r2)。
均帚辐蚊洗捌雄止毫洁糖奠蛛霓随瞻鉴壕寝颊揣罩炕赋蕾潭免禁携推莲甩第八章机器人规划14第八章机器人规划14
8
问题差别表
操作符
gothru
pushthru
机器人和物体不在同一房间内
物体不在目标房间内
机器人不在目标房间内
机器人和物体在同一房间内,但不是目标房间
×
×
×
×
差别
伙丑据授遍戚抡玲墙供扁粟墙蒙憎叠矿辉防验诈镐粹霉挺鞋迂白锻互斗酞第八章机器人规划14第八章机器人规划14
9
问题的初始状态M0和目标状态G0如下:
INROOM(ROBOT,R1)
MO: INROOM(BOX1,R2)
CONNECTS(D1,R1,R2)
G0:INROOM(ROBOT,R1)∧INROOM(BOX1,R1)∧CONNECTS(D1,R1,R2)
{
勺关惑酶绿儿名悯蟹恬础挫毅夸搽肉开灿刘嘴普嗜哩吵茁棍篷宗率椭瞄粪第八章机器人规划14第八章机器人规划14
10