知识约简及属性约简的转化及等价性.pdfVIP

第 28卷第 4期 模 糊 系 统 与 数 学 Vo1．28，No．4 2014年 8月 FuzzySystem sandM athematics Aug．，2014 文章编号 ：1001—7402(2014)04—0133—05 知识约简和属性约简的转化及等价性 赵 静 ，徐 罗山 (扬州大学 数学科学学院，江苏 扬州 225002) 摘 要 ：研究 了知识库 的知识约简和知识表达系统的属性约简的转化和联系，证 明了这两种约简在一 定意义下可相 互转化 且是 等价的。 关键词 ：知识 ；知识表达系统；约简；转化 中图分类号 ：0159 文献标识码 ：A 1 引言 粗糙集理论_l1]是一种新的处理模糊和不确定性知识的数学工具 。目前 ，粗糙集理论 已成为信息科学 最为活跃的研究领域之一 ，并被成功地应用于机器学习、决策分析、过程控制、模式识别与数据挖掘等 领域。 设 ≠ 是有 限集合 ，称为论域 ；子集 【，称为 的一个概念或范畴。u 中的概念族 (即 的子 集族)称为关于 的抽象知识 ，简称知识。而 上的的一族划分称为关于 的一个知识库 (knowledge base)。众所周知 ，知识库 中知识 (属性)并不是同等重要的，甚至某些是冗余的，于是人们提出知识约简 的概念 ，即在保持知识库分类能力不变的前提下 ，删除不相关或不重要的知识 。 一 个知识表达系统是 四元组S一( ，A，V，-厂)，其 中 是属性集 ，函数_厂常以关系表的形式给出。对 于知识表达系统 ，人们提出了属性约简的概念 ，所谓属性约简是指满足能区别由整个属性集区别 的所 有对象的极小属性子集 。 虽然知识约简和属性约简形式上不一致 ，但众多实例表明它们有紧密联系，这在现有文献中并没有 明确论证 。本文打算弄清这两种约简之间的具体关系。我们先给出知识库与知识表达系统的转化概念 ， 然后明确给出知识约简和属性约简之间的关系，证明这两种约简在一定意义下是等价的且可相互转化 。 2 预备 设P≠ 为论域 上一族等价关系 ，称为一个知识库 。令 ind(P)一 NR，则 ind(P)仍为等价关系 ， R∈尸 称为P的不可区分关系。如果 rffP使 ind(P)一锄 (P一{r))，则称 r为P中不必要的；否则称 r为P中 必要的。若P中每一元均为必要 的，则称 P为独立 的。 知识库P中所有必要关系组成的集合称为P的核 ，记为 core(P)。 定义 2．1 设P是 U上的一个知识库 ，Q P，如果 ind(Q)=ind(P)J~Vr∈Q，ind(O)：~{nd(Q-- 收稿 日期 ：2013-03—09；修订 日期：2013-09—02 基金项 目：国家 自然科学基金资助项 目61l03018；安徽省教育厅项 目(KJ2Ol3A236) 学， … 教授． ． 毒简介：赵静(1986一)，女，河南安阳人，扬州大学研究生，研究方向：粗集理论，domain；徐罗山(1957一)，男，江苏泰州人，扬州大 ，博士生导师，研究方 向：拓扑，domain。 134 模 糊 系 统 与 数 学 {r})，则称 Q为P的一个知识约简，简称约简。用 red(P)表示 P的所有约简。 易见 ≠Q独立∞Q o (Q)。 引理 2。1l1 设 P是u上的一个知识库 ，则 core(P)一nred(P)。 定义 2．2 (1)称S一(，A，V，厂)为一个知识表达系统 ，其 中 一 {z，。，… ，-z)是对象 的有 限集 ； 是属性的非空有限集合 ； —UV ，V 是属性 日的值域；f：U×A( 是一个信息 函数 ，VaEA，zE 口∈^ U，f(z，口)∈V。． (2)知识表达系统 5的区分矩阵是一个 X 矩阵M一( )，M 中任一元素 ，一n(z，-z)一{aE Alf(x，口)≠厂