模糊控制数学基础2—模糊逻辑与推理.pptVIP

模糊逻辑与模糊推理 对模糊现象的机理进行分析、抽象，进而用用模糊数学表达 工程隐含 （1） 解释为A与B相关，常用的两种三角范式算子得到模糊关系 验证举例 令A、A’和B分别为论域X、 X’和Y上的模糊集合，假定模糊隐含A→B表达为X×Y空间上的模糊关系： A：苹果红 0.25，0.5，0.9 论域X 有点红，红，很红 B：苹果熟 0.2，0.6，0.8 论域Y 有点熟，熟，很熟 A：苹果红 0.25，0.5，0.9  B：苹果熟 0.2，0.6，0.8 如果A→B：用min方法 求 意义： 代表规则前提可信程度的一种度量，这个度量由if then规则传递，结果的可信度或结果部分MF不会大于 模糊推理计算习题 P97 习题13 参考输入输出隶属度函数定义 隶属度 马丹尼直接推理法（max-min） 基于模糊关系R的马丹尼法离散用矩阵求解 If A and B then C 控制中典型的双输入单输出系统 设A,B,C分别是论域U,V,W上的集合，其蕴含关系为 , 其三元模糊关系矩阵为 或 例 设论域 已知 例 先求模糊关系R 例 例 然后求 例 故 2. 规则库 装卸站台 举例：非线性控制－货车倒车 B2 B3 B2 B3 B3 B3 S1 B1 B2 B3 B2 S2 S2 CE B2 B2 S2 S3 S2 S1 B1 S3 S3 S3 S2 S3 S2 S3 S2 S3 CE B1 B2 B3 S2 S1 CE B1 B2 规则： 解释 x 6 x 14 3.推理机 规则推理相当于隐含 对离散论域,规则Rl由多变量 决定 输入的模糊集合 每条规则的输出: 对所有规则, 模糊预滤波 自适应滤波 推理举例: max-min 乘积 总的输出模糊集合 3条规则合成所获得的输出为: 当输入为 时的C* 将 按行展开成列向量 每个A×B都×C * 模糊逻辑与模糊推理 1）精确逻辑（传统逻辑）的一些概念 命题逻辑、布尔代数、和集合论。 ****隐含是重要的概念。 传统的命题逻辑中，命题的“真”和“假”必须具有意义。逻辑推理是给定一个命题，组合成另一个命题的过程。 组合的基本操作： 1）合取 Conjunction, ,“交” 2）析取 Disjunction , “并” 3）隐含 Implication , “if then” 逆操作 Inversion 5 等效关系 Equivalence ，“p即q”。 一个隐含是“真”，必须满足三个条件之一： 1） 前提是真，结论是真； 在教书，是教师；成立 2） 前提是假，结论是假；不教书，不是教师；成立 3） 前提是假，结论是真。 不教书，是教师；成立 隐含是“假”时，则： 4） 前提是真，结论是假。 在教书，不是教师。 逻辑关系用真值表示 传统命题逻辑的基本公理： 1。 每一命题是真或假，但不能既真又假； 2。 由确定的术语所组成的表达式，都是命题； 3。 合取、析取、隐含、等效、逆运算组成的表达式也是命题。 有二个重要的同义反复（隐含） 从真值表可以获得证明： 1 1 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1- 1- 隐含隶属函数表达式 或 传统命题逻辑的推理 2）模糊逻辑与模糊推理 ☆关于“工程隐含”的概念。模糊隐含原则上可以引用传统隐含的表达式。 在连续域情况下，应用于推理会发生问题！ If-then规则 关于 的计算 ☆ ☆ ☆ 图示如后： （单点模糊化） 情况1 1 1 1 有限支集 无限支集 ☆ ☆ 取上界： 情况2 说明二点： 1）对 一个特定的规则（其结果是具有有限支集的特定模糊集合），激发的结果是一个具有无限支集的模糊集合。 2）对 所有各点，规则将以最大可能的输出隶属函数值1，来激发规则。 从工程观点看，以上二点，违反了工程中的因果关系，即有因才有果。无因不能有果。 Mamdani 和 Larsen 分别提出极小和乘积的隐含运算。 这二种计算并不是基于因果关系，是出于计算的简单性，但保留了因果关系，与传统的命题逻辑推理不符。 称为工程隐含 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 参照精确隐含： 用真值表表示 1 1 1 1 1 模糊隐含 y y x x’ x x’ 模糊推理： 前提2中A与B的模糊关系为： 或 那么结果 模糊推理公式 If-then规则 结果正确！ If-then规则 模糊推理： If-then规则 苹果熟了的模糊推理合理吗？