智能規(guī)劃與規(guī)劃識別

前言

插圖：智能規(guī)劃是一個涵蓋知識表達(dá)、知識推理、非單調(diào)邏輯、情景演算、知識挖掘、人機(jī)交互和認(rèn)知科學(xué)等許多方面的多領(lǐng)域交叉性學(xué)科，其發(fā)展不僅對于人工智能領(lǐng)域具有重要意義，甚至?xí)母旧细淖內(nèi)祟愂褂糜嬎銠C(jī)的傳統(tǒng)方式。智能規(guī)劃的發(fā)展已有五十多年的歷史，它的研究經(jīng)歷了創(chuàng)建與成長、曲折與停滯、而后蓬勃發(fā)展的艱難歷程。智能規(guī)劃是20世紀(jì)50年代后期迅速發(fā)展起來的一個研究領(lǐng)域，至今它的研究已達(dá)半個世紀(jì)之久，其發(fā)展對計算機(jī)科學(xué)、人工智能、認(rèn)知科學(xué)等領(lǐng)域產(chǎn)生了重要的影響，并廣泛應(yīng)用于機(jī)器人、自然語言理解、知識推理、人機(jī)交互、游戲角色設(shè)計等方面。20世紀(jì)70年代，此領(lǐng)域的研究達(dá)到了鼎盛時期，這期間出現(xiàn)了眾多規(guī)劃系統(tǒng)，取得了豐碩成果，奠定了現(xiàn)代智能規(guī)劃理論的研究基礎(chǔ)。之后，受到當(dāng)時客觀條件的制約，該領(lǐng)域一直處于保守狀態(tài)，甚至出現(xiàn)了某種程度的停滯。一些專家過于樂觀的想法并沒有實現(xiàn)，智能規(guī)劃的研究要比當(dāng)初人們預(yù)料的艱難得多、復(fù)雜得多。其發(fā)展道路非常曲折，某些學(xué)者甚至對智能規(guī)劃是否能夠發(fā)展下去產(chǎn)生了懷疑，但研究進(jìn)程的曲折以及對其前景的懷疑并沒有阻止該領(lǐng)域的發(fā)展，暫時的停滯只是孕育著新的進(jìn)展與突破。近年來，隨著應(yīng)用的需要以及客觀條件的改善，此領(lǐng)域獲得了長足發(fā)展。在歐美等發(fā)達(dá)國家掀起了智能規(guī)劃理論研究、應(yīng)用開發(fā)的熱潮，有關(guān)這一理論的研究成果不斷涌現(xiàn)。比較成熟的模型和相應(yīng)算法種類繁多，各種修正和演變模型、算法更是層出不窮。這些卓有成效的方法使得規(guī)劃系統(tǒng)的效率得到了顯著提高，并在現(xiàn)實世界中得到了廣泛應(yīng)用。在智能規(guī)劃自身強(qiáng)大優(yōu)勢的感召下，學(xué)者們對該方向產(chǎn)生了極大的興趣，該領(lǐng)域的活動也越來越多。學(xué)者們致力于使規(guī)劃系統(tǒng)解決的問題更多、求解的速度更快、求出的規(guī)劃解更優(yōu)。此領(lǐng)域的研究進(jìn)入了突飛猛進(jìn)的時代，呈現(xiàn)出一派生機(jī)勃勃的景象。值得注意的是，目前我國人工智能和其他相關(guān)學(xué)科領(lǐng)域的專家、學(xué)者、工程技術(shù)人員在智能規(guī)劃理論和應(yīng)用研究方面也取得了許多可喜的成績。但由于規(guī)劃問題的復(fù)雜性，現(xiàn)今仍有很多國際難題尚未解決，存在著巨大的研究空間。因此，未來此領(lǐng)域的研究無疑將繼續(xù)作為一個富有挑戰(zhàn)性的國際研究熱點，成為深刻影響人類的偉大工程。所以，作者很想通過本書將當(dāng)前的研究狀況呈現(xiàn)給對此領(lǐng)域感興趣的讀者，使其能夠全面、準(zhǔn)確地掌握智能規(guī)劃的基本原理、應(yīng)用方法及發(fā)展趨勢。

