《自動規劃》【原出版社】MorganKaufmann
【作者】(法)MalikGhallab;(美)DanaNau;(意)PaoloTraverso[同作者作品]
【譯者】姜雲飛;楊強;凌應標[同譯者作品]
【出版社】清華大學出版社
【書號】9787302163831
【出版日期】2008年3月
【開本】16開
【頁碼】621
【版次】1-1
【所屬分類】計算機>人工智慧>綜合
尤其是在規劃基本理論以及規劃求解技術的介紹方面，本書精心安排，晝做到由淺入深地對現有各種先進規劃技術加以介紹，並且附有相應的實例和相關圖形，讓讀者在輕鬆掌握各種先進規劃技術的同時，對智慧型規劃技術的發展脈絡有一個清醒的認識。因此，本書一本能快速引導讀者進入智慧型規劃研究領域的不可多得的教材。
內容簡介
智慧型規劃是人工智慧的一個重要研究領域。其主要思想是：對周圍環境進行認識與分析，根據預定實現的目標，對若干可供選擇的動作及所提供的資源限制施行推理，綜合制定出實現目標的動作序列——規劃。由於智慧型規劃在工廠的車間作業調度、現代物流管理中物資運輸調度、智慧型機器人的動作規劃以及宇航技術等領域中有廣泛的套用，受到研究者的重視，現在已經成為人工智慧研究的熱點。
本書在深入研究智慧型規劃的基礎上，以計算機科學與技術專業碩士研究生教材的方式，對智慧型規劃做了全面、系統、完整的介紹。不但包括規劃表示、規劃產生、規劃空間搜尋等經典智慧型規劃內容，還包括圖規劃、基於約束可滿足的規劃、啟發式規劃、不確定性規劃、時態規劃和資源規劃等最新研究成果的系統整理與闡述。
並且，本書還結合智慧型規劃在機器人規劃、CAD/CAM、應急疏散規劃等上的套用介紹了實用的規劃示例和系統。對推動智慧型規劃的研究和套用具有重要作用。本書是國際上第一本專門論述智慧型規劃的教材。可以作為碩士研究生或博士生的教材，也可供研究人員和工程技術人員參考。
目錄
譯者的話1
序言3
前言5
符號表9
第1章 引言和概述
第1部分 經典規劃
第2章 經典規劃的表示
第3章 經典規劃的複雜性
第4章 狀態空間規劃
第5章 規劃空間規劃
第2部分 類經典規劃
第6章 圖規劃技術
第7章 命題可滿足技術
第8章 約束可滿足技術
第3部分 啟發式信息和控制策略
第9章 規劃中的啟發式信息
第10章 規劃中的控制規則
第11章 分 層任務網路規劃
第12章 演繹規劃中的控制策略
第4部分 時間和資源約束規劃
第13章 規劃中的時間
第14章 時態規劃
第15章 規劃與資源調度
第5部分 不確定規劃
第16章 基於Markov決策過程的規劃
第17章 基於模型檢測的規劃
第18章 用於不確定規劃的類經典技術
第6部分 案例研究與套用
第19章 空間套用
第20章 機器人規劃
第21章 工藝性能分 析規劃
第22章 應急疏散規劃
第23章 橋牌遊戲中的規劃
第7部分 結論
第24章 其他規劃方法
第8部分 附錄
附錄A 搜尋程式和計算複雜性
附錄B 一階邏輯
附錄C 模型檢測
參考文獻
英漢名詞對照索引
書摘
第1章引言和概述
1.1規劃的直觀含義
規劃是關於動作的推理。它是一種抽象的、清晰的深思熟慮過程，這個過程通過預期動作的期望效果，選擇和組織一組動作，其目的是儘可能好地實現一些預先給定的目標。而智慧型規劃則是人工智慧（AI）中專門從計算上研究這個深思熟慮過程的一個領域。
我們的某些動作需要規劃，但是很多的動作不需要規劃。在日常活動中，我們總是在做動作，並預期我們動作的結果，即使我們並沒有完全意識到這個預期的過程。我們更多地是在沒有明顯規劃的情況下行動，而不是有意識地在行動之前施行一個明顯的規划過程。當我們關於動作的知識能夠直接地給出一個動作的結果時，或者當我們執行一套事先已系統訓練並已存儲在我們頭腦中的計畫時，或者當我們可以在行動中隨時調整我們的動作時，我們通常不對動作做規劃而是在行動中調整。
當遇見了新的情況，或者需要完成複雜的任務，實現複雜的目標，或者對動作還不是很熟悉的時候，我們就需對目的性強的活動認真思考。此外，在動作的使用受到某種約束的時候，我們也要使用規劃，例如，在危險性大和費用很高的關鍵環境中，或者要與其他人聯合行動，或者需要與實現某一個動態系統同步的活動。因為規劃是非常複雜的，是費時且費錢的過程，只有在非常需要的時候或者因規劃所帶來的花費比獲得的利益小的時候，我們才使用規劃。同時，在規劃中，我們一般只尋求好的可行計畫，而不是尋找最佳計畫。
