| 内容提要 | 第1-7页 |
| 第一章 绪论 | 第7-24页 |
| ·自动推理 | 第7-14页 |
| ·自动推理研究的重要性 | 第7-8页 |
| ·自动推理研究方法 | 第8-12页 |
| ·推理系统 | 第12-13页 |
| ·自动推理的应用 | 第13-14页 |
| ·智能规划 | 第14-21页 |
| ·智能规划研究的重要性 | 第14-15页 |
| ·智能规划求解方法 | 第15-21页 |
| ·规划系统 | 第21页 |
| ·本文的工作 | 第21-24页 |
| 第二章 基于扩展规则的模型计数方法 | 第24-41页 |
| ·引言 | 第24-26页 |
| ·扩展规则 | 第25-26页 |
| ·基于扩展规则的模型计数方法 | 第26-31页 |
| ·基于扩展规则的直接模型计数方法 | 第26-29页 |
| ·基于知识编译的模型计数方法 | 第29-31页 |
| ·基于扩展规则的加权模型计数方法 | 第31-35页 |
| ·基于扩展规则的直接加权模型计数方法 | 第31-34页 |
| ·基于知识编译的加权模型计数方法 | 第34-35页 |
| ·国内外相关工作 | 第35-37页 |
| ·实验分析 | 第37-39页 |
| ·进一步的工作 | 第39-41页 |
| 第三章 可能性扩展规则 | 第41-59页 |
| ·引言 | 第41页 |
| ·可能性逻辑 | 第41-43页 |
| ·可能性扩展规则 | 第43-44页 |
| ·基于可能性扩展规则的推理 | 第44-50页 |
| ·可能性扩展规则推理方法 | 第44-48页 |
| ·实验结果分析 | 第48-50页 |
| ·基于可能性扩展规则的知识编译 | 第50-57页 |
| ·可能性知识编译 | 第50-56页 |
| ·实验结果分析 | 第56-57页 |
| ·国内外相关工作 | 第57-58页 |
| ·进一步的工作 | 第58-59页 |
| 第四章 基于多值规划表示的一致性规划求解 | 第59-87页 |
| ·引言 | 第59-61页 |
| ·JLU-CD系统结构 | 第60-61页 |
| ·一致性多值规划任务生成 | 第61-70页 |
| ·PPDDL一致性规划任务和多值变量一致性规划任务 | 第62-66页 |
| ·多值规划生成 | 第66-70页 |
| ·JLU-CD知识编译器 | 第70-74页 |
| ·域转移图 | 第71-73页 |
| ·因果关系图 | 第73页 |
| ·有向无环因果关系图 | 第73-74页 |
| ·一致性规划求解策略 | 第74-80页 |
| ·CG-TSP启发式函数 | 第74-79页 |
| ·搜索算法 | 第79-80页 |
| ·JLU-CD求解效率分析 | 第80-84页 |
| ·相关工作介绍 | 第84-85页 |
| ·进一步的工作 | 第85-87页 |
| 第五章 总结 | 第87-89页 |
| 参考文献 | 第89-101页 |
| 作者读博士期间完成的论文与参加的科研项目 | 第101-103页 |
| 致谢 | 第103-104页 |
| 摘要 | 第104-107页 |
| Abstract | 第107-109页 |