基于符号模型检测方法的应对规划系统
| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 引言 | 第7-8页 |
| 第一章 智能规划概述 | 第8-17页 |
| ·规划问题的历史 | 第8-10页 |
| ·历史概述 | 第8-9页 |
| ·主要的编码方法 | 第9-10页 |
| ·智能规划语言的发展 | 第10-17页 |
| ·STRIPS语言及其扩展 | 第10-14页 |
| ·基于模型检测方法的规划语言 | 第14-16页 |
| ·规划语言的发展 | 第16-17页 |
| 第二章 图规划方法及其扩展 | 第17-24页 |
| ·图规划算法 | 第17-19页 |
| ·基本概念 | 第17页 |
| ·图规划算法概述 | 第17-19页 |
| ·最小承诺图规划 | 第19-20页 |
| ·扩展最小承诺的图规划处理条件效果 | 第20-24页 |
| ·基本概念 | 第20-21页 |
| ·提出的概念 | 第21-22页 |
| ·扩展最小承诺图规划处理条件效果的算法 | 第22-24页 |
| 第三章 符号模型检测理论 | 第24-31页 |
| ·符号模型检测方法的由来 | 第24页 |
| ·逻辑及形式化表示 | 第24-27页 |
| ·量化布尔公式 | 第24-25页 |
| ·Kripke结构 | 第25页 |
| ·计算树逻辑 | 第25-27页 |
| ·二元决策图 | 第27-29页 |
| ·OBDD的值 | 第27页 |
| ·BDD的化简 | 第27-29页 |
| ·符号模型检测 | 第29-30页 |
| ·转移关系的划分 | 第30-31页 |
| 第四章 基于符号模型检测方法的应对规划系统 | 第31-39页 |
| ·本系统采用的域描述语言 | 第31-35页 |
| ·采用 NADL描述的规划问题 | 第31-32页 |
| ·NADL语法 | 第32-33页 |
| ·NADL语义 | 第33-34页 |
| ·NADL的 OBDD表示 | 第34-35页 |
| ·本系统采用的搜索策略 | 第35-37页 |
| ·盲目搜索与启发式搜索 | 第35-36页 |
| ·爬山法搜索策略 | 第36-37页 |
| ·基于符号模型检测的应对规划算法 | 第37-39页 |
| ·预备知识 | 第37-38页 |
| ·基于符号模型检测的应对规划算法(APSMC) | 第38-39页 |
| 结语 | 第39-40页 |
| 参考文献 | 第40-43页 |
| 附录A 第一届规划调度系统比赛 IPC-1 | 第43-45页 |
| 附录B 第二届规划调度系统比赛 IPC-2 | 第45-47页 |
| 附录C 第三届规划调度系统比赛 IPC-3 | 第47-50页 |
| 附录D 第四届规划调度系统比赛 IPC-4 | 第50-52页 |
| 附录E 相关项目与会议 | 第52-53页 |
| 附录F 主要智能规划器一览 | 第53-55页 |
| 致谢 | 第55-56页 |
| 在学期间公开发表论文及著作情况 | 第56页 |
