智能规划与规划识别

    智能规划与规划识别是人工智能研究领域的热点问题。本书分门别类地介绍了最近十几年国内相关研究的主要成果，着重介绍了在图规划框架下智能规划的研究工作。主要有图规划、最小承诺图规划、灵活图规划、数值图规划、时序规划、不确定规划。对于规划识别主要介绍了Kautz的规划识别理论、基于目标图分析的目标识别、基于回归图分析的规划识别，以及对手规划的识别与应对等。
    本书可作为计算机专业硕士研究生或博士研究生教材，也可供研究人员和工程技术人员参考。

前言
第一章  绪论
  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  解搜索
  参考文献
第四章  启发式规划方法
第五章  符号模型检测理论
第六章  不确定规划
第七章  五届国际规划比赛综述
第八章  规划识别
第九章  对手规划
附录A  相关项目与会议
附录B  主要智能规划器