基于黑板结构的时态知识推理机实现的研究
| 独创性声明 | 第1-5页 |
| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 目录 | 第7-9页 |
| 第一章 前言 | 第9-12页 |
| 1．1 研究背景 | 第9页 |
| 1．2 问题的提出 | 第9-10页 |
| 1．3 研究意义 | 第10页 |
| 1．4 前期工作 | 第10页 |
| 1．5 论文结构 | 第10-12页 |
| 第二章 系统综述 | 第12-17页 |
| 2．1 高炉专家系统综述 | 第12-15页 |
| 2．1．1 高炉专家系统开发环境简介 | 第12-13页 |
| 2．1．2 系统特点 | 第13-14页 |
| 2．1．3 系统功能 | 第14-15页 |
| 2．2 推理机的概述 | 第15-17页 |
| 2．2．1 原系统的不足 | 第15页 |
| 2．2．2 系统的改进思路 | 第15-17页 |
| 第三章 扩充的时态黑板模型 | 第17-30页 |
| 3．1 问题求解的黑板模型 | 第17-22页 |
| 3．1．1 黑板模型 | 第18-19页 |
| 3．1．2 扩充的黑板框架结构 | 第19-22页 |
| 3．2 时态黑板的基本结构 | 第22-29页 |
| 3．2．1 动态环境下时态信息的特征 | 第22-24页 |
| 3．2．2 定量时间关系的表示 | 第24-27页 |
| 3．2．3 时态黑板的更新 | 第27-29页 |
| 3．3 小结 | 第29-30页 |
| 第四章 时态知识表示和推理的应用基础 | 第30-48页 |
| 4．1 时态信息的抽象 | 第30-38页 |
| 4．1．1 时态本体 | 第30-32页 |
| 4．1．2 垂直抽象 | 第32-34页 |
| 4．1．3 水平概化抽象 | 第34-38页 |
| 4．2 因果关系中的时态约束 | 第38-47页 |
| 4．2．1 问题的提出 | 第38-39页 |
| 4．2．2 行为类型的划分和时间特征 | 第39-42页 |
| 4．2．3 广义定性时间关系 | 第42-44页 |
| 4．2．4 因果类型与时态约束 | 第44-45页 |
| 4．2．5 因果连接类型与时态约束 | 第45-47页 |
| 4．3 小结 | 第47-48页 |
| 第五章 推理机的设计与实现 | 第48-63页 |
| 5．1 推理机的设计 | 第48-58页 |
| 5．1．1 事件与系统行为的有效性 | 第49-50页 |
| 5．1．2 感知系统 | 第50-51页 |
| 5．1．3 推理系统与任务通道 | 第51-52页 |
| 5．1．4 控制黑板的工作流程 | 第52-54页 |
| 5．1．5 领域黑板结构的设计 | 第54-56页 |
| 5．1．6 知识表示和动态管理 | 第56-58页 |
| 5．2 推理机的实现 | 第58-62页 |
| 5．2．1 用户事例图 | 第59-60页 |
| 5．2．2 类图 | 第60-61页 |
| 5．2．3 时间序列图 | 第61-62页 |
| 5．2．4 对象协作图 | 第62页 |
| 5．3 小结 | 第62-63页 |
| 第六章 结论 | 第63-64页 |
| 参考文献 | 第64-66页 |
| 致谢 | 第66页 |
