基于量化布尔公式的规划编码问题
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-14页 |
| ·研究背景 | 第10-11页 |
| ·智能规划 | 第11-12页 |
| ·智能规划概念 | 第11-12页 |
| ·智能规划的特征 | 第12页 |
| ·论文的结构 | 第12-14页 |
| 第2章 QBF相关基础知识 | 第14-18页 |
| ·QBF相关概念 | 第14-15页 |
| ·QBF判定方式 | 第15-16页 |
| ·Q-归结 | 第15-16页 |
| ·Q-Unit-归结 | 第16页 |
| ·QBF求解方式 | 第16-18页 |
| 第3章 基于QBF的条件规划编码 | 第18-22页 |
| ·前缀为(?)(?)(?)形式的编码 | 第18页 |
| ·前缀为(?)(?)形式的编码 | 第18-19页 |
| ·前缀为(?)(?)形式的编码 | 第19-20页 |
| ·编码比较 | 第20-22页 |
| ·三种编码的比较 | 第20页 |
| ·与SAT的比较 | 第20-22页 |
| 第4章 动作效果不确定性编码 | 第22-28页 |
| ·动作效果不确定性编码框架 | 第22页 |
| ·规划问题相关定义及定理 | 第22-23页 |
| ·条件规划问题 | 第22页 |
| ·confonnant规划问题 | 第22-23页 |
| ·不确定性效果定义 | 第23-24页 |
| ·U-E及U-E-exeC编码 | 第24-28页 |
| ·U-E相关定义 | 第24-25页 |
| ·U-E-exeC编码 | 第25-26页 |
| ·例:条件规划问题 | 第26-28页 |
| 第5章 QBF-CPLAN编码设计 | 第28-46页 |
| ·基于QBF的规划系统 | 第28-29页 |
| ·规划系统组成 | 第28页 |
| ·规划框架 | 第28-29页 |
| ·QBF-CPLAN规划编码框架 | 第29页 |
| ·QBF-CPLAN动作预处理 | 第29-34页 |
| ·对解释性框架公理的描述 | 第30-33页 |
| ·对操作执行的描述 | 第33-34页 |
| ·QBF-CPLAN的逻辑规划编码 | 第34-35页 |
| ·例:不确定性规划问题 | 第35-45页 |
| ·QBF-CPLAN与其它编码比较 | 第45-46页 |
| ·与已有的QBF编码比较 | 第45页 |
| ·与其它规划编码比较 | 第45-46页 |
| 第6章 总结与展望 | 第46-48页 |
| 参考文献 | 第48-51页 |
| 作者简介及在学期间所取得的科研成果 | 第51-52页 |
| 致谢 | 第52页 |
