前言
第一章 绪论
1.1 智能规划发展历史
1.2 智能规划的应用
1.2.1 在航空航天中的应用
1.2.2 在机器人中的应用
1.2.3 在智能工厂中的应用
1.2.4 在商业中的应用
1.3 本书概要
参考文献
第二章 规划表示语言
2.1 STRIPS表示
2.2 动作描述语言
2.3 规划领域定义语言
2.3.1 PDDL的提出及其背景
2.3.2 PDDL各版本简介
2.4 规划语言的发展
参考文献
第三章 图规划
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 IPP扩展法
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.8 数值图规划
3.8.1 ADL中的基本概念
3.8.2 BRL
3.8.3 搜索算法
3.9 时序规划
3.9.1 概述
3.9.2 时序动作
3.9.3 时序规划图
3.9.4 解搜索
参考文献
第四章 启发式规划方法
4.1 启发式的设计原则——放松
4.2 HSP
4.2.1 启发式
4.2.2 搜索算法
4.2.3 HSP2.0——最优最先搜索规划器
4.3 HSP—r
4.3.1 状态空间
4.3.2 启发式
4.3.3 互斥
4.3.4 搜索算法
4.3.5 相关工作
4.4 FF规划系统
4.4.1 FF系统结构
4.4.2 符号说明
4.4.3 用Graphplan作为启发式估计
4.4.4 爬山算法的一个新的变体
4.4.5 剪枝技术
4.4.6 扩展到ADL域
4.5 LPG
4.5.1 在动作图空间中的局部搜索
4.5.2 相邻状态的提炼
4.5.3 模型化规划质量
4.6 小结
参考文献
第五章 符号模型检测理论
5.1 域描述语言NADL
5.1.1 采用NADL描述的规划问题
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 转移关系的划分
参考文献
第六章 不确定规划
6.1 不确定规划简介
6.1.1 不确定规划问题
6.1.2 不确定规划问题的解
6.1.3 不确定规划方法
6.2 图规划框架下的概率规划
6.2.1 PGP概述
6.2.2 图规划框架下的表示方法
6.2.3 图扩张算法
6.2.4 有效规划提取算法
6.2.5 缩减状态空间方法
6.2.6 结论及未解决的问题
6.3 一致图规划
6.3.1 CGP概述
6.3.2 预备知识
6.3.3 CGP算法
6.3.4 结论及未解决的问题
6.4 感知图规划
6.4.1 SGP概述
6.4.2 预备知识
6.4.3 SGP算法
6.4.4 结论
参考文献
第七章 五届国际规划比赛综述
7.1 第一届国际规划竞赛IPC—1
7.1.1 参赛规划器
7.1.2 比赛所用的语言及测试域
7.1.3 比赛结果
7.1.4 冠军介绍
7.2 第二届国际规划竞赛IPC—2
7.2.1 参赛规划器
7.2.2 比赛所用的语言及测试域
7.2.3 比赛结果
7.2.4 冠军介绍
7.3 第三届国际规划竞赛IPC—3
7.3.1 参赛规划器
7.3.2 比赛所用的语言及测试域
7.3.3 比赛结果
7.3.4 冠军介绍
7.4 第四届国际规划竞赛IPC—4
7.4.1 参赛规划器
7.4.2 比赛所用的语言及测试域
7.4.3 比赛结果
7.4.4 冠军介绍
7.5 第五届国际规划竞赛IPC—5
7.5.1 参赛规划器
7.5.2 比赛所用的语言及测试域
7.5.3 比赛结果
7.5.4 冠军介绍
7.6 智能规划中未解决的问题与展望
参考文献
第八章 规划识别
8.1 规划识别综述
8.1.1 规划识别的分类
8.1.2 规划识别的方法
8.1.3 规划识别的应用
8.2 Kautz的规划识别理论
8.2.1 相关概念
8.2.2 事件层描述
8.2.3 四种假设
8.2.4 举例
8.2.5 Kautz规划识别算法
8.3 基于目标图分析的目标识别
8.3.1 域表示
8.3.2 目标图、有效规划和一致目标
8.3.3 目标识别算法
8.3.4 目标冗余以及最一致目标
8.4 基于回归图的规划识别方法
8.4.1 域表示
8.4.2 回归图
8.4.3 回归图算法
8.5 关键问题与展望
8.5.1 关键问题
8.5.2 展望
参考文献
第九章 对手规划
9.1 对手规划简介
9.1.1 对手规划的定义
9.1.2 对手规划领域的特点
9.1.3 对手规划问题的发展
9.2 对手规划的识别与应对
9.2.1 基于目标驱动的HTN规划方法
9.2.2 基于OBDD的强循环对手规划方法
9.2.3 战术规划识别
9.2.4 网络信息对抗领域的规划方法简介
9.3 对手规划领域存在的问题与研究展望
9.3.1 对手规划领域存在的问题
9.3.2 对手规划研究的展望
参考文献
附录A 相关项目与会议
附录B 主要智能规划器