粗糙集代数与MV代数.pdfVIP

维普资讯 第 22卷第 3期 模 糊 系 统 与 数 学 V0l_22，No．3 2008年 6月 FuzzySystemsandMathematics Jun．，2008 文章编号 ：1001—7402(2008)03—0152—04 粗糙集代数与MV代数 乔全喜h。，秦克云 (1．西南交通大学 数学系，四J1I成都 610031； 2．河南理工大学 数学与信息科学学院，河南 焦作 454000) 摘 要 ：讨论粗糙集代数与 MV代数的关系以及 由粗糙集代数构造 MV代数 的方法。粗糙集代数本身 具有格结构，证明了在适当选取蕴涵及乘积运算之后 ，粗糙集代数就成为MV代数 。 关键词 ：粗糙集 ；粗糙集代数 ；剩余格 ；MV代数 中图分类号 ：TP18 文献标识码 ：A 粗糙集理论是一种新的处理模糊和不确定知识 的数学工具[1]。自1982年由波兰数学家Pawlak[1] 首次提出以来 ，经过二十几年的研究与发展 ，已经在理论和实际应用上取得了长足的发展 ，特别是 由于 2O世纪年 8O代末 9O年代初在知识发现等领域 的成功应用而受到了国际上广泛关注。目前 ，它 已经在 人工智能、知识与数据发现、模式识别与分类 、故障检测等方面得到了成功的应用。 随着粗糙集理论的成功应用 ，关于其逻辑基础的研究工作也逐渐展开。YaoYY，LinTy[a-43证明 了基于 自反和传递关系的粗糙集代数是模态逻辑系统 S 的恰当的模型，文献I-s]对于基于信息系统的 决策逻辑进行了初步的探讨。目前关于粗糙逻辑的研究还仅限于为粗糙集理论建立逻辑基础 ]，对于 通过逻辑手段 ，尤其是逻辑系统 中的形式演绎方法研究粗糙集的应用 (例如，知识与规则的约简)还比较 薄弱 。 非经典逻辑代数以及相关逻辑系统是人工智能基础理论研究的热点之一。人们基于不同的角度提 出了多种形式的非经典逻辑代数，如剩余格、MTI一代数、BL一代数、MV一代数等 引，相关逻辑系统的 研究也有 比较成熟的方法与结果[9 。若能建立非经典逻辑代数与粗糙集代数的联系，就可以借助已 有的关于非经典逻辑的研究结果讨论粗糙逻辑 。等价关系在粗糙集代数中起着关键作用，其近似算子完 全由相应的等价关系确定 ，论域上并无其它附加结构 ，因此，借助非经典逻辑代数上的同余关系，按照常 规的方法容易在非经典逻辑代数上构造粗糙集代数。反之，我们也希望将粗糙集代数表示为非经典逻辑 代数 。文献[11]讨论了由粗糙集代数构造格蕴涵代数的方法，其中的粗糙集采用不交表示的形式。本文 研究将粗糙集代数构造为 MV代数的方法 ，其 中粗糙集采用上、下近似算子的表示形式。我们证明了在 适当选取乘积运算及其伴随蕴涵算子之后，粗糙集代数就成为MV代数。 1 预备知识 定义 1．1 剩余格是一个代数系统(L，V，八， ，一 ，0，1)，其 中 * 收稿 日期 ：2007—01—02；修订 日期 ：2007一ll—l7 基金项 目：国家 自然科学基金资助项 目 作者简介 ；乔全喜 (1962一)，男 ，河南新乡人 ，西南交通大学教授 ，博士生导师．研究方 向：代数逻辑．智能信息处理 。 维普资讯 第 3期 乔全喜 ，秦克云 ：粗糙集代数与MV代数 153 (1)(L，V，^，o，1)为有界格，o，1分别为其最小元与最大元 ； (2)(L， ，1)是以 1为单位元的交换半群且对于任意 口，b，cEL， a≤ b a c≤ b c (3)一是L上的一个二元运算且与 构成伴随对 ，即对于任意 a，6，cEL， a b≤c当且仅当a≤b— c