同样，通过对《离散数学》课程的学习可以构造一个如图6(b)所示的关系图。图中，关系对集合Ω={[二元关系][等价关系]，[等价关系][模K同余]，[等价关系][三角形相似]}。从图中可以看到，模K同余、三角形相似都是等价关系具体一个例子，因此满足其所有的性质。但图中，虽然每一个关系序对之间存在序关系，表示知识的泛化，并不是每两个知识都存在最大下界，例如，模K同余和三角形相似和虽然存在最小上界等价关系，表示它们都是等价关系的特化，但并不存在最大下界，说明它们在这一知识领域语义上不可比，最大下界为空实体类型 ，因此它符合定义2中的第二种情况。
3.结语
通过Hasse图生动简洁地体现了知识之间的泛化关系，是进行知识学习的有力工具，本文充分结合传统格理论，采用精练的哈斯图对知识之间的序关系进行描述，有效避免了原有知识格中存在的箭头所带给读者的迷惑，从而在表示上与传统格理论相容，增强了通用性和可读性。最后以《离散数学》课程为例介绍了知识格在某一门特定课程学习过程中的应用，经过一定理论分析及研究，证明其具有一定的实际应用价值，适合任何一门理论课程的学习。
参考文献
1 蒋运承.知识格[J].微电子学与计算机,2006年,第23卷第2期.
2 马光思. 离散数学[M].西安:西安电子科技大学出版社,2004.7:106~110.
3 白振兴.一种新的知识表达:概念结构[J].计算机科学与技术,1992.1.
4 年志刚,梁式,麻芳兰,李尚平.知识表示研究与应用.计算机应用研究[J],2007年:第05期.
5 Jean Fargues . Marie-Claude Landau. Anne Dugourd. Laurent Catach.Conceptual graphsfor semantics and knowledge processing[M]. IBM J.RES.DEVELOP.VOL.30.1JANUARY 1986. 3/3 首页 上一页 1 2 3 |
