Rouh set 入门知识2（基础定义篇）

　　　　接上一篇，简单说明一下知识库的关系，设K1=（U,S1）和K2=（U，S2）为知识库

           1、如果IND（S1）=IND（S2），即U/IND(S1)=U/IND(S2)，则知识库K1与知识库K2是等价的

　　　　2、如果IND（S1） ⊂IND（S2），我们称知识库K1（知识S1）比知识库K2（知识S2）更精细，或者说知识库K2（知识S2）比知识库K1（知识S1）更粗糙。

　　　　3、如果上述两种情形都不满足，则称两个知识库无法比较粗细。

如下题：

给定两个知识库K1=（U，｛R1,R2,R3｝）和K2=（U，｛R1,R2｝）,其中论域U=｛x1,x2,x3,x4,x5｝,且U/R1=｛｛x1,x3｝,{x2,x4,x5}｝,U/R2=｛｛x1｝,{x2,x3,x4,x5}｝,U/R3=｛｛x1,x4｝,{x2,x3},{x5}｝,试分析这两个知识库的粗细关系。

解：因为U/IND（R1,R2,R3）={{x1},{x2},{x3},{x4},{x5}}  a,

           U/IND（R1,R2）={{x1},{x3},{x2,x4,x5}} ,            b

       显然 a ⊂ b，

       所以，知识库K1与知识库K2更细，K2比K1更粗糙