模糊逻辑代数的Loomis—Sikorski表现定理.pdfVIP

维普资讯 第 22卷第 3期 模 糊 系 统 与 数 学 V01．22，No．3 2008年 6月 FuzzySystemsandMathematics Jun．，2008 文章编号：1001—7402(2008)03—0034—07 模糊逻辑代数的Loomis—Sikorski表现定理 刘贤江 ，张家录 (湘南学院 数学系，湖南 郴州 423000) 摘 要：通过研究 一代数、Ⅱ一代数、G一代数、R。一代数等模糊逻辑代数的赋值 (从模糊逻辑代数 到单 位 区间E0，1]的同态)与滤子之间的关系，建立了 一代数、Ⅱ一代数、G一代数、Ro一代数等模糊逻辑代数 的Loomis—Sikorski表现定理 关键词 ： 一代数 ；Ⅱ一代数 ；G一代数 ；R0一代 数 ；赋值 ；滤子 ；Loomis—Sikorski定理 中图分类 号：O141；O189 文献标识码 ：A 随着模糊逻辑研究的深入，一些新 的模糊逻辑代数系统被提 出，如M 一代数、尺。一代数、F 一代数、 BL一代数、格蕴涵代数等 。从代数观点看 ，这些代数系统都是 Boolean一代数 (与经典逻辑相对应的代数系 统)的扩张。对 Boolean一代数的研究已很深入 ，并得到了很多著名的结论，如 Stone表现定理和 Loomis— Sikorski表现定理等 。将这些著名的结论推广到模糊逻辑代数，建立关于模糊逻辑代数的集合表示理论 是有意义的工作。事实上 ，已有一些学者进行了研究[9。引。本文通过研究模糊逻辑代数的赋值 (从模糊 逻辑代数 到单位区间[O，1]的同态)与滤子之间的关系，建立 M 一代数 、Ⅱ一代数、G一代数、尺。一代数等 模糊逻辑代数系统的 Loomis—Sikorski表现定理 。 1 预备知识 偏序集 P上的二元运算。和一称为一个伴随对 ，如果满足 ：(1)o：P×P—P单调增加 ；(2)一 ： P×P— P关于第一变元单调减少 ，第二变元单调增加 ；(3) o Y≤z当且仅当．72≤Y— z． 有界格 L一 (L；八，V，0，1)称为剩余格 ，如果 (4)L上有伴随对 (o ，一)；(5)(；o ，1)是有单 位元 1的交换半群。 有界剩余格 (，八，V，o ，一，0，1)称为 MTL一代数 ，如果满足 (6)(z一 ．y)V (．y—z)一 1。进 一 步 ，如果还满足 (7)z (z一 ．y)一z八Y，则称之为BL一代数。 M 一代数是满足 (i)一一z—z的BL一代数 ，这里 一z—z一 0。Ⅱ一代数是满足 (ii)一一z≤ (zo 2一 Y 2)一 (z一 ．y)，(iii)z八 (一z)一0的BL代数。G一代数是满足 (iv)32o 32—32的BL代数。尺。 一 代数是满足 (V)一一z—z，(vi)(z八Y— O)V ((z八 )一 32o ．y)一 1的M丁 一代数。 本文分别用 ， ， 和 Rn表示 M 一代数 ，Ⅱ一代数，G一代数和尺。一代数等。关于这些代数的详细 性质可参见文献E21，E51，E61，E71。 标准M 一代数是赋予 Iukasiewicz伴随对： —Y—R (z，．y)一 (1一．27+．y)八1，32oY一 (z+ * 收稿Et期 ：2006一ll—l2 基金项 目：湖南省教育厅重点学科建设资助项 目 作者简介：刘贤江(1969一)，男，湖南资兴人，湘南学院数学系讲师，研究方向：模糊数学理论与应用；张家录(1964一)．男，湖南安仁 人 ，湘南学院数学系教授 ，研究方 向：非经典逻辑与近似推理，粗糙集理论与应用 。 维普资讯 第 3期 刘贤江，张家录 ：模糊逻辑代数的Loomis—Sikorski表现定理 一 1)V