模糊推理(new)学习指导书.pptVIP

第四讲 模糊推理 提纲 Outline 模糊推理 提纲 Outline 模糊关系与复合运算 模糊推理 传统命题逻辑的推理 模糊推理 广义肯定前件的推理(FMP, or GMP) （Fuzzy Modus Ponens, General） 广义否定后件的推理(FMT, or GMT) (Fuzzy Modus Tollens) 举例 模糊推理 如果一个番茄是红的，则它是成熟的。 这个番茄非常红，则它熟透了。 2. 如果云层很厚的话，则天会下雨。 现在天空乌云密布，天要下暴雨。 模糊推理 广义肯定前件的推理(FMP, or GMP) 前题1： 前题2：IF 结果：y为 GMP与正向数据驱动推理有关，适用于模糊控制 其中 均为模糊集合。 模糊推理（2） 将前提1和前提2分别表示为1元和2元模糊关系， 利用模糊关系复合的概念，GMP推理规则可表示为： 其中模糊集合具有以下形式：A’= 真A= 或多或少A= 称为CRI算法 非A=-A= 常用的模糊关系复合形式有：Sup-min、Sup-乘积、Sup-有界积、Sup-强积。 模糊推理（3） 模糊关系复合形式为：Sup-min 模糊关系复合形式为：Sup-乘积 模糊推理（4） 广义否定后件的推理(FMT, or GMT) 前题1： 前题2：IF 结果：y为 GMT与反向目标驱动推理有关，适用于专家系统 其中 均为模糊集合。 模糊推理（5） 将前提1和前提2分别表示为1元和2元模糊关系， 利用模糊关系复合的概念，GMP推理规则可表示为： 其中模糊集合具有以下形式：B’=非B= 非真B= 非或多或少B= B= 称为CRI算法 模糊推理（6） 模糊关系复合形式为：Sup-min 模糊关系复合形式为：Sup-乘积 举例1 举例2 模糊推理的三I算法 求解模糊推理的传统方法是1973年Zadeh提出的CRI算法, 该算法是一层推理的插值型方法，在用模糊关系的复合 运算偏离了逻辑语义蕴含理论。 王国俊教授提出了新的三I算法克服CRI算法的缺陷,其思想是 FMP和FMT既然是由大前提和小前提推理而成， 推理结果当然与两个前提有密切关系。 FMP三I算法 对于一切x, y都具有最大的真值， (1) FMP三I算法 三I算法：设X和Y是论域， 则 是使得（1）取得最大值的F(Y)中的最小 模糊集合 FMT三I算法 对于一切x, y都具有最大的真值， (1) FMT三I算法 三I算法：设X和Y是论域， 则 是使得（1）取得最大值的F(X)中的最大 模糊集合 三I算法结论（1） Lukasiewicz算子 RL型三I算法推理结果更接近日常直观推理 三I算法结论（2） 我们对9种不同模糊算子的三I算法给出推理结果， 结论是有3种CRI算法优于三I算法,有3种三I算法 优于 CRI算法,有3种CRI算法和三I算法推理结果 相同。 另外，在模糊神经网络模型中，由于要求模糊 算子连续可导，Rp和R*才具备这个分析性质， 遗憾的是这两个算子的三 I算法结果不理想。 本讲小结 模糊推理及其CRI算法 提纲 Outline 模糊关系与复合运算 模糊推理 N元模糊关系 定义3：模糊关系：一个N元模糊关系是 中的一个模糊集R, 记为 模糊复合关系 定义7：复合关系：若R和S分别为 和 中的模糊关系，则R和S的复合关系也是一个模糊关系。定义为： 其中*为三角范式中的任何T算子，如 取小（min）、代数积、有界积或强积。 常见模糊关系有：Rc（取小）、Rp (乘积)、Ra(算术)、Rm (极大)、Rs(标准序列)和Rb(布尔)。 类似地可以定义多个多元模糊关系的复合关系