接上一篇，简单说明一下知识库的关系，设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更粗糙