基于语义的几何学科知识平台
| 第一章 引言 | 第1-22页 |
| ·教育软件的发展和现状 | 第12-15页 |
| ·国外几何教育软件概述 | 第13-15页 |
| ·国内教育软件概述 | 第15页 |
| ·课题研究背景 | 第15-18页 |
| ·学科知识平台简介 | 第18-19页 |
| ·研究目的和研究成果 | 第19-20页 |
| ·本文的组织 | 第20-22页 |
| 第二章 基于知识的问题求解系统 | 第22-36页 |
| ·知识表示的概念 | 第22-25页 |
| ·知识原则和知识表示的作用 | 第22-23页 |
| ·理想的智能体 | 第23-24页 |
| ·知识表示的功能 | 第24-25页 |
| ·知识表示的方式 | 第25-32页 |
| ·一阶谓词逻辑 | 第25-26页 |
| ·产生式系统 | 第26页 |
| ·语义网络和框架系统 | 第26-27页 |
| ·本体及其表示方法 | 第27-32页 |
| ·基于知识的问题求解方法 | 第32-34页 |
| ·搜索 | 第32-33页 |
| ·推理 | 第33-34页 |
| ·RDF三元组查询 | 第34页 |
| ·小结 | 第34-36页 |
| 第三章 学科知识平台上的知识表示 | 第36-51页 |
| ·学科知识分析 | 第36-37页 |
| ·基于本体的几何知识表示 | 第37-44页 |
| ·GO设计原则 | 第37-39页 |
| ·GO开发语言RDF | 第39-40页 |
| ·几何知识的表示 | 第40-44页 |
| ·几何知识本体 | 第44-46页 |
| ·学习对象 | 第46-47页 |
| ·规则集与推理机 | 第47-50页 |
| ·规则集 | 第48-49页 |
| ·推理机 | 第49-50页 |
| ·小结 | 第50-51页 |
| 第四章 学科知识平台上的知识搜搜索索 | 第51-72页 |
| ·查询语言 | 第51-52页 |
| ·相似性与相关性 | 第52-54页 |
| ·基于语义的知识搜索 | 第54-64页 |
| ·余弦相似性(Cosine)计算 | 第55-56页 |
| ·概念相似度计算 | 第56-57页 |
| ·概念相关度计算 | 第57-64页 |
| ·基于图形拓扑语义搜索 | 第64-70页 |
| ·图形的特征和属性 | 第65-66页 |
| ·图形相似性定义 | 第66页 |
| ·图形的相似度计算 | 第66-68页 |
| ·基于相似性特征的图形编码和搜索 | 第68-70页 |
| ·基于图形结构的概念反推导 | 第70-71页 |
| ·小结 | 第71-72页 |
| 第五章 学科知识平台上的知识管理 | 第72-93页 |
| ·知识管理框架 | 第72-74页 |
| ·知识获取 | 第74-77页 |
| ·概念知识获取 | 第76页 |
| ·断言知识获取 | 第76-77页 |
| ·实例知识获取 | 第77页 |
| ·知识存储 | 第77-81页 |
| ·关系数据库中的存储实现 | 第78-80页 |
| ·XML数据库中的存储实现 | 第80页 |
| ·面向对象数据库中的存储实现 | 第80-81页 |
| ·知识组织 | 第81-89页 |
| ·文本映射 | 第81-85页 |
| ·初始化 | 第82-83页 |
| ·分词 | 第83-84页 |
| ·语模匹配 | 第84-85页 |
| ·概念聚类 | 第85-87页 |
| ·图形语义和语义索引 | 第87-88页 |
| ·知识树 | 第88-89页 |
| ·本体学习 | 第89-92页 |
| ·基本框架 | 第89页 |
| ·实现 | 第89-92页 |
| ·本体概念选择 | 第90-91页 |
| ·确定语义关系 | 第91-92页 |
| ·小结 | 第92-93页 |
| 第六章 基于Web的学科知识平台 | 第93-105页 |
| ·系统总概 | 第93-96页 |
| ·本体建模 | 第96-97页 |
| ·知识服务 | 第97-101页 |
| ·自然语言作图服务 | 第97-98页 |
| ·相似命题查询服务 | 第98-99页 |
| ·概念断言查询服务 | 第99页 |
| ·专题检索服务 | 第99-100页 |
| ·几何图形检索服务 | 第100-101页 |
| ·用户信息管理 | 第101-104页 |
| ·个性化知识服务 | 第103页 |
| ·知识问答共享服务 | 第103-104页 |
| ·小结 | 第104-105页 |
| 第七章 总结及展望 | 第105-109页 |
| ·总结 | 第105-106页 |
| ·展望 | 第106-109页 |
| 附录 A 几何知识平台数据说明 | 第109-110页 |
| 附录 B GO部分源代码 | 第110-115页 |
| 附录 C 概念反推导规则表 | 第115-118页 |
| 附录 D 实例 | 第118-138页 |
| 参考文献 | 第138-148页 |
| 攻读博士学位期间发表的论文 | 第148-149页 |
| 致谢 | 第149页 |
