定义8.11归纳定义为对象集合O中的一种关系,若 GENERALIZATIONX,Y),则称X是Y的归纳。归纳满足下述 公理 (1)关系 GENERALIZ7ON是不对称的,非自反的和传递的 (2)如果X是一信息对象,它是域对象Y的实例,则Y是X的归纳。 (INSTANCEOF()=Y=> GENERALIZATION(YX) (3)如果X是Y的归纳,并且Y是一个域对象,则X必是域对象。 VX,Y[( GENERALIZATION(X,1∧Y∈D)=>X∈D (4)如果Y是X的归纳,并且X是一个信息对象,Y是一个域对象 则X在Y的实例集中 VX, YIIGENERALIZA7ONC)∧(xG10)∧(Y∈D→> (X∈ IMSTANCES()◼ 定 义 8 . 11 归纳定义为对象集合 O 中 的 一 种 关 系 ， 若 GENERALIZATION(X,Y)， 则称X是Y的归纳。归纳满足下述 公理： (1)关系GENERALIZATION是不对称的，非自反的和传递的。 (2)如果X是一信息对象，它是域对象Y的实例，则Y是X的归纳。 (INSTANCEOF(X)=Y) => GENERALIZATION(Y,X) (3)如果X是Y的归纳，并且Y是一个域对象，则X必是域对象。  X,Y[(GENERALIZATION(X,Y)∧Y∈D0 )=>(X∈D0 )] (4) 如果Y是X的归纳，并且X是一个信息对象，Y是一个域对象， 则X在Y的实例集中。 X,Y[[GENERALIZATION(Y,X)∧(X∈I 0 )∧(Y∈D0 )]=> (X∈INSTANCES(Y))]