基于蕴涵算子族nmp反向三ⅰ算法和对偶算法-nmp inverse triple ⅰ algorithm and dual algorithm base on implication operator family.docxVIP

第 1 章引言1.1 选题依据及国内外研究现状（研究的目的和意义）模糊推理是模糊控制系统的理论基础和重要工具。1973 年 Zadeh 首次提出 了模糊分离规则（Fuzzy Modus Ponens 简称 FMP） [1] ，并为 Mamdani 等人所发 展 [2] ，形成了之后所广泛使用的 CRI （Compositional Rule Inference）方法 [3] ， 即模糊推理的基本方法。由于它在系统工程、自动控制、信息处理等领域的成功 应用并取得了显著地经济效益，使得近些年它在模糊系统理论的研究中一直占据 着重要的位置。20 多年来，随着各种新的思想和方法的不断融入，以 CRI 方法 为主线的模糊推理方法逐步形成为模糊系统理论的一个重要分支。我国学者吴望 名的专著[4]则是在这方面的一个阶段性总结，张文修、梁怡教授的专著[5]则从 更一般的观点对模糊推理作了论述。从本质上来讲，以 CRI 为核心的模糊系统是一种插值器 [6] ，基于此系统在 研究函数逼近问题时，出现“规则爆炸”的现象也是在所难免，此外，CRI 算法 严重依赖于数值计算，缺乏严格的逻辑基础，因而不可避免地受到人工智能学界 和该领域专家的广泛质疑。1993 年，Elkan 博士在美国第十一届人工智能大会上 作了题为“模糊逻辑似是而非的成功”报告 [7] ，这次报告引起了该领域专家学者 的极大关注，并引发了一场关于模糊逻辑的必然性的国际性争论，这场争论澄清 了若干对于模糊逻辑的不正确看法，同时指出了以 CRI 算法为核心的模糊推理 缺乏严格的逻辑基础这一事实。针对上述背景，我国学者王国俊教授于 1999 年 基于逻辑语义蕴涵算法理论提出了模糊推理的全蕴涵三 I 算法，其基本思想为：已 知A??F ( X )、B ??F (Y )和A* (B* ) ??F( X )(F(Y ))寻 求 最 优 的B* ( A* ) ??F(Y )(F( X )) ，使得 A ??B 全力支持 A* ??B* ,即( A(x) ??B(Y )) ??( A* (x) ??B* ( y)) ，（1-1） 对一切 x ??X ， y ?Y 具有最大的可能值，其中 F ( X ) 和 F (Y ) 分别表示 X 和 Y 上 的模糊集全体，全蕴涵三 I 算法不仅有效地改进了 CRI 算法并将之纳入到了模糊 逻辑的框架当中。从此，在模糊控制、模糊推理以及模糊逻辑等领域掀起了研究 模糊三 I 算法的热潮。2002 年我国学者宋士吉则提出了相反的思想，即在给定 的精度下如何设计模糊系统使得模糊规则所得的元素个数最小这一角度，提出了 模糊推理的反向三 I 算法 [11] ，其基本思想可概述为：在（1）式的前提下，寻求 最优的 B* ??F (Y ) 或 ( A* ??F( X )) 使得 A* ??B* 最大程度地支持 A ??B 即( A* (x) ??B* ( y)) ??( A(x) ??B(Y )) ，（1-2）对一切 x ??X 、 y ?Y 有最大可能值，进一步深化和拓展了三 I 算法；2006 年，覃峰等人提出了三 I 表达式取最小值的最优解算法也就是三 I 算法的对偶算法即 对偶三 I 算法 [12] 。在模糊全蕴涵推理的研究工作中秦克云、张家录、胡明娣等人作了大量的研究工作和探讨 [13?16] 。然而，不管是 CRI 算法还是模糊全蕴涵三 I 算法，运用不 同的蕴涵算子，所得结果往往差异很大，因此极大地限制了模糊推理在实际工作 中的应用与发展，增加了其风险性和不确定性。为此，王国俊与吴望名分别提出0了带有一个参数的蕴涵算子族 [17][18] ，张兴芳提出了蕴涵算子族 L ??????R[19] ，之后王庆平、王作真、周相泉、潘海玉等人在含参蕴涵算子族的三 I 研究、反向 三 I 研究或对偶算法做了大量的研究工作并取得了一系列的成果 [20?26] 。文献[27]（Klement 与 Navara）研究了基于参数的 T-范数-Frank T-范数的模糊逻辑系统， 文献[28]研究了 Schweizer-Sklar T-范数导出的剩余蕴涵族，在此基础上王琼提出了具有良好性质的蕴涵算子族 NM p[29]，文献[30]则在此基础上仅仅讨论了它的??-三 I 算法和约束度算法，因此有必要对这一含有两个参数 ?、p 的蕴涵算子族 关于反向三 I 支持算法、??-反向三 I 算法以及对偶算法进行深入的讨论。本文的 目的是探究含有两个参数 ?、p 的蕴涵算子族 NM p 的反向三 I 支持算法、??-反向 三 I 算法、还原性算法、弱还原性算法以及对偶算法的几种形式，给出反向三 I 支持算法、??-反向三 I 支持算法关于 FMP 模型与 FMT 模型的计算公式，还原 性定理