| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 1 绪论 | 第7-14页 |
| ·课题的研究背景 | 第7-8页 |
| ·国内外研究现状 | 第8-11页 |
| ·本文主要的研究工作和意义 | 第11-14页 |
| 2 专家逻辑知识的表达方法 | 第14-34页 |
| ·逻辑知识 | 第14-18页 |
| ·逻辑知识的 IF-THEN 规则表达 | 第18-22页 |
| ·逻辑知识的 Petri 网表达 | 第22-31页 |
| ·两种表达方法的比较 | 第31-34页 |
| 3 专家逻辑知识的更新 | 第34-43页 |
| ·知识库的实现方法概述 | 第34-36页 |
| ·专家逻辑知识的诊断推理 | 第36-39页 |
| ·基于 Petri 网的逻辑知识更新实例 | 第39-43页 |
| 4 专家知识录入与更新系统的人机交互接口设计 | 第43-57页 |
| ·概述 | 第43-44页 |
| ·专家登陆 | 第44-45页 |
| ·逻辑知识的录入 | 第45-52页 |
| ·解析知识的录入 | 第52-57页 |
| 5 总结和展望 | 第57-59页 |
| ·总结 | 第57页 |
| ·展望 | 第57-59页 |
| 致谢 | 第59-60页 |
| 参考文献 | 第60-63页 |