基于概念图知识表示方法的研究与实践
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第1章 绪论 | 第7-11页 |
| ·国内外研究及应用现状 | 第7-8页 |
| ·论文研究的意义 | 第8-9页 |
| ·论文研究的主要工作 | 第9-10页 |
| ·论文的组织结构 | 第10-11页 |
| 第2章 知识与知识表示方法的研究 | 第11-22页 |
| ·人工智能 | 第11-12页 |
| ·人工智能概述 | 第11-12页 |
| ·人工智能的主要应用领域 | 第12页 |
| ·专家系统 | 第12-14页 |
| ·专家系统的定义 | 第12-13页 |
| ·专家系统研制的基本步骤 | 第13-14页 |
| ·专家系统的知识构成 | 第14页 |
| ·知识 | 第14-16页 |
| ·知识的概念及分类 | 第14-15页 |
| ·知识的属性 | 第15-16页 |
| ·知识表示 | 第16-21页 |
| ·知识表示的基本概念 | 第16-17页 |
| ·知识表示原理 | 第17页 |
| ·从知识表示角度对知识的分类 | 第17-18页 |
| ·传统知识表示方法 | 第18-21页 |
| ·本章小结 | 第21-22页 |
| 第3章 基于概念图知识表示方法的研究 | 第22-33页 |
| ·概念图概述 | 第22-23页 |
| ·概念图的定义 | 第22页 |
| ·概念图的表示形式 | 第22-23页 |
| ·概念图中的格结构 | 第23-27页 |
| ·传统格理论 | 第23-24页 |
| ·概念格 | 第24-26页 |
| ·概念图中的格结构 | 第26-27页 |
| ·基于概念图的推理 | 第27-31页 |
| ·概念图与谓词逻辑的关系 | 第28-29页 |
| ·用概念图表示规则 | 第29页 |
| ·概念图的推理 | 第29-31页 |
| ·概念图方法的特点 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第4章 集合概念及运算的概念图表示与实现 | 第33-45页 |
| ·Prolog概述 | 第33-39页 |
| ·Prolog的基本语法 | 第33-34页 |
| ·Prolog的结构 | 第34-37页 |
| ·问题求解的步骤 | 第37-38页 |
| ·Prolog的特点 | 第38-39页 |
| ·实现集合运算 | 第39-44页 |
| ·表的表示与实现 | 第39-40页 |
| ·集合的表示方法 | 第40-41页 |
| ·集合上的基本运算及实现 | 第41-44页 |
| ·本章小结 | 第44-45页 |
| 第5章 二元关系若干性质的表示、推理及判断 | 第45-58页 |
| ·集合上二元关系的若干基本性质 | 第45页 |
| ·闭包求解 | 第45-49页 |
| ·传统闭包求解方法 | 第45-46页 |
| ·实现二元关系的闭包运算 | 第46-47页 |
| ·举例 | 第47-49页 |
| ·扩展 | 第49-53页 |
| ·重复解消除的实现方案 | 第53-57页 |
| ·重复解的产生 | 第53-55页 |
| ·设计思想及方案 | 第55-56页 |
| ·程序实现 | 第56-57页 |
| ·本章小结 | 第57-58页 |
| 第6章 论文总结与展望 | 第58-60页 |
| ·论文总结 | 第58页 |
| ·后期工作展望 | 第58-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-63页 |
| 攻读硕士学位期间发表学术论文情况 | 第63页 |
