| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 绪论 | 第9-19页 |
| ·知识表示 | 第9-11页 |
| ·一阶谓词逻辑 | 第10页 |
| ·模态逻辑 | 第10-11页 |
| ·行动推理 | 第11-16页 |
| ·STRIPS | 第12-13页 |
| ·情景演算 | 第13-14页 |
| ·流演算 | 第14-16页 |
| ·行动推理在智能agent中的应用 | 第16页 |
| ·研究动机 | 第16-17页 |
| ·本文的主要工作 | 第17-19页 |
| 第二章 状态演算 | 第19-28页 |
| ·流和状态 | 第19-24页 |
| ·流、流集合以及流集合公理 | 第20-21页 |
| ·状态和状态公式 | 第21-24页 |
| ·动作和情景 | 第24-25页 |
| ·状态知识及更新 | 第25-27页 |
| ·状态知识 | 第25-26页 |
| ·状态知识更新 | 第26-27页 |
| ·状态演算的推理机制 | 第27-28页 |
| 第三章 对状态演算的知识表示进行改进 | 第28-33页 |
| ·知识的概念 | 第28页 |
| ·知识表示的改进 | 第28-30页 |
| ·前提条件公理的改进 | 第30-32页 |
| ·知识的判定方法 | 第32页 |
| ·小结 | 第32-33页 |
| 第四章 基于状态演算的逻辑程序设计语言STEX的实现 | 第33-58页 |
| ·STEX中用到的基础知识 | 第33-36页 |
| ·置换 | 第33-34页 |
| ·合一 | 第34页 |
| ·有限领域(FD) | 第34-35页 |
| ·约束处理规则(CHRs) | 第35-36页 |
| ·STEX中不完全状态的表示 | 第36页 |
| ·状态公式在STEX中的实现 | 第36-52页 |
| ·约束holds/2和not_holds/2 | 第36-38页 |
| ·约束all_holds/3和all_not_holds/3 | 第38-41页 |
| ·约束or_holds/2 | 第41-45页 |
| ·约束间制约关系的处理 | 第45-48页 |
| ·STEX中自定义谓词的实现 | 第48-52页 |
| ·状态知识公式在STEX中的实现 | 第52-54页 |
| ·状态知识更新在STEX中的实现 | 第54-57页 |
| ·相关工作比较 | 第57页 |
| ·小结 | 第57-58页 |
| 第五章 STEX程序实例 | 第58-66页 |
| ·状态演算形式化描述实例 | 第58-61页 |
| ·STEX程序实例运行结果及分析 | 第61-65页 |
| ·小结 | 第65-66页 |
| 第六章 总结和展望 | 第66-68页 |
| ·论文的主要工作 | 第66页 |
| ·论文的展望 | 第66-68页 |
| 参考文献 | 第68-71页 |
| 致谢 | 第71-72页 |
| 在读期间所发表的论文 | 第72页 |