有关fuzzy 格的若干注记——兼评直觉主义模糊集.pdfVIP

1997 年 　 模 糊 系 统 与 数 学 第十一卷 　第四期 关于 Fuzzy 格的若干注记 —兼评直觉主义模糊集 何颖瑜 　王国俊 ( 陕西师范大学数学研究所, 西安, 710062) 摘要 　对 Fuzzy 格 L 的定义、演变及概括范围作了分析, 指出所谓直觉主 义模糊集只不过是一种特殊的 L 模糊集。 关键词 　Fuzzy 格; L - 模糊集; 直觉主义模糊集 §1 　引　　言 GA Zadeh 于 1965 年提出了模糊集的概念[ 1] , 随后 HA Goguen 就提出了 L - 模 糊集的概念[ 2] 。当 L 是单位区间[ 0 , 1] 时, L - 模糊集就是 Zadeh 的模糊集。这个L 现 ( [ 3] [ 4]) 在被称为 Fuzzy 格 ,或简称为 F 格 参看文 和文 。 Goguen 最初提出的 F 格上除了序结构而外还定义了一种二元计算“ ”, 由此出发 可仿照 Heyting 代数那样定义蕴涵“ ”, 从而可以为模糊逻辑提供一种新的赋值格。 Goguen 最初在文[ 2] 中只是提出了关于 F 格的一种思想, 似乎并不追求数学上的严密。 比如, 他在文[ 1] 中所说的“完全分配律”其实并非完全分配律, 只是无限分配律而已。 ( [ 5]) Goguen 的关于 F 格的思想在建立模糊逻辑的系统理论中得到了实现 参考文 。只是 F 格在这种意义下被理解和使用似乎远没有在另一种意义下被理解和使用来得广泛。 近年来大量文献中出现的 L - 模糊集概念中, L 被理解为有逆序对合对应的完备的 完全分配格, 并被简称为 Fuzz (参看文[ 6]) 。这种使用只牵涉到 F 格的序性质, 而不牵涉 别的附加运算。本文作者之一专门论述过这种 F 格的结构[ 7] , 作为特殊情况, F 格可以 包括各种各样的与单位区间有关的格。看来这一情况似乎并未被某些学者认识, 比如, 保 [ 8] 加利亚的 K. T. Atanassov 于 1983 年提出的所谓“直觉主义模糊集”的概念 就表明了这 一点, Atanassov 并于文[ 9] 中用了相当长的篇幅构造了一个不是模糊集的直觉主义模糊集 的例子, 此后有不少关于直觉主义模糊集的文章发表, 最新的一篇是文[ 10] 。其实, 本文将 证明, 直觉主义模糊集并不是什么新概念, 它只不过是一种特殊的 L - 模糊集而已 。 §2 　什么是 L 模糊集 1967 年J . A. Goguen 提出了 L - 模糊集的概念, 其中的 L 是被赋予了一种二元运算 的完备格, 他称之为 closg , 即complete lattice ordered semigroup 。 定理 21[2] 　设 L 是完备格。如果 L 上有二元运算“ ”, L 按 成为有单位的半群, 本文 1996 年 12 月 10 日收到。 © 1995-2004 Tsinghua Tongfang Optical Disc Co., Ltd. All rights reserved. 2 模 糊 系 统 与 数 学