本書是一部綜述性專著,分門別類地介紹了最近十幾年國內(nèi)外相關(guān)研究的主要成果,著重介紹了在圖規(guī)劃框架下智能規(guī)劃的研究工作,特別關(guān)注當(dāng)前研究的熱點(diǎn)、難點(diǎn)問題,系統(tǒng)、全面地研究了其間出現(xiàn)的各種新方法,客觀、深入地介紹了各項(xiàng)研究成果,重點(diǎn)展示對手規(guī)劃的識別與應(yīng)對,敵意規(guī)劃的識別與應(yīng)對以及網(wǎng)絡(luò)入侵規(guī)劃的識別與應(yīng)對技術(shù)的研究現(xiàn)狀及面臨的問題,試圖勾畫出目前智能規(guī)劃研究的重要方面、關(guān)鍵技術(shù)及其發(fā)展趨勢。并結(jié)合我們自己的實(shí)際研究工作,以智能規(guī)劃的發(fā)展過程為對象,以對手規(guī)劃方法為中心,以對圖規(guī)劃進(jìn)行的擴(kuò)展為主線,綜述了智能規(guī)劃整體及其結(jié)構(gòu)演進(jìn)的大勢大略,總結(jié)了國內(nèi)外有關(guān)理論書籍和文獻(xiàn),著重介紹了1995年以來十幾年的發(fā)展情況。
《對手規(guī)劃的識別與應(yīng)對》綜述了國內(nèi)外學(xué)者的相關(guān)研究,對對手規(guī)劃的研究歷史、研究現(xiàn)狀、研究方法和發(fā)展趨勢等重要問題進(jìn)行了比較詳細(xì)的討論,并在智能規(guī)劃與規(guī)劃識別的基礎(chǔ)上,從對手領(lǐng)域出發(fā)引入對手規(guī)劃的相關(guān)內(nèi)容,詳細(xì)介紹了適合一定對手領(lǐng)域的對手規(guī)劃的識別和應(yīng)對方法。《對手規(guī)劃的識別與應(yīng)對》以簡明、通俗的語言把智能規(guī)劃與規(guī)劃識別、對手規(guī)劃的識別與應(yīng)對、敵意規(guī)劃的識別與應(yīng)對、網(wǎng)絡(luò)入侵規(guī)劃的識別與應(yīng)對這一前沿的科學(xué)理論和方法介紹給廣大讀者。
《對手規(guī)劃的識別與應(yīng)對》可作為計(jì)算機(jī)專業(yè)碩士研究生或博士研究生教材,也可供相關(guān)領(lǐng)域研究人員和工程技術(shù)人員參考。
前言
第1章 緒論
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)
第2章 規(guī)劃表示語言
2.1 STRIPS表示
2.2 動作描述語言
2.3 規(guī)劃領(lǐng)域定義語言
2.3.1 PDDL的提出及其背景
2.3.2 PDDL各版本簡介
2.4 規(guī)劃語言的發(fā)展
參考文獻(xiàn)
第3章 圖規(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 擴(kuò)張規(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 預(yù)備知識
3.4.2 最小承諾的圖規(guī)劃算法
3.4.3 簡單的規(guī)劃問題舉例
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 IP2擴(kuò)展法
3.5.5 利用兄弟元件改進(jìn)要素?cái)U(kuò)展法
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 以目標(biāo)為導(dǎo)向的靈活圖規(guī)劃
3.7.5 基于啟發(fā)式搜索的靈活規(guī)劃
3.7.6 基于軟約束的多智能體靈活規(guī)劃
3.7.7 靈活圖規(guī)劃方法特性
3.8 數(shù)值圖規(guī)劃
3.8.1 ADL中的基本概念
3.8.2 RRL
……
第4章 啟發(fā)式規(guī)劃方法
第5章 符號模型檢測理論
第6章 不確定規(guī)劃
第7章 對象集合動態(tài)可變的圖規(guī)劃
第8章 八屆國際規(guī)劃比賽綜述
第9章 規(guī)劃識別
第10章 對手規(guī)劃的識別與應(yīng)對
第11章 敵意規(guī)劃的識別與應(yīng)對
第12章 網(wǎng)絡(luò)信息對抗領(lǐng)域的敵意規(guī)劃的識別與應(yīng)對
附錄A 相關(guān)項(xiàng)目與會議
附錄B 主要智能規(guī)劃器
附錄C Kautz規(guī)劃識別的算法描述