內(nèi)容概要

智能規(guī)劃與規(guī)劃識別是人工智能研究領(lǐng)域的熱點問題。本書分門別類地介紹了最近十幾年國內(nèi)相關(guān)研究的主要成果，著重介紹了在圖規(guī)劃框架下智能規(guī)劃的研究工作。主要有圖規(guī)劃、最小承諾圖規(guī)劃、靈活圖規(guī)劃、數(shù)值圖規(guī)劃、時序規(guī)劃、不確定規(guī)劃。對于規(guī)劃識別主要介紹了Kautz的規(guī)劃識別理論、基于目標(biāo)圖分析的目標(biāo)識別、基于回歸圖分析的規(guī)劃識別，以及對手規(guī)劃的識別與應(yīng)對等?！　”緯勺鳛橛嬎銠C(jī)專業(yè)碩士研究生或博士研究生教材，也可供研究人員和工程技術(shù)人員參考。

書籍目錄

前言第一章　緒論　1.1　智能規(guī)劃發(fā)展歷史　1.2　智能規(guī)劃的應(yīng)用　　1.2.1在航空航天中的應(yīng)用　　1.2.2在機(jī)器人中的應(yīng)用　　1.2.3在智能工廠中的應(yīng)用　　1.2.4在商業(yè)中的應(yīng)用　1.3　本書概要　參考文獻(xiàn)第二章　規(guī)劃表示語言　2.1　STRIPS表示　2.2　動作描述語言　2.3　規(guī)劃領(lǐng)域定義語言　　2.3.1　PDDL的提出及其背景　　2.3.2　PDDL各版本簡介　2.4　規(guī)劃語言的發(fā)展　參考文獻(xiàn)第三章　圖規(guī)劃　3.1　經(jīng)典規(guī)劃　　3.1.1　問題定義　　3.1.2　狀態(tài)空間規(guī)劃　　3.1.3　規(guī)劃空間規(guī)劃　　3.1.4　偏序規(guī)劃與全序規(guī)劃　　3.1.5　現(xiàn)代經(jīng)典規(guī)劃　3.2　圖規(guī)劃方法　　3.2.1　基本概念　　3.2.2　擴(kuò)張規(guī)劃圖算法　　3.2.3　搜索有效規(guī)劃算法　　3.2.4　Graphplan的局限性與未解決的問題　3.3　求解方向的變形　　3.3.1　正向求解　　3.3.2　反向求解　　3.3.3　基于雙向并行的圖規(guī)劃　3.4　最小承諾的圖規(guī)劃　　3.4.1　預(yù)備知識　　3.4.2　最小承諾的圖規(guī)劃算法　　3.4.3　簡單的規(guī)劃問題舉例　　3.4.4　最小承諾的圖規(guī)劃算法的優(yōu)缺點　3.5　圖規(guī)劃中的條件效果　　3.5.1　條件效果　　3.5.2　全擴(kuò)展法　　3.5.3　要素擴(kuò)展法　　3.5.4　IPP擴(kuò)展法　　3.5.5　利用兄弟元件改進(jìn)要素擴(kuò)展法　　3.5.6　四種方法的比較　3.6　利用約束可滿足問題在規(guī)劃圖中求解　　3.6.1　約束可滿足問題　　3.6.2　約束可滿足問題求解技術(shù)　　3.6.3　利用EBl。和DDB提高圖規(guī)劃搜索效率　3.7　靈活圖規(guī)赳算法　　3.7.1　圖規(guī)劃的局限性　　3.7.2　靈活圖規(guī)劃問題　　3.7.3　靈活圖規(guī)劃算法描述　　3.7.4　靈活圖規(guī)劃方法特性　3.8　數(shù)值圖規(guī)劃　　3.8.1　ADL中的基本概念　　3.8.2　BRL　　3.8.3　搜索算法　3.9　時序規(guī)劃　　3.9.1　概述　　3.9.2　時序動作　　3.9.3　時序規(guī)劃圖　　3.9.4　解搜索　參考文獻(xiàn)第四章　啟發(fā)式規(guī)劃方法第五章　符號模型檢測理論第六章　不確定規(guī)劃第七章　五屆國際規(guī)劃比賽綜述第八章　規(guī)劃識別第九章　對手規(guī)劃附錄A　相關(guān)項目與會議附錄B　主要智能規(guī)劃器

