自动规划

译者的话1序言3前言5符号表9第1章　引言和概述第1部分　经典规划　第2章　经典规划的表示　第3章　经典规划的复杂性　第4章　状态空间规划　第5章　规划空间规划第2部分　类经典规划　第6章　图规划技术　第7章　命题可满足技术　第8章　约束可满足技术第3部分　启发式信息和控制策略

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

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

智能规划问题广泛存在于人类实践活动中，是机器智能的一个核心问题。本书主要讨论智能规划的基本理论，涵盖规划表示、规划求解、规划应用等方方面面。尤其是在规划基本理论以及规划求解技术的介绍方面，本书精心安排，昼做到由浅入深地对现有各种先进规划技术加以介绍，并且附有相应的实例和相关图形，让读者在轻松掌握各种先进规划技术的同时，对智能规划技术的发展脉络有一个清醒的认识。因此，本书一本能快速引导读者进入智能规划研究领域的不可多得的教材。