模糊聚类分析及其应用 高新波著.pdfVIP

我们 知道 ，数学 是从量 的侧面 研 究客 观世 界 的一 门科 学 ，因此 ，一提 起数 学 ，人 们 自 然会 想到它 是精 确 的 。然而精 确 的数学有 时不 能有 效地 描述 现 实世 界 中存 在 的大量模 糊现 “ 象 ，例如 “好 与坏 ” “长与短” 大 堆 ” “一 小 撮 ” “太 热 ” “有 点 冷 ” “比较 甜 ” “不 太 苦 ” “物美价廉 ” “地 大 物 博 ”等 等 。但 是 这 些“量 ”在 人 们 的 头 脑 里 的 确 有 个“标 淮 ” 而 且为 人们所 普遍 接 受 。利 川这 些模 糊量 非但 不会 影 响人 们之 间的信 息交流 ，反 倒更便 于理 解 与记 忆 。 精确 数学是 建立在 经典集 合论基 础之上 的 。根 据集合 论 的要 求 ，一个对 象对 于 个 给 定 的集合 ，要 么属于 （ ） 要 么不属 于 （ ） 两者必居其一 ，绝不允许模棱两可 。由此而产 生 了我 们 熟 知 的二 值 逻 辑 ， 即对 于 个 “命题 ” 或者 是真 （真 值 为 ，或者是假 （真值为 ，两者必居其一 。 世纪 由于英 国数学家布尔 （ 等人 的研 究 ，这种基 于二值逻辑 的绝对 思维方法经 过抽 象后成 为布 尔代数 ，也 叫逻辑代 数 ，它用代 数方法 研 究 推理 、证 明等逻辑 问题 ，它 的出现促使 数理逻辑成为 门很 有 实用价 值 的特 殊 学科 ， 同时 也成 为计算机科 学 的基 础 。尽 管如此 ，二值逻辑 却无法 解 决一些逻 辑悖论 或诡 辩 问题 ，例 如 ，著名 的罗素 （ “理 发 师 悖 论 ”问题 “秃头悖论 ”问题和 “克利特 岛人（ ）说 谎 悖论”问题等等。 日常生活 中的 “模糊性 ”现象 的存在 、逻辑悖论 的发现 以及海森堡 ）测不准 原理 的提 出导致 了多值逻辑或 “模糊逻辑 ”在 世 纪二三 十 年 代 的诞 生 。量 子 理 论 学家在 二 值 逻 辑 的 框 架 中 引入 第 三 值 或 中 间 真 值 来 表 示 不 确 定 性 ， 并 进 步 引 入 了 不 确 定 性 程 度 ，把真假看作不确定性 的两个极限情况 。 世 纪 年代早期 ，波兰逻辑学家卢卡塞维克兹 （ ）首次正式提 出了三值 逻辑体系，把逻辑真值 的值域 由 ｛ 二 值 扩 展 到 ｝三值 ，其 中 表 示 不确 定 后 来 ， 他 又 把 真 值 范 围 从 ｛ ｝进 步 扩 展 到 ［ ］之 间 的有 理数 ，并最终扩展 为 ］ 区 间 。逻 辑 学 家 们 利 用 常 用 的 真 值 函 数 ｛命题｝ ］来 定 义 连 续 或“模 糊 ”逻 辑 ， 并将该体系命名为 量子哲学家 马克思 布 莱 克（ 利用连续逻辑为集合 中的成员赋值 ，可 以说 ， 他 在 历 史 上 第 个 构 造 了模 糊 集 的隶 属 度 函 数 。布 莱 克 称 结 构 的不 确 定 性 为 “模 糊 性 ”。 年 ，美 国 自动控制专家、数学家扎德 （ 发表 了他 的论文 《模糊集 ，正式提 出了多值集合理论 ，并把“ （模 糊 ）” 词 引入 技 术 文 献 中， 从而 掀起 了多值数学 结构研 究 的第 二 次浪潮 ，研 究兴趣遍及 模糊 系统 到模糊 拓 扑 的各个方 面 。此后 的二三十年 ，随着模 糊 商业 产 品和 新理论 、新应用 的不 断涌 现 ，形 成 了多值 系统 研 究 的第三 次浪潮 。 扎 德 的主 要 贡 献 在 于 把 模 糊 性 和 数 学 统 在 了 起 模 糊 数 学 决 不 是 把 已经 很 精 确 的数学变得 模模糊 糊 ，而