基于模型检测方法的规划
| 第一章 引言 | 第1-10页 |
| ·规划的简单介绍 | 第7页 |
| ·Planning 目前发展状况 | 第7-9页 |
| ·基于满足的规划 | 第7页 |
| ·Graphplan 方法 | 第7-8页 |
| ·启发式信息搜索 | 第8页 |
| ·混合方法 | 第8-9页 |
| ·模型检测方法的现况 | 第9页 |
| ·本文的主要工作 | 第9-10页 |
| 第二章 规划基本概念的介绍 | 第10-15页 |
| ·规划基本概念的定义 | 第10-13页 |
| ·非确定planning 的简单介绍 | 第13-15页 |
| 第三章 模型检测介绍 | 第15-21页 |
| ·模型检测的简单介绍 | 第15-19页 |
| ·模型检测的基本概念 | 第15-16页 |
| ·CTL | 第16-18页 |
| ·符号校验 | 第18-19页 |
| ·用模型检测方法解决planning 问题 | 第19-21页 |
| ·planning 问题和模型检测问题的对比 | 第19-20页 |
| ·用模型检测方法来解决planning 问题 | 第20-21页 |
| 第四章 OBDD 介绍及应用 | 第21-27页 |
| ·决策树 | 第21-22页 |
| ·决策树归约成 OBDD | 第22-23页 |
| ·OBDD 在planning 问题中的应用 | 第23-27页 |
| ·为什么采用OBDD | 第23-24页 |
| ·用特征函数表示状态和状态集合 | 第24-27页 |
| 第五章 转换关系 | 第27-35页 |
| ·有限状态机的表示 | 第27页 |
| ·影像计算 | 第27-30页 |
| ·可到达状态分析 | 第30-31页 |
| ·OBDD 在planning 中的具体应用 | 第31-35页 |
| 第六章 划分以及提前量化 | 第35-39页 |
| ·划分的优点 | 第35页 |
| ·提前量化 | 第35-39页 |
| 第七章 ADL 语言 | 第39-46页 |
| ·ADL 语言介绍 | 第39-41页 |
| ·ADL 语言定义的关键字及操作符 | 第40页 |
| ·ADL 语言的语法规则 | 第40-41页 |
| ·用ADL 表示非确定性planning | 第41-42页 |
| ·ADL 语言的解析 | 第42-46页 |
| ·Lex | 第42-43页 |
| ·Yacc | 第43-44页 |
| ·Lex 与Yacc 结合 | 第44-45页 |
| ·计算机中命题逻辑的表示 | 第45-46页 |
| 第八章 MYPLANNER 系统的实现 | 第46-55页 |
| ·转换关系的表示及计算 | 第46-49页 |
| ·转换关系的构造 | 第46-48页 |
| ·转换关系的划分 | 第48-49页 |
| ·变量排序 | 第49-52页 |
| ·已经存在的方法 | 第50-51页 |
| ·本系统采用的方法 | 第51-52页 |
| ·核心程序 | 第52-54页 |
| ·程序流程 | 第52页 |
| ·程序伪码 | 第52-54页 |
| ·OBDD 包的优化 | 第54页 |
| ·试验结果 | 第54-55页 |
| 第九章 结束语 | 第55-56页 |
| 参考文献 | 第56-59页 |
| 摘要 | 第59-62页 |
| Abstract | 第62-65页 |
| 致谢 | 第65-66页 |
| 导师及作者简介 | 第66页 |
