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

定　價：￥55.00

作　者：	谷文祥等著
出版社：	科學出版社
叢編項：
標　簽：	計算機理論

購買這本書可以去

ISBN：	9787030273604	出版時間：	2010-05-01	包裝：	平裝
開本：	大16開	頁數(shù)：	284	字數(shù)：

內容簡介

　　《智能規(guī)劃與規(guī)劃識別》是人工智能研究領域的熱點問題。《智能規(guī)劃與規(guī)劃識別》分門別類地介紹了最近十幾年國內相關研究的主要成果，著重介紹了在圖規(guī)劃框架下智能規(guī)劃的研究工作。主要有圖規(guī)劃、最小承諾圖規(guī)劃、靈活圖規(guī)劃、數(shù)值圖規(guī)劃、時序規(guī)劃、不確定規(guī)劃。對于規(guī)劃識別主要介紹了Kautz的規(guī)劃識別理論、基于目標圖分析的目標識別、基于回歸圖分析的規(guī)劃識別，以及對手規(guī)劃的識別與應對等?！吨悄芤?guī)劃與規(guī)劃識別》可作為計算機專業(yè)碩士研究生或博士研究生教材，也可供研究人員和工程技術人員參考。

作者簡介

暫缺《智能規(guī)劃與規(guī)劃識別》作者簡介

圖書目錄

前言
第一章緒論
1.1 智能規(guī)劃發(fā)展歷史
1.2 智能規(guī)劃的應用
1.2.1 在航空航天中的應用
1.2.2 在機器人中的應用
1.2.3 在智能工廠中的應用
1.2.4 在商業(yè)中的應用
1.3 本書概要
參考文獻
第二章規(guī)劃表示語言
2.1 STRIPS表示
2.2 動作描述語言
2.3 規(guī)劃領域定義語言
2.3.1 PDDL的提出及其背景
2.3.2 PDDL各版本簡介
2.4 規(guī)劃語言的發(fā)展
參考文獻
第三章圖規(guī)劃
3.1 經典規(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)代經典規(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 約束可滿足問題求解技術
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ā)式的設計原則——放松
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 相關工作
4.4 FF規(guī)劃系統(tǒng)
4.4.1 FF系統(tǒng)結構
4.4.2 符號說明
4.4.3 用Graphplan作為啟發(fā)式估計
4.4.4 爬山算法的一個新的變體
4.4.5 剪枝技術
4.4.6 擴展到ADL域
4.5 LPG
4.5.1 在動作圖空間中的局部搜索
4.5.2 相鄰狀態(tài)的提煉
4.5.3 模型化規(guī)劃質量
4.6 小結
參考文獻
第五章符號模型檢測理論
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結構
5.3.3 計算樹邏輯
5.4 二元決策圖
5.4.1 OBDD的值
5.4.2 BDD的化簡
5.5 符號模型檢測
5.6 轉移關系的劃分
參考文獻
第六章不確定規(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 結論及未解決的問題
6.3 一致圖規(guī)劃
6.3.1 CGP概述
6.3.2 預備知識
6.3.3 CGP算法
6.3.4 結論及未解決的問題
6.4 感知圖規(guī)劃
6.4.1 SGP概述
6.4.2 預備知識
6.4.3 SGP算法
6.4.4 結論
參考文獻
第七章五屆國際規(guī)劃比賽綜述
7.1 第一屆國際規(guī)劃競賽IPC-1
7.1.1 參賽規(guī)劃器
7.1.2 比賽所用的語言及測試域
7.1.3 比賽結果
……
參考文獻
第八章規(guī)劃識別
第九章對手規(guī)劃
參考文獻
附錄A 相關項目與會議
附錄B 主要智能規(guī)劃器