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

定　價(jià)：￥55.00

作　者：	谷文祥等著
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	計(jì)算機(jī)理論

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787030273604	出版時(shí)間：	2010-05-01	包裝：	平裝
開(kāi)本：	大16開(kāi)	頁(yè)數(shù)：	284	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《智能規(guī)劃與規(guī)劃識(shí)別》作者簡(jiǎn)介

圖書(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 本書(shū)概要
參考文獻(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ī)劃器