| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
译者的话1
序言3
前言5
符号表9
第1章 引言和概述
第1部分 经典规划
第2章 经典规划的表示
第3章 经典规划的复杂性
第4章 状态空间规划
第5章 规划空间规划
第2部分 类经典规划
第6章 图规划技术
第7章 命题可满足技术
第8章 约束可满足技术
第3部分 启发式信息和控制策略
第9章 规划中的启发式信息
第10章 规划中的控制规则
第11章 分 层任务网络规划
第12章 演绎规划中的控制策略
第4部分 时间和资源约束规划
第13章 规划中的时间
第14章 时态规划
第15章 规划与资源调度
第5部分 不确定规划
第16章 基于Markov决策过程的规划
第17章 基于模型检测的规划
第18章 用于不确定规划的类经典技术
第6部分 案例研究与应用
第19章 空间应用
第20章 机器人规划
第21章 工艺性能分 析规划
第22章 应急疏散规划
第23章 桥牌游戏中的规划
第7部分 结论
第24章 其他规划方法
第8部分 附录
附录A 搜索程序和计算复杂性
附录B 一阶逻辑
附录C 模型检测
参考文献
英汉名词对照索引