《自動規劃：理論和實踐》一書在深入研究智慧型規劃的基礎上，以計算機科學與技術專業碩士研究生教材的方式，對智慧型規劃做了全面、系統、完整的介紹。不但包括規劃表示、規劃產生、規劃空間搜尋等經典智慧型規劃內容，還包括圖規劃、基於約束可滿足的規劃、啟發式規劃、不確定性規劃、時態規劃和資源規劃等最新研究成果的系統整理與闡述。並且，它還結合智慧型規劃在機器人規劃、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 模型檢測
參考文獻
英漢名詞對照索引
