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

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