自動(dòng)規(guī)劃

內(nèi)容概要

智能規(guī)劃是人工智能的一個(gè)重要研究領(lǐng)域。其主要思想是： 對周圍環(huán)境進(jìn)行認(rèn)識(shí)與分析，根據(jù)預(yù)定實(shí)現(xiàn)的目標(biāo)，對若干可供選擇的動(dòng)作及所提供的資源限制施行推理，綜合制定出實(shí)現(xiàn)目標(biāo)的動(dòng)作序列——規(guī)劃。由于智能規(guī)劃在工廠的車間作業(yè)調(diào)度、現(xiàn)代物流管理中物資運(yùn)輸調(diào)度、智能機(jī)器人的動(dòng)作規(guī)劃以及宇航技術(shù)等領(lǐng)域中有廣泛的應(yīng)用，受到研究者的重視，現(xiàn)在已經(jīng)成為人工智能研究的熱點(diǎn)。本書在深入研究智能規(guī)劃的基礎(chǔ)上，以計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)碩士研究生教材的方式，對智能規(guī)劃做了全面、系統(tǒng)、完整的介紹。不但包括規(guī)劃表示、規(guī)劃產(chǎn)生、規(guī)劃空間搜索等經(jīng)典智能規(guī)劃內(nèi)容，還包括圖規(guī)劃、基于約束可滿足的規(guī)劃、啟發(fā)式規(guī)劃、不確定性規(guī)劃、時(shí)態(tài)規(guī)劃和資源規(guī)劃等最新研究成果的系統(tǒng)整理與闡述。并且，本書還結(jié)合智能規(guī)劃在機(jī)器人規(guī)劃、CAD/CAM、應(yīng)急疏散規(guī)劃等上的應(yīng)用介紹了實(shí)用的規(guī)劃示例和系統(tǒng)。對推動(dòng)智能規(guī)劃的研究和應(yīng)用具有重要作用。    本書是國際上第一本專門論述智能規(guī)劃的教材?？梢宰鳛榇T士研究生或博士生的教材，也可供研究人員和工程技術(shù)人員參考。

作者簡介

作者：(法國)Malik Ghallab (意大利)Paolo Traverso 譯者：姜云飛 楊強(qiáng)

書籍目錄

譯者的話1序言3前言5符號(hào)表9第1章　引言和概述第1部分　經(jīng)典規(guī)劃　第2章　經(jīng)典規(guī)劃的表示　第3章　經(jīng)典規(guī)劃的復(fù)雜性　第4章　狀態(tài)空間規(guī)劃　第5章　規(guī)劃空間規(guī)劃第2部分　類經(jīng)典規(guī)劃　第6章　圖規(guī)劃技術(shù)　第7章　命題可滿足技術(shù)　第8章　約束可滿足技術(shù)第3部分　啟發(fā)式信息和控制策略　第9章　規(guī)劃中的啟發(fā)式信息　第10章　規(guī)劃中的控制規(guī)則　第11章　分　層任務(wù)網(wǎng)絡(luò)規(guī)劃　第12章　演繹規(guī)劃中的控制策略第4部分　時(shí)間和資源約束規(guī)劃　第13章　規(guī)劃中的時(shí)間　第14章　時(shí)態(tài)規(guī)劃　第15章　規(guī)劃與資源調(diào)度第5部分　不確定規(guī)劃　第16章　基于Markov決策過程的規(guī)劃　第17章　基于模型檢測的規(guī)劃　第18章　用于不確定規(guī)劃的類經(jīng)典技術(shù)第6部分　案例研究與應(yīng)用　第19章　空間應(yīng)用　第20章　機(jī)器人規(guī)劃　第21章　工藝性能分　析規(guī)劃　第22章　應(yīng)急疏散規(guī)劃　第23章　橋牌游戲中的規(guī)劃第7部分　結(jié)論　第24章　其他規(guī)劃方法第8部分　附錄　附錄A　搜索程序和計(jì)算復(fù)雜性　附錄B　一階邏輯　附錄C　模型檢測參考文獻(xiàn)英漢名詞對照索引

章節(jié)摘錄

第1章 引言和概述1.1規(guī)劃的直觀含義規(guī)劃是關(guān)于動(dòng)作的推理。它是一種抽象的、清晰的深思熟慮過程，這個(gè)過程通過預(yù)期動(dòng)作的期望效果，選擇和組織一組動(dòng)作，其目的是盡可能好地實(shí)現(xiàn)一些預(yù)先給定的目標(biāo)。而智能規(guī)劃則是人工智能（AI）中專門從計(jì)算上研究這個(gè)深思熟慮過程的一個(gè)領(lǐng)域。我們的某些動(dòng)作需要規(guī)劃，但是很多的動(dòng)作不需要規(guī)劃。在日?；顒?dòng)中，我們總是在做動(dòng)作，并預(yù)期我們動(dòng)作的結(jié)果，即使我們并沒有完全意識(shí)到這個(gè)預(yù)期的過程。我們更多地是在沒有明顯規(guī)劃的情況下行動(dòng)，而不是有意識(shí)地在行動(dòng)之前施行一個(gè)明顯的規(guī)劃過程。當(dāng)我們關(guān)于動(dòng)作的知識(shí)能夠直接地給出一個(gè)動(dòng)作的結(jié)果時(shí)，或者當(dāng)我們執(zhí)行一套事先已系統(tǒng)訓(xùn)練并已存儲(chǔ)在我們頭腦中的計(jì)劃時(shí)，或者當(dāng)我們可以在行動(dòng)中隨時(shí)調(diào)整我們的動(dòng)作時(shí)，我們通常不對動(dòng)作做規(guī)劃而是在行動(dòng)中調(diào)整。當(dāng)遇見了新的情況，或者需要完成復(fù)雜的任務(wù)，實(shí)現(xiàn)復(fù)雜的目標(biāo)，或者對動(dòng)作還不是很熟悉的時(shí)候，我們就需對目的性強(qiáng)的活動(dòng)認(rèn)真思考。此外，在動(dòng)作的使用受到某種約束的時(shí)候，我們也要使用規(guī)劃，例如，在危險(xiǎn)性大和費(fèi)用很高的關(guān)鍵環(huán)境中，或者要與其他人聯(lián)合行動(dòng)，或者需要與實(shí)現(xiàn)某一個(gè)動(dòng)態(tài)系統(tǒng)同步的活動(dòng)。因?yàn)橐?guī)劃是非常復(fù)雜的，是費(fèi)時(shí)且費(fèi)錢的過程，只有在非常需要的時(shí)候或者因規(guī)劃所帶來的花費(fèi)比獲得的利益小的時(shí)候，我們才使用規(guī)劃。同時(shí)，在規(guī)劃中，我們一般只尋求好的可行計(jì)劃，而不是尋找最佳計(jì)劃。

編輯推薦

《自動(dòng)規(guī)劃:理論和實(shí)踐》由清華大學(xué)出版社出版。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    自動(dòng)規(guī)劃 PDF格式下載

---