粗糙集理论第3章.pdfVIP

粗糙集理论第 3 章 第三章 知识的化简 第 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 可能有多个简式。 第 1 页 粗糙集理论第 3 章 定义 3.3 P 中所有必要的等价关系的集合称为 P 的核，记为 CORE(P ). 下面的定理给出了简式与核的关系。 定理 3.2 P 的核 CORE(P )＝RED(P )，其中 RED(P )是 P 的所有简式的 簇。 Note ：即，对Q RED(P ) ，都有 CORE(P )Q ，CORE(P ) 是 RED (P )中所有元素的公共部分。 证明： 欲证明定理 3.2 ，我们只需证明 CORE(P )   RED(P )且 CORE(P )   RED(P ) . 为此 先证 CORE(P )   RED(P ) 对于R ，若 R CORE(P )，则 R   RED(P )  对于R ， 若 R   RED(P )，则 R  CORE(P ) //* GH= GH ；HG = (H)(G) = GH  GH = HG *// 假定存在 R 使得 R   RED(P ). 则一定存在 P 的某个简式 Q 使得 R  Q，即有 Q  P  {R }P Q 是 P 的简式 IND (Q ) IND (P ) P  {R }P IND (P  {R } )IND (P ) IND (Q ) Q  P  {R } IND (Q ) IND (P  {R }) 所以，IND (Q )= IND (P  {R })= IND (P ) 所以，R 是不必要关系，即R  CORE(P ). 再证 CORE(P )  RED(P ) 同理，我们只需证明对R  CORE(P )，必有 R  RED(P ) . 第 2 页 粗糙集理论第 3 章 假设 R CORE(P )，R 是 P 中不必要的，即 IND (P )IND (P {R })，这意味着 P 中存在一个的独立的等价关 系子集 S P  {R }，使得 IND (S )IND