人工智能機器人規(guī)劃優(yōu)秀課件

1、第七部分 機器人規(guī)劃,7.1 機器人規(guī)劃的作用與任務(wù) 7.2 積木機器的機器人規(guī)劃 7.3 STRIPS規(guī)劃系統(tǒng) 7.4 具有學(xué)習(xí)能力的規(guī)劃系統(tǒng) 7.5 基于專家系統(tǒng)的機器人規(guī)劃 7.6 小結(jié),2,7.1 機器人規(guī)劃的作用與任務(wù)7.1.1規(guī)劃的作用與問題分解途徑,規(guī)劃的概念及作用 規(guī)劃的概念 規(guī)劃是一種重要的問題求解技術(shù)，它從某個特定的問題狀態(tài)出發(fā)，尋求一系列行為動作，并建立一個操作序列，直到求得目標(biāo)狀態(tài)為止。 圖8.1 子規(guī)劃的分層結(jié)構(gòu)例子,3,規(guī)劃的作用 規(guī)劃可用來監(jiān)控問題求解過程，并能夠在造成較大的危害之前發(fā)現(xiàn)差錯。規(guī)劃的好處可歸納為簡化搜索、解決目標(biāo)矛盾以及為差錯補償提供基礎(chǔ)。 問題分

2、解途徑及方法 把某些比較復(fù)雜的問題分解為一些比較小的子問題。有兩條能夠?qū)崿F(xiàn)這種分解的重要途徑。 第一條重要途徑是當(dāng)從一個問題狀態(tài)移動到下一個狀態(tài)時，無需計算整個新的狀態(tài)，而只要考慮狀態(tài)中可能變化了的那些部分。 第二條重要途徑是把單一的困難問題分割為幾個有希望的較為容易解決的子問題,8.1自動規(guī)劃的作用與任務(wù),4,7.1.2機器人規(guī)劃系統(tǒng)的任務(wù)與方法,在規(guī)劃系統(tǒng)中，必須具有執(zhí)行下列各項任務(wù)的方法： 根據(jù)最有效的啟發(fā)信息，選擇應(yīng)用于下一步的最好規(guī)則。 應(yīng)用所選取的規(guī)則來計算由于應(yīng)用該規(guī)則而生成的新狀態(tài)。 對所求得的解答進行檢驗。 檢驗空端，以便舍棄它們，使系統(tǒng)的求解工作向著更有效的方向進行。 檢驗

3、殆正確的解答，并應(yīng)用具體的技術(shù)使之完全正確,8.1自動規(guī)劃的作用與任務(wù),5,7.2 積木世界的機器人規(guī)劃 7.2.1 積木世界的機器人問題,積木世界由一些有標(biāo)記的立方形積木，互相堆迭在一起構(gòu)成；機器人有個可移動的機械手，它可以抓起積木塊并移動積木從一處至另一處,6,在這個例子中機器人能夠執(zhí)行的動作舉例如下： unstack(a,b)：把堆放在積木b上的積木a拾起。在進行這個動作之前，要求機器人的手為空手，而且積木a的頂上是空的。 stack(a,b)：把積木a堆放在積木b上。動作之前要求機械手必須已抓住積木a，而且積木b頂上必須是空的。 pickup(a)：從桌面上拾起積木a，并抓住它不放。在

4、動作之前要求機械手為空手，而且積木a頂上沒有任何東西。 putdown(a)：把積木a放置到桌面上。要求動作之前機械手已抓住積木a,8.2 積木世界的機器人規(guī)劃,7,研究內(nèi)容是綜合機器人的動作序列，即在某個給定初始情況下，經(jīng)過某個動作序列而達到指定的目標(biāo)。 機器人問題的狀態(tài)描述和目標(biāo)描述均可用謂詞邏輯公式構(gòu)成： ON(a,b)：積木a在積木b之上。 ONTABLE(a)：積木a在桌面上。 CLEAR(a)：積木a頂上沒有任何東西。 HOLDING(a)：機械手正抓住積木a。 HANDEMPTY：機械手為空手,8.2 積木世界的機器人規(guī)劃,8,圖8.4(a)所示為初始布局的機器人問題。 目標(biāo)在于

5、建立一個積木堆，其中，積木B堆在積木C上面，積木 A又堆在積木B上面，如圖8.4(b)所示,8.2 積木世界的機器人規(guī)劃,9,初始布局可由下列謂詞公式的合取來表示： CLEAR(B)：積木B頂部為空 CLEAR(C)：積木C頂部為空 ON(C，A)：積木C堆在積木A上 ONTABLE(A)：積木A置于桌面上 ONTABLE(B)：積木B置于桌面上 HANDEMPTY：機械手為空手,8.2 積木世界的機器人規(guī)劃,10,7.2.2用F規(guī)則求解規(guī)劃序列,STRIPS規(guī)劃系統(tǒng)的規(guī)則由3部分組成： 第一部分是先決條件。 第二部分是一個叫做刪除表的謂詞。 第三部分叫做添加表,8.2 積木世界的機器人規(guī)劃,

6、11,例：表示堆積木的例子中move這個動作，如下所示： move(x,y,z)：把物體x從物體y上面移到物體z上面。 先決條件：CLEAR(x), CLEAR(z)，ON(x,y) 刪除表： ON(x,z)， CLEAR(z) 添加表： ON(x,z)， CLEAR(y) 如果move為此機器人僅有的操作符或適用動作，那么，可以生成如圖8.5所示的搜索圖或搜索樹,8.2 積木世界的機器人規(guī)劃,12,機器人的4個動作(或操作符)可用STRIPS形式表示如下： stack(X,Y) 先決條件和刪除表： HOLDING(X)CLEAR(Y) 添加表： HANDEMPTY，ON(X，Y) unsta

