自动规划：理论和实践

　　智能规划是人工智能的一个重要研究领域。其主要思想是： 对周围环境进行认识与分析，根据预定实现的目标，对若干可供选择的动作及所提供的资源限制施行推理，综合制定出实现目标的动作序列——规划。由于智能规划在工厂的车间作业调度、现代物流管理中物资运输调度、智能机器人的动作规划以及宇航技术等领域中有广泛的应用，受到研究者的重视，现在已经成为人工智能研究的热点。本书在深入研究智能规划的基础上，以计算机科学与技术专业硕士研究生教材的方式，对智能规划做了全面、系统、完整的介绍。不但包括规划表示、规划产生、规划空间搜索等经典智能规划内容，还包括图规划、基于约束可满足的规划、启发式规划、不确定性规划、时态规划和资源规划等最新研究成果的系统整理与阐述。并且，本书还结合智能规划在机器人规划、CAD/CAM、应急疏散规划等上的应用介绍了实用的规划示例和系统。对推动智能规划的研究和应用具有重要作用。本书是国际上第一本专门论述智能规划的教材。可以作为硕士研究生或博士生的教材，也可供研究人员和工程技术人员参考。

暂缺《自动规划：理论和实践》作者简介

译者的话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　模型检测
参考文献
英汉名词对照索引