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

知识库中的相关性第 4 章 第四章 知识库中的相关性 4.1 引言 本章讨论知识间（等价关系间）的相关性(dependency). 4.2 知识的相关性 定义 4.1 设 K = (U , R ) 是一个知识库，P，Q R 1) P 蕴含 Q (或 Q 依赖 P ) ，记为 P Q ，当且仅当 IND(P ) IND(Q ) . 2) P 与 Q 等价，记为 P  Q ，当且仅当 P Q 且 Q P （即：P  Q 当且仅当IND(P )= IND(Q ) ）. 3) 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，下列说法等价 1) P  Q ，即IND(P ) IND(Q ) ，即(P ) Q 2) IND(P Q)IND(P ) //(P Q ) ( P )(Q ) ， 若( P )(Q )(P ) ，可推知(P ) Q 3) POSP (Q)=U 4) 对X U/Q ，P X =X ， Comments: 定理 4. 1 说明如果 Q 依赖于 P，那么知识 Q 在知识库中是冗余 的，因为知识 P Q 和知识 P 具有完全相同的分类能力。 第 1 页 知识库中的相关性第 4 章 定理 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 a) 若 P 相关，则存在 Q P 是 P 的一个简式 . b) 若 P Q 且 P 独立，则 P 中所有基本关系两两独立 . c) 若 P Q 且 P 独立，则 P 的任何子集 R 都是独立的 . 定理 4.4 更详细地刻画了相关性 定理 4.4 1）若 PQ 且 P  P  ，则 P Q 证: PQIND(P) IND(Q ), IND(P)  IND(P)  IND(Q) 2）若 P Q 且 Q Q ，则 P Q  3）P Q 且 Q R 蕴含 P R 4 ）PR 且 Q R 蕴含 P Q R P R 且Q  R  (P)(Q))  R (P Q) (R ) P Q R 5）PR Q 蕴含 PR 且 PQ IND(P) IND(R Q )IND(R)IND(Q) ，由此可推出： IND(P) IND(R)且IND(P) IND(Q) 6）P Q 且 Q R T 蕴含 P R T 7）P Q 且 R T 蕴含 P R Q T 4.3 知识的部分相关性 Q 中仅有部分知识可由知识 P 导出。 定义 4.2 第 2 页 知识库中