IMTL-代数的运算不变滤子.pdf

第 29卷第 2期 模 糊 系 统 与 数 学 Vo1．29。No．2 2015年 4月 FuzzySystemsandMathematics Apr．．2015 文章编号：1001—7402(2015)02—0075-08 IMTL一代数的运算不变滤子 谢茂森 ，张家录。 (1．四川文理学院数学与财经学院，四川 达州 635000； 2．湘南学院 数学与金融学院，湖南 郴州 423000) 摘 要：在 IMTL一代数M 中引进关于同余关系R的 一运算不变滤子st#(x)、0一运算不变滤子 f (x)和一个集合关于另一个集合 的运算不变滤子St(X，y)。细致讨论这些运算不变滤子 的一些性 质，证明全部滤子组成的格，且滤子F关于恒等关系= 的运算不变滤子 (F)是F的伪补 ， (F，G) 是 F关 于G的相对伪补 。 关键词 ：IMTL一代数 ；滤子 ；运算不变滤子 ；滤子格 中图分类号 ：0159 文献标识码 ：A 1 引言 随着模糊推理和模糊控制在理论和应用上的巨大成功 ，关于其模糊逻辑基础的研究 日益得到重视 ， 正如布尔代数在经典逻辑研究中的作用一样 ，代数方法也是模糊逻辑研究的主要方法之一。与经典逻辑 不同的是：各个学者从不同的角度提出各种不同的模糊逻辑系统，而每一个模糊逻辑系统都有着其对应 的代数系统 ，这些代数系统在研究模糊逻辑系统的可靠性 、完备性等特征时发挥 了巨大的作用。因此，许 多的非经典逻辑代数系统被提出并得到了比较深入的研究。在各种模糊逻辑代数系统中，剩余格是一种 较为广泛的代数系统，而各种模糊逻辑代数系统基本上可以看作是基于剩余格再附加上某些条件而得 到。如MTL代数是剩余格附加上预线性条件 ：(z— )V (— )=1；BL代数是MTL代数附加上 可除性条件 ：z (z— )： ^Y；IMTL代数是MTI代数附加逆序对合对应条件 ：一-7 —z；还 有其它一些模糊逻辑代数系统也是如此 ，如 ：MV代数 ，R。代数 ，格蕴含代数 ，G代数 ，Ⅱ代数 ，NM 代数 等。当然 ，以上由各位学者从不同的角度提 出模糊逻辑代数系统中，有些代数系统是等价的，如 MV 代数与格蕴含代数 ，R。代数与NM 代数等都已被证 明是等价的代数系统，MV代数和 代数也都是 IMTL代数 ～ 。 在模糊逻辑代数系统 的研究中，滤子是一个极为重要 的概念 ，它可以看作是形式推演 中的MP规则 的抽象化。各种逻辑代数系统中的滤子的性质和它们在逻辑推演中的应用 已得到了广泛的研究_8 。 正因为如此 ，很多的学者对各种模糊逻辑代数系统上的滤子进行了较多研究也得到 了较多的结论。本文 在IMTL一代数 中引进关于同余关系尺的@一运算不变滤子st#(x)、④一运算不变滤子 f(x)和一 收稿 日期 ：2013一I1-24 基金项 目：湖南省教育厅重点建设学科项 目；湖南省科技计划项 目(2O14FJ3OLO)；湖南省教育厅科学研究重点项 目(2014AI35)； 四川I省教育厅科学研究重点项 目(15ZA0319) 作者简介 ：谢茂森 (1968一)，男，四川平 昌人，四JII文理学院数学与财经学院副教授 ，研究方向：智能信息处理；张家录(1964一)，男， 湖南安仁人，湘南学院数学与金融学院教授 ，研究方 向：非经典数理逻辑，智能信息处理等。 通讯作者 ：张家录 ：zj10735@163．corn。 模 糊 系 统 与 数 学 个集合关于另一个集合的运算不变滤子St(X，y)，细致地讨论 了这些运算不变滤子的一些性质 ，证明全 部滤子组成的格 ，且滤子F关于恒等关系 一 的运算不变滤子 ￡ (F)是 F的伪补，St(F，G)是F关于G 的相对伪补。 2 预备知识 本节给出IMTI一代数等有关概念 ，更加详细的结果可参看文献 [1]、文献 2]、文献 [3]。 集合M 上的二元运算。和一叫做一个伴随对 ，如果： (1)⑧ ：M xM —M 是单调增加的； (2)一 ： × —