自動規(guī)劃：理論和實(shí)踐

定　價：￥75.00

作　者：	（法國%Paolo Traverso）Malik Ghallab 著；姜云飛譯
出版社：	清華大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	自動化基礎(chǔ)理論

購買這本書可以去

ISBN：	9787302163831	出版時間：	2008-03-01	包裝：	平裝
開本：	16	頁數(shù)：	621 pages	字?jǐn)?shù)：

內(nèi)容簡介

　　智能規(guī)劃是人工智能的一個重要研究領(lǐng)域。其主要思想是：對周圍環(huán)境進(jìn)行認(rèn)識與分析，根據(jù)預(yù)定實(shí)現(xiàn)的目標(biāo)，對若干可供選擇的動作及所提供的資源限制施行推理，綜合制定出實(shí)現(xiàn)目標(biāo)的動作序列——規(guī)劃。由于智能規(guī)劃在工廠的車間作業(yè)調(diào)度、現(xiàn)代物流管理中物資運(yùn)輸調(diào)度、智能機(jī)器人的動作規(guī)劃以及宇航技術(shù)等領(lǐng)域中有廣泛的應(yīng)用，受到研究者的重視，現(xiàn)在已經(jīng)成為人工智能研究的熱點(diǎn)。本書在深入研究智能規(guī)劃的基礎(chǔ)上，以計算機(jī)科學(xué)與技術(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ī)劃在機(jī)器人規(guī)劃、CAD/CAM、應(yīng)急疏散規(guī)劃等上的應(yīng)用介紹了實(shí)用的規(guī)劃示例和系統(tǒng)。對推動智能規(guī)劃的研究和應(yīng)用具有重要作用。本書是國際上第一本專門論述智能規(guī)劃的教材?？梢宰鳛榇T士研究生或博士生的教材，也可供研究人員和工程技術(shù)人員參考。

作者簡介

暫缺《自動規(guī)劃：理論和實(shí)踐》作者簡介

圖書目錄

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