数学概念的知识获取与分析方法研究
| 声明 | 第1页 |
| 关于论文使用授权的说明 | 第4-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-13页 |
| 符号索引 | 第13-15页 |
| 第一章 绪论 | 第15-35页 |
| ·数学知识获取的研究背景 | 第15-20页 |
| ·机器定理证明 | 第15-16页 |
| ·数学软件系统集成 | 第16-17页 |
| ·数学语义Web | 第17-18页 |
| ·高级数学智能教学系统 | 第18-19页 |
| ·国家知识基础设施建设 | 第19-20页 |
| ·数学知识表示的相关研究 | 第20-26页 |
| ·数学知识的逻辑表示方法 | 第20-21页 |
| ·基于框架的数学知识表示 | 第21-22页 |
| ·基于XML 的数学知识表示 | 第22-26页 |
| ·几个著名的数学知识工程 | 第26-30页 |
| ·MBase | 第27-28页 |
| ·HELM | 第28页 |
| ·MOWGLI | 第28-29页 |
| ·NKIMath | 第29-30页 |
| ·关于本论文 | 第30-35页 |
| ·主要研究内容 | 第30-32页 |
| ·主要成果 | 第32-33页 |
| ·论文结构 | 第33-35页 |
| 第二章 基本知识 | 第35-39页 |
| ·类型理论与子类型 | 第35页 |
| ·数学对象 | 第35-36页 |
| ·性质 | 第36页 |
| ·概念 | 第36-39页 |
| 第三章 面向多用途的数学概念知识表示 | 第39-55页 |
| ·引言 | 第39页 |
| ·数学知识的基本对象及上层本体 | 第39-41页 |
| ·数学知识的基本对象分析 | 第39-40页 |
| ·数学知识的上层本体 | 第40-41页 |
| ·NKIMath 的知识表示方法 | 第41-44页 |
| ·本体 | 第41-42页 |
| ·框架 | 第42-44页 |
| ·逻辑 | 第44页 |
| ·数学概念的知识表示方法 | 第44-50页 |
| ·数学概念表示的通用模式 | 第46-48页 |
| ·数学概念形式定义的表示语言 | 第48-49页 |
| ·概念框架的参数模式 | 第49-50页 |
| ·NKIMath 概念知识表示的几个技术特色 | 第50-52页 |
| ·知识表示的多粒度 | 第51页 |
| ·跨语言的知识表示 | 第51-52页 |
| ·NKIMath 知识表示方法与相关工作的比较 | 第52-53页 |
| ·小结 | 第53-55页 |
| 第四章 数学概念关联空间与概念知识获取 | 第55-71页 |
| ·引言 | 第55页 |
| ·数学概念之间的关联关系 | 第55-59页 |
| ·概念关联 | 第56-57页 |
| ·概念弱关联 | 第57页 |
| ·概念强关联 | 第57-58页 |
| ·概念关联关系分析 | 第58-59页 |
| ·数学概念关联空间 | 第59-61页 |
| ·数学概念关联空间的定义 | 第59-60页 |
| ·多个关联空间之间的关系和运算 | 第60-61页 |
| ·数学概念关联空间的度量 | 第61-66页 |
| ·概念相对抽象度 | 第61-63页 |
| ·概念关联空间中概念的描述复杂度 | 第63-64页 |
| ·概念关联空间中的关联度 | 第64-65页 |
| ·概念关联空间的四元指标 | 第65-66页 |
| ·基于概念关联空间的概念知识获取方法 | 第66-69页 |
| ·概念的知识获取方法 | 第66-68页 |
| ·概念知识获取的半自动过程 | 第68-69页 |
| ·小结 | 第69-71页 |
| 第五章 数学概念的知识继承层次结构及其生成算法 | 第71-83页 |
| ·引言 | 第71页 |
| ·概念类的划分及其关系分析 | 第71-73页 |
| ·概念类的划分 | 第71-72页 |
| ·概念类之间的知识继承关系 | 第72-73页 |
| ·概念之间的关系分析 | 第73-78页 |
| ·同一概念类的概念之间的关系 | 第73-77页 |
| ·同一概念类的概念外延之间的关系 | 第77-78页 |
| ·数学概念的知识继承层次结构 | 第78-79页 |
| ·概念知识继承结构的自动生成算法 | 第79-82页 |
| ·概念知识继承层次结构的有向图表示 | 第79-80页 |
| ·由概念集自动生成概念继承层次结构的算法 | 第80-82页 |
| ·小结 | 第82-83页 |
| 第六章 数学概念知识库的异常及检查算法 | 第83-113页 |
| ·知识库异常检测简述 | 第83-84页 |
| ·数学概念知识库异常及检测概述 | 第84-86页 |
| ·概念知识表示方面的错误检查 | 第86-90页 |
| ·形式定义（FD）中常见的错误 | 第86-88页 |
| ·概念形式定义的错误检查算法 | 第88-90页 |
| ·概念知识库的语义异常现象分析 | 第90-93页 |
| ·概念知识库的冗余现象 | 第90-91页 |
| ·概念知识库的不一致现象 | 第91-92页 |
| ·概念语义异常检测的若干规则 | 第92-93页 |
| ·概念知识库的严格定义 | 第93-94页 |
| ·概念知识库的语义异常检查方法 | 第94-103页 |
| ·概念知识库的冗余性及其检测算法 | 第94-96页 |
| ·概念知识库的不一致性及其检查算法 | 第96-100页 |
| ·概念知识库的广义不一致性及其检查算法 | 第100-103页 |
| ·概念知识库的紧凑性及其检查算法 | 第103-106页 |
| ·基于概念关系的知识库正确性测试 | 第106-108页 |
| ·概念之间的错误影响及知识错误定位 | 第108-110页 |
| ·基于概念知识继承结构检测知识库异常 | 第110-112页 |
| ·概念间继承关系循环检查 | 第110-112页 |
| ·概念间继承关系冗余检查 | 第112页 |
| ·小结 | 第112-113页 |
| 第七章 NKIMathE：数学知识获取与管理环境 | 第113-121页 |
| ·数学本体编辑和管理环境 | 第113-114页 |
| ·数学知识获取和编译平台 | 第114-116页 |
| ·数学知识框架组织—知识树 | 第116-118页 |
| ·数学知识的多语言版本自动生成 | 第118-119页 |
| ·小结 | 第119-121页 |
| 第八章 结束语 | 第121-125页 |
| ·本文总结 | 第121-122页 |
| ·主要贡献与创新 | 第122页 |
| ·下一步的研究工作 | 第122-125页 |
| 附录：数学断言的知识表示方法及实例 | 第125-133页 |
| 参考文献 | 第133-143页 |
| 致谢 | 第143-144页 |
| 作者简历 | 第144-145页 |
