知识库中的相关性第4章.doc

知识库中的相关性 4.1 引言 本章讨论知识间（等价关系间）的相关性(dependency). 4.2 知识的相关性 定义4.1 设K = (U , R ) 是一个知识库，P，Q ?R 称P蕴含Q (或称Q依赖P )，记为P ?Q，当且仅当IND(P )IND(Q ) . 称P与Q等价，记为P ? Q，当且仅当P ?Q且Q ?P（即：P ? Q当且仅当IND(P )= IND(Q )）. 称P与Q不相关（独立），记为P?Q，当且仅当P ?Q与Q ?P均不成立. 例1 假定U?{1, 2, 3, 4, 5, 6, 7, 8}，给定知识P和Q，它们对应的划分如下： U/P = U/IND(P) ={{1,5},{2,8},{3},{4},{6},{7}} U/Q = U/IND(Q) ={{1,5},{2,7,8},{3,4,6}} 有IND(P)?IND(Q)，故P?Q 定理 4.1 设K = (U , R )是一个知识库，P , Q ? R，下列说法等价 P ? Q，即IND(P )IND(Q )，即?(P )? ?Q IND(P ?Q)?IND(P ) //?(P ?Q )? (? P )?(?Q )，若(? P )?(?Q )??(P )，可推知?(P )? ?Q POSP (Q)=U 对?X?U/Q，X=X， Comments: 定理4.1说明如果Q依赖于P，那么知识Q在知识库中是冗余的，因为知识P ?Q和知识P具有完全相同的分类能力。 定理4.2 若P是Q的一个简式，则P ?Q?P 且IND(P ) = IND(Q ) 证明：因为P是Q的简式，所以IND(P )= IND(Q )成立，也即IND(P )= IND(P ?(Q?P ))，根据定理4.1的1)和2)等价得到P ?Q–P ■ 定理4.3 若P相关，则存在Q ?P是P的一个简式 . 若P ?Q且P独立，则P中所有基本关系两两独立 . 若P ?Q且P独立，则P的任何子集R都是独立的 . 定理4.4更详细地刻画了相关性 定理4.4 若P?Q 且P ? P ?，则P ??Q  证: P?Q?IND(P)? IND(Q ), IND(P?) ? IND(P) ? IND(Q) 若P? Q 且 Q ??Q，则P ?Q ? P ?Q 且 Q ?R 蕴含P ?R P?R 且Q ?R 蕴含P ?Q ?R  ?P? ?R 且?Q ? ?R ? (?P)?(?Q)) ? ?R  ??(P ?Q)? ?(R ) ?P ?Q ?R P?R ?Q蕴含P?R且P?Q  IND(P)? IND(R ?Q )?IND(R)?IND(Q)，由此可推出： IND(P)? IND(R)且IND(P)? IND(Q) P ?Q 且 Q ?R ?T蕴含P ?R ?T P ?Q 且 R ?T 蕴含P ?R ?Q ?T 4.3 知识的部分相关性 Q中仅有部分知识可由知识P导出。 定义4.2 设K =(U , R )是一个知识库，P,Q ?R，说知识Q以程度k（0 ? k ? 1）与知识P相关，记为P ?kQ，当且仅当 k??P (Q)? [card (POSP (Q ))]/[card U] ▋ 讨论： 若k = 1，则称Q与P完全相关，即P ?Q；（P ?1Q ? P ?Q） 若0 k 1，则称Q与P粗（或部分）相关； 若k = 0，则称Q独立于P（Q与P不相关） . 从分类的角度考虑知识间的相关性 k = 1，采用知识P，可将U中所有元素确定性地划分到U/Q的初等概念中。 k ? 1，采用知识P，U中属于Q的P正区的元素才能被确定性地划分到知识Q的初等概念中。 k = 0，采用知识P，U中任何元素都不能被确定性地分类到知识Q的初等概念中。 以上刻画了知识间的相关度（全局刻画），下面刻画知识与概念间的相关度（局部刻画）。 定义4.3 设P，Q为论域U上的等价关系簇， XU/Q ，称 ?P (X)=[card (X)]/[card (X)] 为知识Q中的概念X关于知识P的相关度。 ■ 由此，两个数值?P (Q )和?P (X)（X?U/Q）向我们提供了知识P关于U/Q之分类能力的完全信息。 例2 设U ={1, 2, 3, 4, 5, 6, 7, 8}，U/Q ={X1, X2, X3, X4, X5}，其中，X1＝{1}，X2＝{2, 7}，X3＝{3, 6}，X4＝{4}，X5＝{5, 8}； U/P ={Y1, Y2, Y3, Y4, Y5, Y6}，其中Y1={1, 5}，Y2={2, 8}，Y3={3}，Y4={4}，Y5={6}，Y6={7}. 通过计算可知 X