1、人工智能,Artificial Intelligence,第七章 机器人规划,7.1 机器人规划的作用与任务 7.2 积木机器的机器人规划 7.3 STRIPS规划系统 7.4 具有学习能力的规划系统 7.5 分层规划 7.6 基于专家系统的机器人规划 7.7 太空构件装配顺序规划 7.8 小结,2018/11/13,安徽大学 计算机科学与技术学院,3,7.1 机器人规划的作用与任务 7.1.1 规划的作用与问题分解途径,规划的概念及作用 规划的概念规划是一种重要的问题求解技术，它从某个特定的问题状态出发，寻求一系列行为动作，并建立一个操作序列，直到求得目标状态为止。图7.1 子规划的分层结构
2、例子,2018/11/13,安徽大学 计算机科学与技术学院,4,规划的作用规划可用来监控问题求解过程，并能够在造成较大的危害之前发现差错。规划的好处可归纳为简化搜索、解决目标矛盾以及为差错补偿提供基础。问题分解途径及方法把某些比较复杂的问题分解为一些比较小的子问题。有两条能够实现这种分解的重要途径。 第一条重要途径是当从一个问题状态移动到下一个状态时，无需计算整个新的状态，而只要考虑状态中可能变化了的那些部分。 第二条重要途径是把单一的困难问题分割为几个有希望的较为容易解决的子问题。,2018/11/13,安徽大学 计算机科学与技术学院,5,7.1.2 机器人规划系统的任务与方法,在规划系统中
3、，必须具有执行下列各项任务的方法：根据最有效的启发信息，选择应用于下一步的最好规则。应用所选取的规则来计算由于应用该规则而生成的新状态。对所求得的解答进行检验。检验空端，以便舍弃它们，使系统的求解工作向着更有效的方向进行。检验殆正确的解答，并应用具体的技术使之完全正确。,2018/11/13,安徽大学 计算机科学与技术学院,6,7.2 积木世界的机器人规划 7.2.1 积木世界的机器人问题,积木世界由一些有标记的立方形积木，互相堆迭在一起构成；机器人有个可移动的机械手，它可以抓起积木块并移动积木从一处至另一处。,2018/11/13,安徽大学 计算机科学与技术学院,7,在这个例子中机器人能够执
4、行的动作(函数)举例如下：unstack(a,b)：把堆放在积木b上的积木a拿起。在进行这个动作之前，要求机器人的手为空手，而且积木a的顶上是空的。stack(a,b)：把积木a堆放在积木b上。动作之前要求机械手必须已抓住积木a，而且积木b顶上必须是空的。pickup(a)：从桌面上拾起积木a，并抓住它不放。在动作之前要求机械手为空手，而且积木a顶上没有任何东西。putdown(a)：把积木a放置到桌面上。要求动作之前机械手已抓住积木a。,2018/11/13,安徽大学 计算机科学与技术学院,8,研究内容是综合机器人的动作序列，即在某个给定初始情况下，经过某个动作序列而达到指定的目标。机器人问
5、题的状态描述和目标描述均可用谓词逻辑公式构成：ON(a,b)：积木a在积木b之上。ONTABLE(a)：积木a在桌面上。CLEAR(a)：积木a顶上没有任何东西。HOLDING(a)：机械手正抓住积木a。HANDEMPTY：机械手为空手。,2018/11/13,安徽大学 计算机科学与技术学院,9,图7.1(a)所示为初始布局的机器人问题。目标在于建立一个积木堆，其中，积木B堆在积木C上面，积木 A又堆在积木B上面，如图7.1(b)所示。,2018/11/13,安徽大学 计算机科学与技术学院,10,初始布局可由下列谓词公式的合取来表示： CLEAR(B)：积木B顶部为空 CLEAR(C)：积木C
6、顶部为空 ON(C,A)：积木C堆在积木A上 ONTABLE(A)：积木A置于桌面上 ONTABLE(B)：积木B置于桌面上 HANDEMPTY：机械手为空手 目标布局: ON(B,C) ON(A,B) HANDEMPTY CLEAR(A) ONTABLE(C),A,C,B,C,B,A,2018/11/13,安徽大学 计算机科学与技术学院,11,7.2.2 用F规则求解规划序列,STRIPS规划系统的规则由3部分组成：第一部分是先决条件。第二部分是一个叫做删除表的谓词。第三部分叫做添加表。,2018/11/13,安徽大学 计算机科学与技术学院,12,例：表示堆积木的例子中move这个动作，如下
7、所示：move(x,y,z)：把物体x从物体y上面移到物体z上面。先决条件：CLEAR(x), CLEAR(z)，ON(x,y)删除表： ON(x,y)， CLEAR(z) 添加表： ON(x,z)， CLEAR(y) 如果move为此机器人仅有的操作符或适用动作，那么，可以生成如图7.2所示的搜索图或搜索树。,2018/11/13,安徽大学 计算机科学与技术学院,13,机器人的4个动作(或操作符)可用STRIPS形式表示如下：stack(X,Y)先决条件和删除表： HOLDING(X)CLEAR(Y)添加表： HANDEMPTY，ON(X,Y)unstack(X,Y)先决条件： HANDEM
8、PTYON(X,Y)CLEAR(X)删除表： ON(X,Y)，HANDEMPTY添加表： HOLDING(X)，CLEAR(Y)pickup(X)先决条件：ONTABLE(X)CLEAR(X)HANDEMPTY删除表： ONTABLE(X)HANDENPTY添加表： HOLDING(X)putdown(X)先决条件和删除表： HOLDING(X)添加表： ONTABLE(X)，HANDEMPTY,2018/11/13,安徽大学 计算机科学与技术学院,14,积木世界状态空间,A,B,C,A,B,C,A,B,C,A,B,C,A,B,C,A,B,C,A,B,C,A,B,C,A,B,C,A,B,C,A
9、,B,C,A,B,C,A,B,C,C,B,A,A,B,C,A,C,B,A,B,C,B,C,A,A,B,C,B,A,C,A,B,C,C,A,B,2018/11/13,安徽大学 计算机科学与技术学院,15,从初始状态开始，正向地依次读出连接弧线上的F规则，我们就得到一个能够达到目标状态的动作序列（如图7.3中粗线所示）于下：unstack(C,A), putdown(C), pickup(B), stack(B,C), pickup(A), stack(A,B)就把这个动作序列叫做达到这个积木世界机器人问题目标的规划。,2018/11/13,安徽大学 计算机科学与技术学院,16,7.3 STRIP
10、S规划系统,STRIPS的介绍STRIPS是由Fikes、Hart和Nilsson3人在1981及1982研究成功的，它是夏凯(Shakey)机器人程序控制系统的一个组成部分。STRIPS系统组成世界模型：为一阶谓词演算公式；操作符(F规则)：包括先决条件、删除表和添加表；操作方法：应用状态空间表示和中间-结局分析。,2018/11/13,安徽大学 计算机科学与技术学院,17,7.4 具有学习能力的规划系统,PULP-机器人规划系统PULP-机器人规划系统是一种具有学习能力的 系统，它采用管理式学习，其作用原理是建立在类比(analogue)的基础上的。STRIPS的弱点需要极其大量计算机内存
11、和时间等。应用具有学习能力的规划系统能够克服这一缺点。,2018/11/13,安徽大学 计算机科学与技术学院,18,7.4.1 PULP-系统的结构与操作方式,PULP-系统的结构“字典”是英语词汇的集合。 “模型”部分包括模型世界 物体现有状态的事实。 “过程”集中了予先准备好的过程知识。 “方块”集中了LISP程序，它配合“规划”对“模型”进行搜索和修正。,2018/11/13,安徽大学 计算机科学与技术学院,19,PULP-系统的操作方式PULP-系统具有两种操作方式：学习方式 在学习方式下，输入 至系统的知识是由操作人 员或者所谓“教师”提供 的。图7.15表示出在学习 方式下的系统操
12、作。,2018/11/13,安徽大学 计算机科学与技术学院,20,规划方式当某个命令句子 送入系统时， PULP-就进入 规划方式。上图 表示PULP-系统在 规划方式下的结构。,2018/11/13,安徽大学 计算机科学与技术学院,21,7.6 基于专家系统的机器人规划,机器人规划专家系统就是用专家系统的结构和技术建立起来的机器人规划系统。管理式学习能力的机器人规划系统的不足：表达子句的语义网络结构过于 复杂。与复杂的系统内部数据结构有关的是，PULP-系统具有许多子系统。而且需要花费大量时间来编写程序。尽管PULP-系统的执行速度要比 STRIPS系列快得多，然而它仍然不够快。,2018/
13、11/13,安徽大学 计算机科学与技术学院,22,7.6.1系统结构和规划机理,系统结构及规划机理,2018/11/13,安徽大学 计算机科学与技术学院,23,基于规划的机器人规划专家系统由5个部分组成，如图7.17所示。 知识库 控制策略 推理机 知识获取 解释与说明基于规则的专家系统的目标就是要通过逐条执行规则及其有关操作来逐步地改变总数据库的状况，直到得到一个可接受的数据库(称为目标数据库)为止。,2018/11/13,安徽大学 计算机科学与技术学院,24,任务级机器人规划三要素任务规划是机器人高层规划最重要的一个方面，它包含下列3个要素： 建立模型(world model)建立机器人工作环境的世界模型。 任务说明工作环境的位置决定状态，状态的变换规定任务。 程序综合任务级机器人规划的最后一步是综合机械手的程序。,2018/11/13,安徽大学 计算机科学与技术学院,25,7.8 小结,本章在说明了机器人规划的作用和任务后，主要讨论了几种机器人规划的方法： 规划演绎法。 逻辑演算和通用搜索法 具有学习能力的规划系统 基于专家系统的规划值得指出：第一，机器人规划已发展为综合应用多种方法的规划。第二，机器人规划方法已广泛应用于图象处理、计算机视觉等各领域。第三，机器人规划尚有一些进一步研究的问题，如多机器人协调规划和实时规划等。,
