二型模糊集下的推理模型及Mamdani推理算法.docVIP

维普资讯 维普资讯 ８ ０　 ０Ｒ 半 妓　 气 　 懿 系　 ｛（ ［ａ 　 （ Ｓ） Ｏ 　 气 　 ］ ｝ｎ （ 　 　 一（ 　 ｛ （ ） 　 ］ ）ｎ （ ［ ａ 　§ 　 　 　 气 　 一（ 　 ： 义 宝　 （　 ａ （ Ｓ） 工 　 气 　 （ 　 （ ） 　 　 三 （? １） 　 奋 呗　 （ 　 。 一 ［ ） ］ （　 （　Ａ 　 　三、 　 ） …　 （ 　 ） 　 （ 　 一 ［　 （ ］ 　 三（一 、） 　　 ： 吠 示　 商　 （ Ｓ　 Ｏ） （ ） ｎ（ 　 、　 　 　） （ Ｓ） ￡ 　 一 （） ｔ　 ｃ …　 （ 　 ｎ （ 　 、 　） 　） 一 （ 　 　） ： 　 示　 （ Ｉ 走　 銎　 ８） （） ｔ　 ｃ Ｕ … Ｕ （） ｔ　 ｃ Ｕ （） ｔ　 ｃ 一 （） ｔ　 ｃ （ｓ 　） 　 ［ 、）　 ｎ （ ） ］Ｕ … Ｕ ［ 、） ｎ （ ） ］Ｕ ［ 、） ｎ （） ］ 　 （ 　 　 ： 　　 （． 　　 ｔ　 ｃ （． 　　 　　 一 …　（ ） （ ） 、　 　 、　 　 中其　 示　 ￡圈 咬 圈 意 示　 熙辩 。 果　 熙 辩 曲 熙 辩 腓　 粜 腓　 二 求　 重　 丁　 其 ｉ ｂ Ｍ　 走　 。 ｎ ｍｓ ｓ 粜　 嫱 曲懿 系群　 腓　 坚二　 （ 　 、 　） 。 Ｕ　 股 嫩　 （ 出赫 单 人 赫 矾 呗嫩 个 矾 ） 聚　 重　 曲 鬃　 二 丁 赶 艇 ｉｓ ｍｓ ｎｂ Ｍ ￡圈　 维普资讯 第 ３ 期　 陈 阳 ， 涛 等 ： 型 模 糊 集 下 的推 理模 型 及 Ｍａ ａ ｉ 理 算 法　 王 二 ｍｄｎ 推 ４　 ７ 同理可验 证 Ｍａ ａ ｉ 法 下 二 型模 糊集 的多重 多维模 糊 推 理也 可 还 原成 一 型多 重多维 模 糊集 模　 ｍｄ ｎ 算 糊 推理 。 　 ３ 二 型模 糊集 的 Ｍａ ａｉ 理 算 法 的单 调 性　 　 ｍｄｎ 推 各 种模糊 推理 方法 都具 有单 调性 ， 从而 导致 人们 当使 用 这些 模糊 推理方 法 时 ， 必须 首先判 明所 讨论　 问题 领 域 的推 理是 否具 有相 应 的性质 ， 否则 将导 致 不恰 当 的推理 结果 。 　 记Ａ 　 Ｂ 表 示使 用 ＊推理 方法 ， Ａ 得 到结论 Ｂ ． 　 由 　 　 　 Ｂ （一 １２ ， Ａ 　 　 ，） 若 　 Ａ２ 出　 推 定义 ３ １ 设 ＊Ｒ 为某 一推 理方法 ， 　 　 Ａ ∈ ．　 Ｍ ＶＡ ，　 　 （ ， Ａ Ｘ） 设 　 Ｂ ｃ　 　 则称 ＊Ｒ 是单 调增 的 ； Ａ 　 Ｂ， Ｍ 若 　 Ａ 推出 Ｂ 　 　 增 的或单调 减 的 ， 则称 ＊ Ｍ 具有 单调 性 。 Ｒ 　 Ｂ， 　 则称 ＊Ｒ 是单 调减 的 。 ＊ Ｍ 是 单调　 Ｍ 若 Ｒ 定义 ３ ２ 设 ＊ Ｍ 为某 一推理 方法 ， 　 　 　 （ ， Ａ ． Ｒ ＶＡ ∈ Ｘ） 设 　 是拟 单调 减 的。 　 Ｂ， 　 当　 Ａ时 ， 　 Ｂ且 当 Ａ Ｂ 　 二 Ａ时 ， 　二Ｂ， 称 ＊ 二 ） Ｂ二 ） 则 ＲＭ 是 拟单 调增 的 ， Ａ ｃ　 时 ， 　二Ｂ且 当 Ａ 二 Ａ时 ， 　 Ｂ， 称 ＊ Ｍ　 当 　 Ａ Ｂ二 ） 　二 ） Ｂ 则 Ｒ 显然 ， 满足 肯定前 件 的单 调增 推理方 法是 拟单 调 增 的 ； 足肯定 前件 的单 调减推 理方 法是拟 单调减　 满 的。＊ Ｍ 是 拟单 调增 或拟 单调 减 的 ， Ｒ 都是肯 定前 件 为 真 。 　 下面 验证 Ｍａ ａ ｉ ｍｄ ｎ 算法 下 二型模 糊集 的模 糊推 理 的单 调性 。 　 性 质 ３ １ 记　 ． 糊推 理是拟 单 调增 的 。 　 百 为 Ｍａ ａ ｉ 法 下 的模 糊 推理 ， 在 Ｍａ ａ ｉ 法下二 型模糊 集 的简单模　 　 ｍｄ ｎ 算 则 ｍｄｎ 算 ? 　 证明 当　 在二 型模糊 集 下 ， ｍｄ ｎ 算法 取 “。” Ｕ— ｎ” 取“ ” “ ，“ 表示 二 型模 糊 集 的　 Ｍａ ａ ｉ 为“ ， 一 为 ｎ” Ｕ” 时， 　 百（ ）＝　 刁（ ）。 ， 　 ＝ ｚ 　 一 ～ 并 ， ｎ” “ 表示二 型模糊 集 的交 。 　 （ ， ＝ Ｕ （ ，ｚ 　 ｚ　）： 　 （ ）ｎ （， ） ｚ　）　 Ｕ （刀（ ）ｎ （ Ａ ｚ 　 ｚ 　 （ ）ｎ Ｂ　 ）　 　 （） ） … ｃ　Ｕ ［ （ ）ｎ （ （ ）ｎ 　 ｚ 　 ｚ 　 （ ］一　君　） 　） （ 　 即 吾　ｃ 百． 　 当　 二　 时 ， ＝ ） 　 （ ）一　 刀（ ）。 　 ｚ 　 一 ～ （， ｚ 　）一　 （