自動規(guī)劃

內(nèi)容概要

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

作者簡介

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

書籍目錄

譯者的話1序言3前言5符號表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部分　時間和資源約束規(guī)劃　第13章　規(guī)劃中的時間　第14章　時態(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章　機器人規(guī)劃　第21章　工藝性能分　析規(guī)劃　第22章　應(yīng)急疏散規(guī)劃　第23章　橋牌游戲中的規(guī)劃第7部分　結(jié)論　第24章　其他規(guī)劃方法第8部分　附錄　附錄A　搜索程序和計算復(fù)雜性　附錄B　一階邏輯　附錄C　模型檢測參考文獻英漢名詞對照索引

章節(jié)摘錄

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

編輯推薦

《自動規(guī)劃:理論和實踐》由清華大學出版社出版。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

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

---