粗糙集理论第3章.docVIP

第 页 PAGE \* Arabic 1 知识的化简 第3.1节 引言 本章讨论如何约减知识库，即如何消除知识库中的冗余知识，分为两种基本类型的约减： 知识（等价关系）的约减； 概念（等价类）的约减； 第3.2节 知识的简式与核 定义3.1 设R是一个等价关系簇。若有一等价关系R∈R，使得IND(R)＝IND(R?{R})，则称R在R中是不必要的(dispensable)，否则称R在R中是必要的(indispensable)。 若?R∈R都是必要的，则说R是独立的(independent)，否则说R是相关的(dependent)。 定理3.1 如果R是独立的，且P ? R，则P也是独立的。 证明：用反证法。 假设P ? R且P是相关的，则存在S ?P 使得IND(S)?IND(P )，故有IND(S ?(R?P ))?IND(R )。IND(R ) = ? R ? ? (P ?(R?P ))= (?(R?P )) ? (?P ) = (?(R?P )) ? (?S ) =? (S ?(R?P )) =IND(S ?(R?P )) 显然又有S ?(R?P)?R，这与R是独立的矛盾. ■ 定义3.2 如果Q ? P，Q是独立的且IND(Q )＝IND(P )，则称Q为P的简式。 显然，P可能有多个简式。 定义3.3 P中所有必要的等价关系的集合称为P的核，记为CORE(P