模糊数学——模糊关系求解

题目

已知语言变量x，y，z。X的论域为{1,2,3}，定义有两个语言值:“大”={0,0.5,1}:“小”={1,0.5,0}。Y的论域为{10,20,30,40,50}，语言值为:“高”={0,0,0,0.5,1};“中”={0,0.5,1,0.5,0};“低”={1,0.5,0,0,0}。Z的论域为{0.1,0.2,0.3}，语言值为:“长”={0,0.5,1}:“短”={1,0.5,0}。则:
1）试求规则:

• 如果x是“大”，并且y是“高”，那么z是“长”;
• 否则，如果x是“小”,并且y是“中”，那么z是“短”。

所蕴涵的x，y，z之间的模糊关系$R$。

2）假设在某时刻，是“略小”={0.7,0.25,0}，y是“略高”={0,0,0.3,0.7,1}.试根据$R$通过Zadeh法模糊推理求出此时输出z的语言取值。

问题分析

第一题

如果x是“大”并且y是“高”那么z是“长”;

否则，如果x是“小”,并且y是“中”那么是“短”。

由题意可得，x，y，z之间的模糊关系$R$为：

$(\text{大}\times \text{高}\times \text{长})\cup (\text{小}\times \text{中}\times \text{短})$

第二题

假设在某时刻，x是“略小”={0.7,0.25,0}，y是“略高”={0,0,0.3,0.7,1}。根据$R$,通过$Zadeh$法模糊推理求出此时输出z的语言取值。

因为x、y、z之间的模糊关系为$R$，所以当输入变量x、y的模糊取值为$A^{\ast }$、$B^{\ast }$时,与之对应的输出z的取值$C^{\ast }$的值为：

$C^{\ast }=(A^{\ast }\times B^{\ast })\circ R$

由此公式再进行计算即可。

问题解决

第一题

设x的语言值{大，小}= { A 1 , A 2 } \{A_1,A_2\} {A1​,A2​},Y的语言值{高，中，低}= { B 1 , B 2 , B 3 } \{B_1,B_2,B_3\} {B1​,B2​,B3​},Z的语言值{长，短}= { C 1 , C 2 } \{C_1,C_2\} {C1​,C2​}。
则x，y，z之间的模糊关系$R$为：
$R=(A_1\times B_1\times C_1)\cup (A_2\times B_2\times C_2$）\
其隶属函数为：
$\mu (x,y,z)=({\mu }_{A_1}(x)\wedge {\mu }_{B_1}(y)\wedge {\mu }_{C_1}(z))\vee ({\mu }_{A_2}(x)\wedge {\mu }_{B_2}(y)\wedge {\mu }_{C_2}(z))$

第二题

求$R:$

$R=(A_1\times B_1\times C_1)\cup (A_2\times B_2\times C_2)$

令$R_{11}=A_1\times B_1$

则$R_{11}=$
$$\left[\begin{array}{ccccc}0\wedge 0& 0\wedge 0& 0\wedge 0& 0\wedge 0.5& 0\wedge 1\\ 0.5\wedge 0& 0.5\wedge 0& 0.5\wedge 0& 0.5\wedge 0.5& 0.5\wedge 1\\ 1\wedge 0& 1\wedge 0& 1\wedge 0& 1\wedge 0.5& 1\wedge 1\end{array}\right]$$=
$$\left[\begin{array}{ccccc}0& 0& 0& 0& 0\\ 0& 0& 0& 0.5& 0.5\\ 0& 0& 0& 0.5& 1\end{array}\right]$$

令$R_1=A_1\times B_1\times C_1$,则:

$R_1=R_{11}^T\times C_1$=

$$\left[\begin{array}{ccccccccccccccc}0& 0& 0& 0& 0& 0& 0& 0& 0.5& 0.5& 0& 0& 0& 0.5& 1\end{array}\right]$$

因为$C_1=\left[\begin{array}{ccc}0& 0.5& 1\end{array}\right]$,所以:
$R_1=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0.5& 0.5\\ 0& 0.5& 0.5\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0.5& 0.5\\ 0& 0.5& 1\end{array}\right]$.
同理，令$R_2=A_2\times B_2\times C_2$,则$R_2=\left[\begin{array}{ccc}0& 0& 0\\ 0.5& 0.5& 0\\ 1& 0.5& 0\\ 0.5& 0.5& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0.5& 0.5& 0\\ 0.5& 0.5& 0\\ 0.5& 0.5& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\end{array}\right].$\

$R=R_1\cup R_2=\left[\begin{array}{ccc}0& 0& 0\\ 0.5& 0.5& 0\\ 1& 0.5& 0\\ 0.5& 0.5& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0.5& 0.5& 0\\ 0.5& 0.5& 0\\ 0.5& 0.5& 0.5\\ 0& 0.5& 0.5\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0& 0\\ 0& 0.5& 0.5\\ 0& 0.5& 1\end{array}\right]$
由题意：x是“略小”= { 0.7 , 0.25 , 0 } \{0.7,0.25,0\} {0.7,0.25,0}，y是“略高”= { 0 , 0 , 0.3 , 0.7 , 1 } \{0,0,0.3,0.7,1\} {0,0,0.3,0.7,1}，可得各语言值的隶属函数:
$$\begin{gathered} {\mu }_A=(0.7,0.25,0) \\ {\mu }_B=(0,0,0.3,0.7,1) \end{gathered}$$
根据$R$通过Zadeh法多输入模糊推理，可得：

$C^{\ast }=(A^{\ast }\times B^{\ast })\circ R$\

所以:

$C^{\ast }(z)=A^{\ast }(x)\times B^{\ast }(y)\circ R(x,y,z)$\

因为:

$$A^{\ast }(x)\times B^{\ast }(y)$$
$$\begin{gathered} 0.7 \\ 0.25 \\ 0 \end{gathered}$$
$$\times$$
$$\left[\begin{array}{ccccc}0& 0& 0.3& 0.7& 1\end{array}\right]$$
$$\left[\begin{array}{ccccc}0& 0& 0.3& 0.7& 0.7\\ 0& 0& 0.25& 0.25& 0.25\\ 0& 0& 0& 0& 0\end{array}\right]$$

所以：

$C^{\ast }(z)=A^{\ast }(x)\times {B^{\ast }(y)}^T=\left[\begin{array}{ccc}0.5& 0.5& 0.25\end{array}\right]$

综上，此时输出z的语言取值为：
$$\left[\begin{array}{ccc}0.5& 0.5& 0.25\end{array}\right]$$

总结及心得体会

模糊集理论是模糊控制的数学基础，是描述模糊性概念的有效的数学工具。模糊集合理论是普通集合理论的拓展，通过引入隶属函数的概念达到了对模糊概念描述的目的。模糊思想的引入不仅使数字量和模拟量更好的融合在一起，也加速了人脑与电脑的相互联系，是用机器语言表达人类思维的好方法。