7、ck(X,Y) 先決條件： HANDEMPTYON(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,8.2 積木世界的機器人規(guī)劃,13,從初始狀態(tài)開始，正向地依次讀出連接弧線上的F規(guī)則，我們就得到一個能夠達到目標(biāo)狀態(tài)的動作序列（如圖8.6中粗

8、線所示）于下： unstack(C,A), putdown(C), pickup(B), stack(B,C), pickup(A), stack(A,B) 就把這個動作序列叫做達到這個積木世界機器人問題目標(biāo)的規(guī)劃,8.2 積木世界的機器人規(guī)劃,14,7.3 STRIPS規(guī)劃系統(tǒng),STRIPS的介紹 STRIPS是由Fikes、Hart和Nilsson3人在1981及1982研究成功的，它是夏凱(Shakey)機器人程序控制系統(tǒng)的一個組成部分。 STRIPS系統(tǒng)組成 世界模型：為一階謂詞演算公式； 操作符(F規(guī)則)：包括先決條件、刪除表和添加表； 操作方法：應(yīng)用狀態(tài)空間表示和中間-結(jié)局分析,1

9、5,7.4 具有學(xué)習(xí)能力的規(guī)劃系統(tǒng),PULP-機器人規(guī)劃系統(tǒng) PULP-機器人規(guī)劃系統(tǒng)是一種具有學(xué)習(xí)能力的 系統(tǒng)，它采用管理式學(xué)習(xí)，其作用原理是建立在類比(analogue)的基礎(chǔ)上的。 STRIPS的弱點 需要極其大量計算機內(nèi)存和時間等。 應(yīng)用具有學(xué)習(xí)能力的規(guī)劃系統(tǒng)能夠克服這一缺點,16,7.4.1 PULP-系統(tǒng)的結(jié)構(gòu)與操作方式,PULP-系統(tǒng)的結(jié)構(gòu) “字典”是英語詞 匯的集合。 “模型”部分包括模型世界 物體現(xiàn)有狀態(tài)的事實。 “過程”集中了予先準(zhǔn)備好的過程知識。 “方塊”集中了LISP程序，它配合“規(guī)劃”對“模型”進行搜索和修正,8.4 具有學(xué)習(xí)能力的規(guī)劃系統(tǒng),17,PULP-系統(tǒng)的操作

10、方式 PULP-系統(tǒng)具有兩種操作方式： 學(xué)習(xí)方式 在學(xué)習(xí)方式下，輸入 至系統(tǒng)的知識是由操作人 員或者所謂“教師”提供 的。圖8.15表示出在學(xué)習(xí) 方式下的系統(tǒng)操作,8.4 具有學(xué)習(xí)能力的規(guī)劃系統(tǒng),18,規(guī)劃方式 當(dāng)某個命令句子 送入系統(tǒng)時， PULP-就進入 規(guī)劃方式。上圖 表示PULP-系統(tǒng)在 規(guī)劃方式下的結(jié)構(gòu),8.4 具有學(xué)習(xí)能力的規(guī)劃系統(tǒng),19,7.5 基于專家系統(tǒng)的機器人規(guī)劃,機器人規(guī)劃專家系統(tǒng)就是用專家系統(tǒng)的結(jié)構(gòu)和技術(shù)建立起來的機器人規(guī)劃系統(tǒng)。 管理式學(xué)習(xí)能力的機器人規(guī)劃系統(tǒng)的不足： 表達子句的語義網(wǎng)絡(luò)結(jié)構(gòu)過于 復(fù)雜。 與復(fù)雜的系統(tǒng)內(nèi)部數(shù)據(jù)結(jié)構(gòu)有關(guān)的是， PULP-系統(tǒng)具有許多子系統(tǒng)

11、。而且需要 花費大量時間來編寫程序。 盡管PULP-系統(tǒng)的執(zhí)行速度要比 STRIPS 系列快得多，然而它仍然不夠快,20,7.5.1系統(tǒng)結(jié)構(gòu)和規(guī)劃機理,系統(tǒng)結(jié)構(gòu)及規(guī)劃機理,21,基于規(guī)劃的機器人規(guī)劃專家系統(tǒng)由5個部分組成，如圖8.20所示。 知識庫 控制策略 推理機 知識獲取 解釋與說明 基于規(guī)則的專家系統(tǒng)的目標(biāo)就是要通過逐條執(zhí)行規(guī)則及其有關(guān)操作來逐步地改變總數(shù)據(jù)庫的狀況，直到得到一個可接受的數(shù)據(jù)庫(稱為目標(biāo)數(shù)據(jù)庫)為止,8.5 基于專家系統(tǒng)的機器人規(guī)劃,22,任務(wù)級機器人規(guī)劃三要素 任務(wù)規(guī)劃是機器人高層規(guī)劃最重要的一個方面，它包含下列3個要素： 建立模型 建立機器人工作環(huán)境的世界模型。 任務(wù)說明 程序綜合 任務(wù)級機器人規(guī)劃的最后一步是綜合機械 手的程序,8.5 基于專家系統(tǒng)的機器人規(guī)劃,23,7.6