Rough逻辑及其在数据约简中的应用.pdfVIP

维普资讯 1000—9825／2001／12(03)0415—05 @2001JournalofSoE：tware 软 件 学 报 Vo1．12，No．3 Rough逻辑及其在数据约简中的应用 划 清，划少辉，郑 非 (南 昌大学 计算机科学与工程系，江西 南昌 330029) E—mail}qliu@ 263．net 摘要 t讨论 了被定义在邻域 值决策表上 的Rough逻辑夏 其公 式的真值 ，它在数据约简 中的应用 比Pawlak定义 的 决策表上 的决策逻辑 更加广泛．目前常用 的敷据约简方法有 Pawlak的敷据分析和 skowron的分 明矩阵法 ．前者 是非彤式的，不易机械化 ；而后者 虽说直观 、易理解 ，但还要求生成一个分 明矩 阵的中间环节 ，肌 而造成时空上 的 不必要 的开钟 ．采取一边从邻域 值决策表关于属性值邻域是分 明的属性并构成邻域分 明台取范式，一边做这种逻 辑公式的等价变换直接得 到邻域值决策表的诸 多约简．由于不用生成分明矩阵的中问环节，这样便节省 了空间和 时间 ，提 高了运行效率．对此 ，对拥 有 6个属性 (4个条件 和两个袅策属性)以夏 102个个体的一致硅策表或邻域 值睫策表进 行处理并生成 了约简的决 策规则．用两种 不同方法在 PI]233．／64M 的徽机上用 DELPHI3．0分剐对它 们进行约简并得到相 同的结果，采用一边肌表 中提取套式一边做 约简的方法 ，所用时间约 1分 54秒 ；而用分 明矩 阵法却耗击 1分 55秒．由于增加 了一个敷组 (分 明矩阵)，便增加 了空间复杂度 O( × )，其 中 为属性数 ，为 个体敷 ，随着属性敷 和个体敷 的增加 ，所 占的空间和时间也将惠剧增 加．可见，肌空间和时问消耗上来 看 ，这 两种 方法 的优 劣是十分 明显的 ． 关麓调 ：Rough逻辑F邻域值捷策表~Rough逻辑公式演算；数据约简 中田法分娄号 ：TP181 文献标识码 ：A Rough集的创始人 z．Pawlak提 出了基于决策表上的决策逻辑 “]，它实质上是古典二值逻辑 的特殊情况．但创立 Rough集的背景是为了解决早在 1904年谓词逻辑 的创始人 G．Frege提出的 边界线上的含糊元素的计算问题 ，也就是说 ，逻辑上的绝对真和假是罕见的，而介于真和假之间的 程度值是大量的 ，因此需要创立一种解决边界线上的含糊元素计算 问题的理论．由于经等价关系定 义的Rough集理论实现了Frege的计算真和假之间程度值的思想 ，所 以Rough集理论的创立是为 了改造经典二值逻辑 ，使之能计算出真和假之间程度值的多值逻辑．本文试 图拓广这种决策逻辑， 使其真值不局限于二值而是多值 ，为此可以计算真和假之间的程度值 ，实现 Frege的边界线 区域元 素计算 问题 ；另一方面 ，决策表上的属性值扩充为邻域值 ，因此也叫邻域值决策表 ． 1 Rough逻辑 Rough逻辑中的原子公式为 (口，(，r))，a是属性 ，，，)是关于 a在邻域值决策表上 以 为中 心 ，r为半径的属性值的邻域．为简便起见 ，我们记 (，r为 )．将这样的原子公式 (n，())和通 常的逻辑联结词组合起来就得到这种逻辑的复合公式． 定义 1．设 Rough逻辑语言 RLL(roughlogiclanguage)是 由属性集 A、属性值集 V=U ∈AV 以及通常的逻辑联结词和圆括号集及其如下递归定义的合式公式 (wffs)组成 ： ·收稿 日期 I1999—10—22F修改日期 }2000-01—21 基盘项 目：国家 自然科学基金资助项 目；江西省 自然科学基金资助项 目(9911027) 作者简介 ：划清 (1938--)．男．江西南 昌人，教授 ．主要研究领域为人工智能，Rough集理论及其近似推理 I刘少辉 (1977--) 男．江西亲千^，碰士生 ．主要研究领域为^工智能 |部譬 (1975--)，女 ．江西九江 ^．硕士生．主要研 究领域为^工智能． 维普资讯 dournalofSo