智能規(guī)劃與規(guī)劃識別

前言
第一章 緒論
1.1 智能規(guī)劃發(fā)展歷史
1.2 智能規(guī)劃的應(yīng)用
1.2.1 在航空航天中的應(yīng)用
1.2.2 在機器人中的應(yīng)用
1.2.3 在智能工廠中的應(yīng)用
1.2.4 在商業(yè)中的應(yīng)用
1.3 本書概要
參考文獻
第二章 規(guī)劃表示語言
2.1 STRIPS表示
2.2 動作描述語言
2.3 規(guī)劃領(lǐng)域定義語言
2.3.1 PDDL的提出及其背景
2.3.2 PDDL各版本簡介
2.4 規(guī)劃語言的發(fā)展
參考文獻
第三章 圖規(guī)劃
3.1 經(jīng)典規(guī)劃
3.1.1 問題定義
3.1.2 狀態(tài)空間規(guī)劃
3.1.3 規(guī)劃空間規(guī)劃
3.1.4 偏序規(guī)劃與全序規(guī)劃
3.1.5 現(xiàn)代經(jīng)典規(guī)劃
3.2 圖規(guī)劃方法
3.2.1 基本概念
3.2.2 擴張規(guī)劃圖算法
3.2.3 搜索有效規(guī)劃算法
3.2.4 Graphplan的局限性與未解決的問題
3.3 求解方向的變形
3.3.1 正向求解
3.3.2 反向求解
3.3.3 基于雙向并行的圖規(guī)劃
3.4 最小承諾的圖規(guī)劃
3.4.1 預備知識
3.4.2 最小承諾的圖規(guī)劃算法
3.4.3 簡單的規(guī)劃問題舉例
3.4.4 最小承諾的圖規(guī)劃算法的優(yōu)缺點
3.5 圖規(guī)劃中的條件效果
3.5.1 條件效果
3.5.2 全擴展法
3.5.3 要素擴展法
3.5.4 IPP擴展法
3.5.5 利用兄弟元件改進要素擴展法
3.5.6 四種方法的比較
3.6 利用約束可滿足問題在規(guī)劃圖中求解
3.6.1 約束可滿足問題
3.6.2 約束可滿足問題求解技術(shù)
3.6.3 利用EBL和DDB提高圖規(guī)劃搜索效率
3.7 靈活圖規(guī)劃算法
3.7.1 圖規(guī)劃的局限性
3.7.2 靈活圖規(guī)劃問題
3.7.3 靈活圖規(guī)劃算法描述
3.7.4 靈活圖規(guī)劃方法特性
3.8 數(shù)值圖規(guī)劃
3.8.1 ADL中的基本概念
3.8.2 BRL
3.8.3 搜索算法
3.9 時序規(guī)劃
3.9.1 概述
3.9.2 時序動作
3.9.3 時序規(guī)劃圖
3.9.4 解搜索
參考文獻
第四章 啟發(fā)式規(guī)劃方法
4.1 啟發(fā)式的設(shè)計原則——放松
4.2 HSP
4.2.1 啟發(fā)式
4.2.2 搜索算法
4.2.3 HSP2.0——最優(yōu)最先搜索規(guī)劃器
4.3 HSP-r
4.3.1 狀態(tài)空間
4.3.2 啟發(fā)式
4.3.3 互斥
4.3.4 搜索算法
4.3.5 相關(guān)工作
4.4 FF規(guī)劃系統(tǒng)
4.4.1 FF系統(tǒng)結(jié)構(gòu)
4.4.2 符號說明
4.4.3 用Graphplan作為啟發(fā)式估計
4.4.4 爬山算法的一個新的變體
4.4.5 剪枝技術(shù)
4.4.6 擴展到ADL域
4.5 LPG
4.5.1 在動作圖空間中的局部搜索
4.5.2 相鄰狀態(tài)的提煉
4.5.3 模型化規(guī)劃質(zhì)量
4.6 小結(jié)
參考文獻
第五章 符號模型檢測理論
5.1 域描述語言NADL
5.1.1 采用NADL描述的規(guī)劃問題
5.1.2 NADL語法
5.1.3 NADL語義
5.1.4 NADL的OBDD表示
5.2 符號模型檢測方法的由來
5.3 邏輯及形式化表示
5.3.1 量化布爾公式
5.3.2 Kripke結(jié)構(gòu)
5.3.3 計算樹邏輯
5.4 二元決策圖
5.4.1 OBDD的值
5.4.2 BDD的化簡
5.5 符號模型檢測
5.6 轉(zhuǎn)移關(guān)系的劃分
參考文獻
第六章 不確定規(guī)劃
6.1 不確定規(guī)劃簡介
6.1.1 不確定規(guī)劃問題
6.1.2 不確定規(guī)劃問題的解
6.1.3 不確定規(guī)劃方法
6.2 圖規(guī)劃框架下的概率規(guī)劃
6.2.1 PGP概述
6.2.2 圖規(guī)劃框架下的表示方法
6.2.3 圖擴張算法
6.2.4 有效規(guī)劃提取算法
6.2.5 縮減狀態(tài)空間方法
6.2.6 結(jié)論及未解決的問題
6.3 一致圖規(guī)劃
6.3.1 CGP概述
6.3.2 預備知識
6.3.3 CGP算法
6.3.4 結(jié)論及未解決的問題
6.4 感知圖規(guī)劃
6.4.1 SGP概述
6.4.2 預備知識
6.4.3 SGP算法
6.4.4 結(jié)論
參考文獻
第七章 五屆國際規(guī)劃比賽綜述
7.1 第一屆國際規(guī)劃競賽IPC-1
7.1.1 參賽規(guī)劃器
7.1.2 比賽所用的語言及測試域
7.1.3 比賽結(jié)果
……
參考文獻
第八章 規(guī)劃識別
第九章 對手規(guī)劃
參考文獻
附錄A 相關(guān)項目與會議
附錄B 主要智能規(guī)劃器