模糊逻辑与推理.pptVIP

模糊逻辑与模糊推理1）精确逻辑（传统逻辑）的一些概念命题逻辑、布尔代数、和集合论是同构的。隐含是重要的概念。传统的命题逻辑中，命题的“真”和“假”必须具有意义。逻辑推理是给定一个命题，组合成另一个命题的过程。组合的基本操作：1）合取Conjunction,,“交”2）析取Disjunction,“并”3）隐含Implication,“ifthen”逆操作Inversion5)等效关系Equivalence，“p即q”。010204丈夫：Yes.(传统逻辑)妻子：Howmuch?(模糊逻辑)妻子：Doyouloveme?传统逻辑与模糊逻辑一个隐含是“真”，必须满足三个条件之一：1）前提是真，结论是真；在教书，是教师；2）前提是假，结论是假；不教书，不是教师；3）前提是假，结论是真。不在教书，是教师；隐含是“假”时，则：4）前提是真，结论是假。在教书，不是教师。逻辑关系用真值表示传统命题逻辑的基本公理：1。每一命题是真或假，但不能既真又假；2。由确定的术语所组成的表达式，都是命题；3。合取、析取、隐含、等效、逆运算组成的表达式也是命题。有二个重要的同义反复（隐含）从真值表可以获得证明：隐含隶属函数表达式或1-1-110011100100011011001111传统命题逻辑的推理If-then规则在连续域情况下，应用于推理会发生问题！关于“工程隐含”的概念。模糊隐含原则上可以引用传统隐含的表达式。2）模糊逻辑与模糊推理1关于的计算3245图示如后：无限支集取上界：11有限支集1说明二点：1）对一个特定的规则（其结果是具有有限支集的特定模糊集合），激发的结果是一个具有无限支集的模糊集合。2）对所有各点，规则将以最大可能的输出隶属函数值1，来激发规则。从工程观点看，以上二点，违反了工程中的因果关系，即有因才有果。无因不能有果。Mamdani和Larsen分别提出极小和乘积的隐含运算。这二种计算并不是基于因果关系，是出于计算的简单性，但保留了因果关系，与传统的命题逻辑推理不符。称为工程隐含用真值表表示：(精确隐含)11111模糊隐含1111100001000000模糊推理单个前提单个规则:2.多前提单规则隶属函数的计算3)多前提多规则隶属函数的计算01020304计算兼容度；求激励强度；求定性（演译）结果；求总输出结果。模糊推理可以分几步：模糊推理系统01单点模糊化02非单点模糊化1）模糊化和模糊器按三角范式交换性和单调性，最大化，其值产生在：01装卸站台02举例：货车倒车2.规则库S3S2S3S3S3B1S1S2S3S2B2B2CES2S2B2B3B2B1S1B3B3B3B2B3B2S2S3S2S3CEB1B2B3S2S1CEB1B2规则：x=6x=143.推理机规则推理相当于隐含对离散论域,规则Rl由多变量决定每条规则的输出:01对所有规则,02输入的模糊集合01模糊预滤波02自适应滤波推理举例:max-min乘积总的输出模糊集合3条规则合成所获得的输出为: