本書是一部綜述性專著,分門別類地介紹了最近十幾年國內外相關研究的主要成果,著重介紹了在圖規劃框架下智能規劃的研究工作,特別關注當前研究的熱點、難點問題,系統、全面地研究了其間出現的各種新方法,客觀、深入地介紹了各項研究成果,重點展示對手規劃的識別與應對,敵意規劃的識別與應對以及網絡入侵規劃的識別與應對技術的研究現狀及面臨的問題,試圖勾畫出目前智能規劃研究的重要方面、關鍵技術及其發展趨勢。并結合我們自己的實際研究工作,以智能規劃的發展過程為對象,以對手規劃方法為中心,以對圖規劃進行的擴展為主線,綜述了智能規劃整體及其結構演進的大勢大略,總結了國內外有關理論書籍和文獻,著重介紹了1995年以來十幾年的發展情況。
《對手規劃的識別與應對》綜述了國內外學者的相關研究,對對手規劃的研究歷史、研究現狀、研究方法和發展趨勢等重要問題進行了比較詳細的討論,并在智能規劃與規劃識別的基礎上,從對手領域出發引入對手規劃的相關內容,詳細介紹了適合一定對手領域的對手規劃的識別和應對方法!秾κ忠巹澋淖R別與應對》以簡明、通俗的語言把智能規劃與規劃識別、對手規劃的識別與應對、敵意規劃的識別與應對、網絡入侵規劃的識別與應對這一前沿的科學理論和方法介紹給廣大讀者。
《對手規劃的識別與應對》可作為計算機專業碩士研究生或博士研究生教材,也可供相關領域研究人員和工程技術人員參考。
前言
第1章 緒論
1.1 智能規劃發展歷史
1.2 智能規劃的應用
1.2.1 在航空航天中的應用
1.2.2 在機器人中的應用
1.2.3 在智能工廠中的應用
1.2.4 在商業中的應用
1.3 本書概要
參考文獻
第2章 規劃表示語言
2.1 STRIPS表示
2.2 動作描述語言
2.3 規劃領域定義語言
2.3.1 PDDL的提出及其背景
2.3.2 PDDL各版本簡介
2.4 規劃語言的發展
參考文獻
第3章 圖規劃
3.1 經典規劃
3.1.1 問題定義
3.1.2 狀態空間規劃
3.1.3 規劃空間規劃
3.1.4 偏序規劃與全序規劃
3.1.5 現代經典規劃
3.2 圖規劃方法
3.2.1 基本概念
3.2.2 擴張規劃圖算法
3.2.3 搜索有效規劃算法
3.2.4 Graphplan的局限性與未解決問題
3.3 求解方向的變形
3.3.1 正向求解
3.3.2 反向求解
3.3.3 基于雙向并行的圖規劃
3.4 最小承諾的圖規劃
3.4.1 預備知識
3.4.2 最小承諾的圖規劃算法
3.4.3 簡單的規劃問題舉例
3.4.4 最小承諾的圖規劃算法的優缺點
3.5 圖規劃中的條件效果
3.5.1 條件效果
3.5.2 全擴展法
3.5.3 要素擴展法
3.5.4 IP2擴展法
3.5.5 利用兄弟元件改進要素擴展法
3.5.6 四種方法的比較
3.6 利用約束可滿足問題在規劃圖中求解
3.6.1 約束滿足問題
3.6.2 約束滿足問題求解技術
3.6.3 用EBL和DDB提高圖規劃搜索效率
3.7 靈活圖規劃算法
3.7.1 圖規劃的局限性
3.7.2 靈活規劃問題
3.7.3 靈活圖規劃算法描述
3.7.4 以目標為導向的靈活圖規劃
3.7.5 基于啟發式搜索的靈活規劃
3.7.6 基于軟約束的多智能體靈活規劃
3.7.7 靈活圖規劃方法特性
3.8 數值圖規劃
3.8.1 ADL中的基本概念
3.8.2 RRL
……
第4章 啟發式規劃方法
第5章 符號模型檢測理論
第6章 不確定規劃
第7章 對象集合動態可變的圖規劃
第8章 八屆國際規劃比賽綜述
第9章 規劃識別
第10章 對手規劃的識別與應對
第11章 敵意規劃的識別與應對
第12章 網絡信息對抗領域的敵意規劃的識別與應對
附錄A 相關項目與會議
附錄B 主要智能規劃器
附錄C Kautz規劃識別的算法描述