格蕴涵代数的生成模糊滤.pdf

第26卷第6期 西 华 大 学 学 报 ·自 然 科 学 版 2007年 l1月 VoL26，No．6 JoumalofXihuaUniversity ‘NaturalScience Nov．聊 文章编号：1673．159x(2t~)o6-oo54-o3 格蕴涵代数的生成模糊滤 刘鹏惠 ，陈子春2 (1．西华大学数学与计算机学院，四川 成都 610039；2．西南交通大学理学院，四川 成都 610031) 摘 要 ：在格蕴涵代数中引人生成模糊滤的概念，讨论 了生成模糊滤的一些基本性质 ，利用这些性质证明了格 蕴涵代数的所有模糊滤子构成一个完备的分配格。 关键词 ：格蕴涵代数；模糊滤子；生成模糊滤 ；分配格 ’ 中图分类号 ：0159 文献标识码：A 人类在对客观事物的认知过程中所进行的推 序对合 “’的有界格，0和，分别是它的最小元和最 理、判断和决策是基于不确定性信息的思维活动，同 大元 。如果映射一 ：L×三一三对任意的 ，，∈三； 时这种思维活动本身也带有很大的不确定性，因而 满足下列条件 ： 用经典的二值逻辑描述是不恰当或不够的。非经典 (，1)一 (y—z)=y一 (—z)； 逻辑通过引入其他中间逻辑真值，更准确地描述了 (，2)— =，； 这些不确定性信息和人类的不确定性推理过程，因 (，3)—y=Y一 ； 此，在利用计算机科学和人工智能处理模糊信息和 (，4)若 (，4)—y=y— =，，则 =Y； 不确定性信息时，非经典逻辑已成为一种举足轻重 (15)(—y)一y=(y— )一 ； 的工具 。 (，6)(Vy)一z=(—z)^(y—z)； 非经典逻辑的一个显著特点是逻辑学和代数学 (，7)(^y)一z=(—z)V(y—z)。 的相互渗透，强有力的代数方法已经成为非经典逻 则称(￡，V，^，，一，0，，)为格蕴涵代数。 辑的重要研究工具，作为经典逻辑的一种十分重要 若按标准方式在格蕴涵代数 ￡上定义偏序≤： 的扩充和发展，多值逻辑一直都是非经典逻辑中一 ≤Y当且仅当 VY=Y，则易证 ≤Y当且仅当 个非常重要的发展方向。为了研究命题真值取值于 一 y= ，o 格上的多值逻辑系统，徐扬将格与蕴涵代数相结合 定理 1．1[] 设 ￡是格蕴涵代数，对任意 ，Y， 提出了格蕴涵代数_1j。在此之后，国内外的一些学 z∈￡，令 x~y=(—y)，则有 者对格蕴涵代数的结构和性质进行了深入的研究， (￡1)(￡， ，，)是以 ，为单位元的交换半群； 同时以格蕴涵代数为真值域建立了多个格值逻辑系 (￡2)若 ≤Y，则 oz≤yoz； 统，提出了基于格值逻辑的不确定性推理和 自动推 (￡3)oy≤z当且仅当 ≤y—z； 理方法，取得了许多成果_2j。此外，由于滤子在抽象 (L4)xo (—y)≤Y； 代数和逻辑代数中至关重要，人们详细研究了格蕴