模糊推理三Ⅰ约束算法的一般表示.pdfVIP

维普资讯 第 22卷第 3期 模 糊 系 统 与 数 学 V01．22，No．3 2008年 6月 FuzzySystemsandMathematics Jun．，2008 文章编号 ：1001～7402(2008)03—0001—07 模糊推理三 I约束算法的一般表示 刘华文 ，王 国俊 。 (1．山东大学 数学学院，山东 济南 250100； 2．陕西师范大学 数学研究所 ，陕西 西安 710062) 摘 要 ：讨论模糊推理三 I约束算法的表示 问题 首先，改进 FMP及 FMT 问题 的三 I约束原则t进而， 为使更多的蕴涵算子纳入统一的算法表示之下。基于较弱的条件建立三 I约束算法 的一般表示。如此， 现有的三I约束算法的统一表示被推广到一种新 的形式。 关键词 ：模糊推理 ；三 I约束算法 ；一般表示 ；蕴涵算子 中图分类号 ：O159 文献标 识码 ：A 引言 众所周知 ，模糊推理 的最基本形式是如下的FMP(fuzzymodusponens)和 FMT(fuzzymodus tollens)问题： FMP：已知 — B且给定 ，求 B (1) FMT：已知 — B且给定 B ，求A (2) 其 中， ， ∈F(∽ (论域 (，上模糊集的全体)，B，B ∈F()(论域 上模糊集的全体)。目前 ，解决 以上两类问题的基本方法是Zadeh提出的CRI(CompositionalRuleofInference)算法L1]。由于CRI算法 存在着诸多不足之处，王L2提出了求解 FMP和FMT问题的三 I算法，从而有效地改进 了CRI算法 。 三 I算法的基本思想为：对 ∈Eo，1]， ，B及A (或B )，FMP问题的解 (或FMT问题的解)是满足 如下不等式 的 的最小模糊子集 B (或 U 的最大模糊子集 A ) ( (“)一 B())一 ( (“)一 B ())≥ 口， “∈U，72∈V (3) 不等式(3)表明 —B对 一B 的支持度 。应不小于 ．宋等 。指出在某些推理问题中需考虑(3) 的反向问题 。于是他们建立了三 I算法的约束度理论，并基于蕴涵算子 ，。(见 3．2节)提出了FMP和 FMT三 I约束算法 ，其基本思想为 ：寻求满足下面不等式的 上的最大模糊集 B (或 U上的最小模 糊集 A ) ( (“)一 B())一 ( (“)一 B ()) 口， “∈ U，72∈ V (4) 之后 ，孙等L4和彭Ls基于几个蕴涵算子也讨论了该约束算法并建立起相应的计算公式。最近 ，刘和 王 基于正则蕴涵算子建立了FMP和 FMT问题三 I约束算法的统一形式，但由于正则蕴涵算子的要 * 收稿 日期 ：2006一l1-07 基金项目：国家 自然科学基金资助项 目10771129)：中国博士后科学基金 (20070410374)；山东省 自然科学基金资助项 目(Y2007Al5) 作者简介 ：刘华文(】964一)．山东大学数学学院教授 ，研究方向：不确定性推理；王国俊(1935一)、陕西师范大学数学研究所教授 ．博 士生导师 ，研究方 向：不确定性推理 。 维普资讯 模 糊 系 统 与 数 学 2008矩 求太强，致使应