| 2.1.2知识格的构造
在知识研究领域，作为组成知识基本单位的概念，有着更广泛的定义，比如，一门课程、一门课程中某一个章节、一个章节中某个知识点都属于知识研究的范畴，而且它们之间普遍存在一种泛化关系。下面以概念图中概念的表示方法和概念之间的所属关系为理论基础，结合知识格理论，构造某个问题领域中具有所属关系知识之间的序关系，并以Hasse的形式给予表示。
定义1令K={K,K,...,K)为有限的知识集合，K上的偏序关系“”表示知识之间的泛化关系，即KK表示知识K是知识K的泛化，而知识K是知识K的特化，（K，）构成一偏序集Poset(Partiallyorderset)。
例如:[C][程序设计语言],[C++][程序设计语言]，[Jave][程序设计语言]，充分说明程序设计语言与其它几种具体语言之间的所属关系，前者代表具体，后者代表一般。同时也可描述为[程序设计语言：{C++，C，Jave}][程序设计语言]。用Hasse图表示，如图4(a)和(b)所示。
图4以知识之间的泛化和特化关系构造知识格
定义2.若存在K,K,...KÎK，满足定义1中所描述的偏序关系，并且假设Ω是知识序对集合，表示泛化知识的与关系，即Ω={K→K,K→K}表示知识K、K同时为知识K的特化。
a.如果K中任意两个元素都有最小上界和最大下界，则说K,，Ω>构成格关系。最小上界和最大下界分别表示问题领域中两个知识的最小公共泛化（theleastcommongeneralization）和最大公共特化(greatercommonspecialization)。
例如，在离散结构中，二元关系和偏序关系都是关系的特化，即存在关系序对：[二元关系][关系]和[偏序关系][二元关系]，如图5（a）所示。在图中，关系和偏序关系的最小公共泛化为关系，说明在这个问题领域中它们具有相同的属性，最小的公共属性包含在关系中。而关系和偏序关系的最大下界偏序关系则是它上层知识的特化，不仅继承了关系的所有性质，而且具有自己独有的性质。而且这种继承性是传递的，任何一个知识都继承它上层知识所描述的特性。例如图5（a），偏序关系同时具有二元关系和关系的特性。
b.如果K中两个元素不存在最小上界或最大下界，说明这些知识在语义上不可比，这时我们就给它强行规定一个最小上界 和最大下界 ，使它形成一个完备的知识格。最小上界和最大下界分别表示某一知识领域的泛实体类型UNIV（Theuniversalentitytype）和空实体类型ABSURD(the“absurd”entitytype)。
例如，若存在关系序对：[偏序关系][二元关系]，[等价关系][二元关系]，那么偏序关系和等价关系两个概念之间虽说存在最小上界二元关系，但不存在最大下界，这时就表示偏序关系和等价关系语义上不可比，它们的最大下届为空实体类型。如图5（b）所示。 0
图5简单知识格
2.2知识格的应用
根据以往的学习经验，在进行知识学习的过程中，只有当学习者有意识不停的确定新知识中的关键概念，并且将其与自己头脑中已有的其它知识联系在一起，形成一个具有结构的知识体系时，才会发生真正的学习，即完成了知识的架构，否则，仅有孤立概念的记忆存储，知识就是死的、机械的、无意义的，也会很快被遗忘。
知识格理论的应用对此是一个很好的诠释。特别是在学习某一门课程的过程中，学习者可以在学习的过程中对所学习的知识点不断的进行融会贯通，把前后相关的关键知识点联系起来，有效构造它们之间的关系，以致对整个知识架构产生更清楚的认识是一个很有效的知识学习方法。
例如，图6就是以《离散数学》中与关系这个知识点之间存在泛化关系的部分知识点为知识集合，建立起的知识格。
图6构造知识格
首先在图6(a)这个简单的知识格中，汇集了《离散数学》学科与关系相关的部分关键知识点，知识集合K={关系，二元关系，自反关系，对称关系，传递关系，模K同余关系}，是两个知识点之间的泛化关系，知识序对集合Ω={[二元关系][关系]；[自反关系][二元关系]，[对称关系][二元关系]，[传递关系][二元关系]；[模K同余关系][自反关系]，[模K同余关系][对称关系]，[模K同余关系][传递关系]}]。 2/3 首页 上一页 1 2 3 下一页 尾页 |
