模糊控制 之 逻辑学基础，模糊逻辑推理

数理逻辑认为任何一个判断在逻辑上只有真或假两种可能性，所以也称为二值逻辑。以后也会有三值逻辑，多值逻辑，最后到模糊逻辑。因此数理逻辑的推广是模糊逻辑。

命题用陈述句反映了事物的某种属性，情况，就是说明了一个事实，也可以是一个错的陈述。简单命题/原子命题就是最简单的命题，你知道是怎么回事。判断是人断定可能成立的命题，例如：火星上没有生命。这个的关键是真假性不知。判断是命题。命题包含在语句里，判断包含在命题里。具有真假特性的语句都可归之为命题。命题通常用大写的$A,B,P$表示，而命题的真假性用$T(P)$表示，显然，在二值逻辑中，不是0就是1，在模糊逻辑中，它是0~1之间的数。

条件命题，就是蕴含关系，若XXX，则XXX。需要强调的是，条件命题不是从一个命题推导出了另一个新命题，而是反映了两个命题之间一种事实存在的逻辑关系(不是运算组合关系)，是客观事实的真实反映，而不是推导出来的，所以其仍属于命题，不过是复合命题罢了，也就是说，这里的运算法则是新一套运算法则。

命题推理通常用三段论(大前提，小前提->结论)(他是个大个子。小张是个大个子，则肯定痩。)，但是三段论无法解决秃子问题，秃子多一根头发还是秃子。常见的推理有四种：
 近似推理（常识性推理）
 模糊条件推理
 多输入推理
 多输入多规则推理
近似推理：

有什么意义呢？$A,B$是模糊集，实际上是模糊数，也就是说，如果车速很小，那么油门踩到底，那么如果速度不是很小，应踩多大油门呢？这个是可以推导出来的！

B ′ = A ′ ∘ ( A → B ) μ B ′ = V X { μ A ′ ( x ) ∧ μ A → B ( x , y ) } B ′ = A ′ ∘ R B'=A'\circ (A\rightarrow B)\\ \mu_{B'}=V_X\{\mu_{A'}(x)\wedge \mu_{A\rightarrow B}(x,y)\}\\ B'=A'\circ R B′=A′∘(A→B)μB′​=VX​{μA′​(x)∧μA→B​(x,y)}B′=A′∘R

什么意思呢？就是$A$与$B$之间必有关系$R$，只要找到这个关系$R$，与$A^{\prime }$一组合就会变成$B^{\prime }$，关键就是求这个$R$，实际上是不知道的。怎么求呢？

1. Zadeh推理法，算数规则： $R_a=1\wedge (1-A+B)$
   例如${\mu }_A(u_2)=0.5,{\mu }_B(v_3)=0.4$
   $R_a(2,3)=1\wedge ({\mu }_A(u_2)+{\mu }_B(v_3))=1\wedge (1-0.5+0.4)=0.9$
   就这样形成这个$R$矩阵(实际上就是相加然后跟1比较)，然后
   

2. Zadeh推理法，极大极小规则： $R_m=(A\wedge B)\vee (1-A)$
   例如${\mu }_A(u_1)=1,{\mu }_B(v_3)=0.4$
   $R_m(1,3)=({\mu }_A(u_1)\wedge {\mu }_B(v_3))\vee (1-{\mu }_A(u_1))=(1\wedge 0.4)\vee (1-1)=0.4$
   接下来都是一样的。

3. Mamdani推理法：$R=A\to B=A^T\wedge B$
   可以看到，非常简单，完完全全就是取小，但在近似推理中，扎德推理法比玛达尼推理法更符合人们的思维。
   总结一下：
   $B^{\prime }=A^{\prime }\circ R$
   $A^{\prime }=R\circ B^{\prime }$
   就记成代替位吧。有时甚至都不给你，只给一个语气算子，要先算语气算子。
   
   
   这里应该只有这个$B^{\prime }$，另一个就像预编译一样提前优化掉了。关系$R$就是先找$A$与$B$的玛达尼，然后找$\overline{A}$与$C$的玛达尼，然后取并集，就是这样的，还行。
   
   注意这里$A,B$是隶属度。演算正确，是对的。
   
   啥意思呢？下面就是，先$D=A\times B$，$R_{n\ast m}=D_{n\ast 1}\times C_{1\ast m}$，$D^{\prime }=A^{\prime }\times B^{\prime }$，$C_{1\ast m}^{\prime }=D_{1\ast n}^{\prime }\times R_{n\ast m}$，本质是在运算前把$A,B$先组合到一起，就是这样。
   
   这个图像意义不大吧。
   
   

这跟查表法有什么区别啊？这个是当数据量很少时用这个。






什么意思呢？就是多一步了，一次求出来，取并，然后最后算出来。