【正文】
令 為如下集合: 若 成立,則 若 不成立,則 ,x y U? ),( yx?( ) ( )AAx p o s d y p o s d? ? ?( ) ( )AAx p o s d y p o s d? ? ?, ( ) ( , ) ( )Ax y p o s d x y i n d d? ? ?( , )xy??),( yx? ( , ) { 。對于任意 ,由 a 可以確定論域上的一個(gè)等價(jià)關(guān)系,稱為由 a確定不可區(qū)分關(guān)系 ,記為 ,定義如下:對于任意 , 當(dāng)且僅當(dāng): ? 因此,信息系統(tǒng)本質(zhì)上就是數(shù)據(jù)庫,每一個(gè)屬性決定一個(gè)知識(shí)。類似地,對于任意 ,由 B確定的不可區(qū)分關(guān)系 為: ? 當(dāng)且僅當(dāng) :對于任意 , ? 則信息系統(tǒng)的知識(shí)為分類 ,其中概念的直觀含義為: ( , , , )S U A V f? aA?()ind a ,x y U?( , ) ( )x y ind a? ( , ) ( , ) .f x a f y a?BA?()ind B( , ) ( )x y ind B? a