| 第一章 绪论 | 第1-13页 |
| ·研究背景及意义 | 第8-9页 |
| ·国内外研究现状 | 第9-10页 |
| ·前期工作 | 第10-11页 |
| ·本文贡献及论文组织 | 第11-13页 |
| 第二章 时态逻辑基础 | 第13-31页 |
| ·模态逻辑 | 第13-16页 |
| ·模态逻辑的标准模型 | 第14页 |
| ·模式与正规系统 | 第14-16页 |
| ·时态逻辑 | 第16-26页 |
| ·一阶时态逻辑的组成 | 第17-19页 |
| ·一阶时态逻辑的模型与分类 | 第19-26页 |
| ·时态逻辑的Petri网表示 | 第26-30页 |
| ·Petri网概述 | 第26-27页 |
| ·Petri网基本概念 | 第27-28页 |
| ·时态逻辑的Petri网表示 | 第28-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 时态逻辑及其知识表达 | 第31-42页 |
| ·基于时间点(Point-based)知识的逻辑表达 | 第31-32页 |
| ·基于时间段(Interval-based)知识的逻辑表达 | 第32-33页 |
| ·几种经典的时态逻辑知识表达方法 | 第33-41页 |
| ·Allen's Method | 第33-36页 |
| ·McDermott's Method | 第36-38页 |
| ·Vilain and Kautz's Method | 第38页 |
| ·时态操作符方法 | 第38-39页 |
| ·Time-sensitive Boolean Operators | 第39页 |
| ·The AND_THEN(TAND)Connective | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第四章 时态逻辑对知识规则的构架与推理 | 第42-51页 |
| ·传统断言及其不足 | 第42页 |
| ·时态逻辑断言 | 第42-43页 |
| ·时态逻辑语言及其断言推理 | 第43-50页 |
| ·智能工资决策支持系统(SIDSS)简介 | 第43-46页 |
| ·SIDSS中时态逻辑断言规则的设计 | 第46-47页 |
| ·SIDSS断言规则的逻辑描述 | 第47-48页 |
| ·规则生命周期的时态逻辑表达 | 第48-49页 |
| ·实现 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 第五章 知识库的时态驱动及其探讨 | 第51-62页 |
| ·时态驱动的知识库及其构架 | 第51-58页 |
| ·时态描述 | 第52-53页 |
| ·知识对象的抽象结构 | 第53-55页 |
| ·实现 | 第55-58页 |
| ·知识库的时态驱动展望与困难 | 第58-61页 |
| ·展望 | 第58-59页 |
| ·困难 | 第59-61页 |
| ·本章小节 | 第61-62页 |
| 结论 | 第62-64页 |
| 参考文献 | 第64-69页 |
| 攻读学位期间发表的学术论文 | 第69-70页 |
| 独创性声明 | 第70-71页 |
| 致谢 | 第71页 |
