| 第一章 绪论 | 第1-15页 |
| ·研究背景分析 | 第9-11页 |
| ·应急决策系统的产生和发展 | 第9-10页 |
| ·国内外研究现状 | 第10-11页 |
| ·时态信息表示和处理 | 第11-12页 |
| ·研究内容和文章结构 | 第12-15页 |
| ·课题内容 | 第12-14页 |
| ·论文结构 | 第14-15页 |
| 第二章 时态表示逻辑基础 | 第15-25页 |
| ·时态基本元素 | 第15-18页 |
| ·两种表示形式 | 第15-16页 |
| ·时态型和时间粒度 | 第16-17页 |
| ·时间模型 | 第17-18页 |
| ·模态逻辑 | 第18-20页 |
| ·基本概念 | 第18-19页 |
| ·标准模型 | 第19页 |
| ·模式与正规系统 | 第19-20页 |
| ·时态逻辑 | 第20-25页 |
| ·基本概念 | 第20-21页 |
| ·线性时态逻辑 | 第21-23页 |
| ·分支时态逻辑 | 第23-24页 |
| ·分区时态逻辑 | 第24-25页 |
| 第三章 时态知识表示 | 第25-42页 |
| ·知识定义及层次 | 第25-26页 |
| ·知识表示方法论 | 第26-28页 |
| ·表示方法 | 第26-27页 |
| ·表示观点 | 第27-28页 |
| ·常用时态知识表示法 | 第28-31页 |
| ·Allen's区间代数方法 | 第28-29页 |
| ·McDermott’s事件演算方法 | 第29页 |
| ·Vilain&Kautz's代数方法 | 第29-30页 |
| ·时态操作符方法 | 第30页 |
| ·Time-sensitive Boolean Operators方法 | 第30-31页 |
| ·The AND-THEN(TAND)Connection方法 | 第31页 |
| ·应急系统的时态知识表示 | 第31-42页 |
| ·系统模型框架 | 第32-34页 |
| ·知识分类和表示方法 | 第34-36页 |
| ·时态关系约束 | 第36-38页 |
| ·应用示例 | 第38-42页 |
| 第四章 时态知识推理方法 | 第42-55页 |
| ·推理的分类 | 第42-44页 |
| ·规则推理和案例推理 | 第44-49页 |
| ·规则推理 | 第44-45页 |
| ·案例推理 | 第45-47页 |
| ·两者的分析和对比 | 第47-49页 |
| ·时态推理 | 第49-51页 |
| ·应急系统推理机制 | 第51-55页 |
| 第五章 原型系统设计和实现 | 第55-64页 |
| ·原型系统概述 | 第55-57页 |
| ·需求分析 | 第55-56页 |
| ·系统功能和模块结构 | 第56-57页 |
| ·原型系统功能实现 | 第57-59页 |
| ·实验开发环境 | 第57-58页 |
| ·系统工作流程 | 第58-59页 |
| ·功能模块运行界面 | 第59页 |
| ·原型系统设计时的关键技术 | 第59-63页 |
| ·知识表示 | 第60-61页 |
| ·案例表示 | 第61-62页 |
| ·推理方式 | 第62-63页 |
| ·实验结果分析 | 第63-64页 |
| 第六章 工作总结和展望 | 第64-66页 |
| ·文章内容总结 | 第64页 |
| ·下一阶段工作与展望 | 第64-66页 |
| 参考文献 | 第66-69页 |
| 致谢 | 第69-70页 |
| 攻读硕士学位期间发表论文 | 第70页 |