章節(jié)摘錄

1.前向狀態(tài)空間搜索前向規(guī)劃器（progression planner）主要進(jìn)行正向規(guī)劃，即從初始狀態(tài)到目標(biāo)狀態(tài)，考慮在一個給定狀態(tài)中的所有可能動作的所有效果。當(dāng)一個操作的前提條件在當(dāng)前狀態(tài)中都得到滿足，則該操作適用于當(dāng)前狀態(tài)。然后，我們利用當(dāng)前狀態(tài)與該操作生成后繼狀態(tài)，并且添加它的正效果（添加效果列表），刪除它的負(fù)效果（刪除效果列表）。直到20世紀(jì)90年代初期，前向規(guī)劃器一直被認(rèn)為是低效的，因為如果在一個狀態(tài)上有多個操作適用，那么它的分枝數(shù)量將是龐大的。而這些適用的操作中，又有相當(dāng)大的一部分是與達(dá)到目標(biāo)無關(guān)的。而且不幸的是，啟發(fā)式也無能為力，因為啟發(fā)式選取的是狀態(tài)，而不是操作，而在啟發(fā)式對狀態(tài)進(jìn)行選擇之前，必須得算出所有的后繼狀態(tài)。同時，很難設(shè)計出針對邏輯表示的好的啟發(fā)式。雖然存在表示在當(dāng)前狀態(tài)中還有多少個目標(biāo)的合取項未被滿足的啟發(fā)式，以及它的更精確的變體，但是它們本身的計算代價也是很大的。2.后向狀態(tài)空間搜索與前向規(guī)劃器相反，后向規(guī)劃器（regression planner）進(jìn)行的是反向規(guī)劃，即由目標(biāo)狀態(tài)到初始狀態(tài)，反向應(yīng)用操作，考慮為了達(dá)到一個狀態(tài)，在前一狀態(tài)中什么必須為真。如果一個動作的一個正效果（添加效果）在當(dāng)前子目標(biāo)中，則稱該操作適用于當(dāng)前目標(biāo)。然后，我們通過刪除該操作的負(fù)效果（刪除效果列表）并添加該操作的所有前提條件來計算當(dāng)前狀態(tài)的前驅(qū)狀態(tài)，并將該前驅(qū)狀態(tài)作為下一步的子目標(biāo)。具體過程將在本章的第3.3節(jié)中詳細(xì)介紹。后向規(guī)劃器有一個明顯的優(yōu)點，就是它只考慮相關(guān)的操作，即只將對實現(xiàn)目標(biāo)有作用的操作添加到搜索樹中。但是，對于一個相對復(fù)雜的問題，它的分枝依然是龐大的。所以，啟發(fā)式對于它的集中搜索來說，仍然是很重要的。圖3.1闡釋了前向狀態(tài)空間和后向狀態(tài)空間規(guī)劃過程的區(qū)別。二者的主要區(qū)別是由以下事實導(dǎo)致的：可能存在多個目標(biāo)狀態(tài)（甚至一個目標(biāo)狀態(tài)就一個操作來說，可能有多個前驅(qū)狀態(tài)），但只有一個初始狀態(tài)。在這種情況下，正向遍歷需要重復(fù)計算當(dāng)前狀態(tài)的后繼狀態(tài)；而在后向遍歷中，必須計算很大數(shù)目的目標(biāo)狀態(tài)的前驅(qū)狀態(tài)。因此，很難說哪一種方法更好。后向規(guī)劃雖然實現(xiàn)起來比較復(fù)雜，但是當(dāng)目標(biāo)狀態(tài)數(shù)目較多時，它允許同時考慮多個規(guī)劃前綴，每個引向一個目標(biāo)狀態(tài)。

編輯推薦

《智能規(guī)劃與規(guī)劃識別》是由科學(xué)出版社出版的。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    智能規(guī)劃與規(guī)劃識別 PDF格式下載

---