基于语义几何学科知识平台

章 引言12-22

1.1 教育软件的发展和现状12-15

1.1.1 国外几何教育软件概述13-15

1.1.2 国内教育软件概述15

1.2 课题研究背景15-18

1.3 学科知识平台简介18-19

1.4 研究目的和研究成果19-20

1.5 的组织20-22

章 基于知识的问题求解系统22-36

2.1 知识表示的22-25

2.1.1 知识原则和知识表示的作用22-23

2.1.2 理想的智能体23-24

2.1.3 知识表示的功能24-25

2.2 知识表示的方式25-32

2.2.1 一阶谓词逻辑25-26

2.2.2 产生式系统26

2.2.3 语义网络和框架系统26-27

2.2.4 本体及其表示方法27-32

2.3 基于知识的问题求解方法32-34

2.3.1 搜索32-33

2.3.2 推理33-34

2.3.3 RDF三元组查询34

2.4 小结34-36

章 学科知识平台上的知识表示36-51

3.1 学科知识分析36-37

3.2 基于本体的几何知识表示37-44

3.2.1 GO设计原则37-39

3.2.2 GO开发语言RDF39-40

3.2.3 几何知识的表示40-44

3.3 几何知识本体44-46

3.4 学习对象46-47

3.5 规则集与推理机47-50

3.5.1 规则集48-49

3.5.2 推理机49-50

3.6 小结50-51

章 学科知识平台上的知识搜搜索索51-72

4.1 查询语言51-52

4.2 性与性52-54

4.3 基于语义的知识搜索54-64

4.3.1 余弦性(Cosine)计算55-56

4.3.2 度计算56-57

4.3.3 度计算57-64

4.4 基于图形拓扑语义搜索64-70

4.4.1 图形的特征和属性65-66

4.4.2 图形性定义66

4.4.3 图形的度计算66-68

4.4.4 基于性特征的图形编码和搜索68-70

4.5 基于图形结构的反推导70-71

4.6 小结71-72

第五章 学科知识平台上的知识管理72-93

5.1 知识管理框架72-74

5.2 知识74-77

5.2.1 知识76

5.2.2 断言知识76-77

5.2.3 实例知识77

5.3 知识存储77-81

5.3.1 关系数据库中的存储实现78-80

5.3.2 XML数据库中的存储实现80

5.3.3 面向对象数据库中的存储实现80-81

5.4 知识组织81-89

5.4.1 文本映射81-85

5.4.1.1 初始化82-83

5.4.1.2 分词83-84

5.4.1.3 语模匹配84-85

5.4.2 聚类85-87

5.4.3 图形语义和语义索引87-88

5.4.4 知识树88-89

5.5 本体学习89-92

5.5.1 基本框架89

5.5.2 实现89-92

5.5.2.1 本体选择90-91

5.5.2.2 确定语义关系91-92

5.6 小结92-93

第六章 基于Web的学科知识平台93-105

6.1 系统总概93-96

6.2 本体建模96-97

6.3 知识怎么写作97-101

6.3.1 自然语言作图怎么写作97-98

6.3.2 命题查询怎么写作98-99

6.3.3 断言查询怎么写作99

6.3.4 专题检索怎么写作99-100

6.3.5 几何图形检索怎么写作100-101

6.4 用户信息管理101-104

6.4.1 个性化知识怎么写作103

6.4.2 知识问答共享怎么写作103-104

6.5 小结104-105

第七章 总结及展望105-109

7.1 总结105-106

7.2 展望106-109

附录 A 几何知识平台数据109-110

附录 B GO源代码110-115

附录 C 反推导规则表115-118

附录 D 实例118-138