| 内容提要 | 第1-10页 |
| 第1章 引言 | 第10-22页 |
| ·智能规划 | 第11-13页 |
| ·经典规划 | 第12页 |
| ·Conformant 规划 | 第12-13页 |
| ·Contingent 规划 | 第13页 |
| ·Flexible 规划 | 第13页 |
| ·规划问题 | 第13-16页 |
| ·问题分类 | 第13-14页 |
| ·问题表示 | 第14-16页 |
| ·规划方法 | 第16-19页 |
| ·基于自动推理技术的规划方法 | 第17页 |
| ·基于非线性规划的规划方法 | 第17页 |
| ·分层规划方法 | 第17-18页 |
| ·基于启发式搜索的规划方法 | 第18页 |
| ·国内研究现状 | 第18-19页 |
| ·本文研究工作 | 第19-22页 |
| 第2章 基于自动推理技术的规划方法 | 第22-50页 |
| ·编码基础 | 第22-23页 |
| ·定义与表示 | 第22-23页 |
| ·性质与结论 | 第23页 |
| ·推理技术 | 第23-24页 |
| ·推演策略 | 第23-24页 |
| ·判定策略 | 第24页 |
| ·基于可满足性的规划方法 | 第24-36页 |
| ·研究现状 | 第24-26页 |
| ·系统框架 | 第26页 |
| ·知识表示 | 第26-29页 |
| ·编码方式 | 第29-34页 |
| ·编码性质 | 第34-35页 |
| ·规划系统 | 第35-36页 |
| ·研究重点 | 第36页 |
| ·基于模态逻辑的 Conformant 规划方法 | 第36-37页 |
| ·基于非单调逻辑的规划方法 | 第37-38页 |
| ·知识表示 | 第37-38页 |
| ·规划方法 | 第38页 |
| ·基于模糊描述逻辑的 Flexible 规划方法 | 第38-40页 |
| ·知识表示 | 第38-39页 |
| ·规划方法 | 第39页 |
| ·研究重点 | 第39-40页 |
| ·基于约束可满足的规划方法 | 第40-42页 |
| ·基于二元决策图的规划方法 | 第42-45页 |
| ·知识表示 | 第42-43页 |
| ·状态编码 | 第43页 |
| ·动作编码 | 第43-44页 |
| ·研究重点 | 第44-45页 |
| ·基于多值变元的规划方法 | 第45-47页 |
| ·知识表示 | 第45页 |
| ·候选不变式生成 | 第45-46页 |
| ·不变式证明 | 第46页 |
| ·编码方式 | 第46-47页 |
| ·研究重点 | 第47页 |
| ·本文研究意义 | 第47-50页 |
| 第3章 公理约简与压缩编码方式 | 第50-74页 |
| ·公理约简 | 第50-62页 |
| ·基于 Graphplan 的编码中重叠公理的判定 | 第51-54页 |
| ·基于 Graphplan 的编码中冗余公理的删除 | 第54-57页 |
| ·基于状态的编码中重叠公理的判定 | 第57-62页 |
| ·公理约简的必要性 | 第62页 |
| ·基于 PMA 的编码方式 | 第62-67页 |
| ·编码方式 | 第62-64页 |
| ·目标条件公理的预处理策略 | 第64页 |
| ·实验结果 | 第64-66页 |
| ·结论分析 | 第66-67页 |
| ·基于 FA 的编码方式 | 第67-74页 |
| ·框架公理的作用和子句形式 | 第67-68页 |
| ·编码方式 | 第68-69页 |
| ·实验结果 | 第69-72页 |
| ·结论分析 | 第72-74页 |
| 第4章 基于命题的编码方式 | 第74-82页 |
| ·构造新编码方式的理论依据 | 第74-75页 |
| ·编码方式 | 第75-76页 |
| ·命题约束公理的实际编码方式 | 第76-77页 |
| ·同层命题的约束关系构造 | 第76页 |
| ·不同层命题的约束关系构造 | 第76-77页 |
| ·与其他编码方式的不同点 | 第77-78页 |
| ·实验结果 | 第78-80页 |
| ·结论分析 | 第80-82页 |
| 第5章 基于模态逻辑的 Conformant 规划方法 | 第82-98页 |
| ·基于模态逻辑的知识表示 | 第84-85页 |
| ·模态逻辑与公理系统 | 第84页 |
| ·基于知道算子的知识表示 | 第84-85页 |
| ·Conformant 规划的模态逻辑语义 | 第85-87页 |
| ·单一可能世界下的转换方法 | 第87-92页 |
| ·动作预处理 | 第87页 |
| ·规划框架 | 第87-88页 |
| ·公理与规则构造方法 | 第88-89页 |
| ·公式集构造方法 | 第89-91页 |
| ·例:经典 Logistics 规划问题的转换过程 | 第91-92页 |
| ·多可能世界下的转换方法 | 第92-96页 |
| ·公理与规则构造方法 | 第92-94页 |
| ·公式集构造方法 | 第94-95页 |
| ·例:Conformant Logistics 规划问题的转换过程 | 第95-96页 |
| ·总结分析 | 第96-98页 |
| 第6章 基于模态逻辑的 Conformant 组合规划方法 | 第98-110页 |
| ·推理能力与反例 | 第98-99页 |
| ·模态规划解与模态世界 | 第99-101页 |
| ·基于模态逻辑的组合规划方法 | 第101-105页 |
| ·朴素的组合规划方法 | 第102-103页 |
| ·带约束的组合规划方法 | 第103-104页 |
| ·算法分析与说明 | 第104-105页 |
| ·例:机器人组装问题 | 第105-107页 |
| ·问题描述与分析 | 第105-106页 |
| ·推演策略的执行 | 第106-107页 |
| ·推理模式分析 | 第107页 |
| ·结论分析 | 第107-110页 |
| 第7章 其他规划特性的逻辑编码 | 第110-112页 |
| ·概率性的刻画 | 第110页 |
| ·认知性的刻画 | 第110页 |
| ·结论分析 | 第110-112页 |
| 第8章 结论与展望 | 第112-114页 |
| 参考文献 | 第114-123页 |
| 攻读学位期间发表的学术论文及取得的科研成果 | 第123-126页 |
| 后记与致谢 | 第126-128页 |
| 摘要 | 第128-131页 |
| Abstract | 第131-134页 |
