1965年,美国计算机与控制专家L.A. Zadeh教授在国际期刊《Information and Control》上发表了开创性论文《Fuzzy Sets》,标志着模糊数学这一新兴学科的诞生。模糊数学的核心思想是处理现实世界中广泛存在的“模糊现象”,例如“高个子”与“矮个子”、“年轻人”与“老年人”等无法用经典数学精确描述的概念。本文将从模糊数学的基本概念出发,解析其核心理论与应用方法。
现实世界中存在大量边界不清晰的现象。例如:
这类问题无法用传统的“非此即彼”的二值逻辑(0或1)描述。模糊数学通过引入隶属度(Membership Degree)的概念,将元素对集合的归属程度扩展为区间 [ 0 , 1 ] [0,1] [0,1]内的连续值,从而实现对模糊现象的量化分析。
模糊数学与经典数学、统计数学共同构成现代数学的三大分支:
模糊数学的提出,使得数学的应用领域从精确现象扩展到了模糊现象。
定义1(模糊集合):设论域 X X X为一个普通集合,若存在映射
μ A : X → [ 0 , 1 ] , \mu_A: X \rightarrow [0,1], μA:X→[0,1],
则称 A A A为 X X X上的模糊集合, μ A \mu_A μA称为 A A A的隶属函数, μ A ( x ) \mu_A(x) μA(x)表示元素 x x x对模糊集 A A A的隶属度。
当论域 X = { x 1 , x 2 , … , x n } X=\{x_1,x_2,\dots,x_n\} X={x1,x2,…,xn}为有限集时,模糊集 A A A可表示为:
A = ∑ i = 1 n μ A ( x i ) x i = μ A ( x 1 ) x 1 + μ A ( x 2 ) x 2 + ⋯ + μ A ( x n ) x n . A = \sum_{i=1}^n \frac{\mu_A(x_i)}{x_i} = \frac{\mu_A(x_1)}{x_1} + \frac{\mu_A(x_2)}{x_2} + \cdots + \frac{\mu_A(x_n)}{x_n}. A=i=1∑nxiμA(xi)=x1μA(x1)+x2μA(x2)+⋯+xnμA(xn).
注意:这里的“ + + +”和“ ∑ \sum ∑”仅表示元素的汇总,而非算术运算。
示例:设 X = { 140 , 150 , 160 , 170 , 180 , 190 } X=\{140,150,160,170,180,190\} X={140,150,160,170,180,190}(单位:cm)表示身高,定义“高个子”的隶属函数为 μ A ( x ) = x − 140 50 \mu_A(x)=\frac{x-140}{50} μA(x)=50x−140,则:
A = 0 140 + 0.2 150 + 0.4 160 + 0.6 170 + 0.8 180 + 1 190 . A = \frac{0}{140} + \frac{0.2}{150} + \frac{0.4}{160} + \frac{0.6}{170} + \frac{0.8}{180} + \frac{1}{190}. A=1400+1500.2+1600.4+1700.6+1800.8+1901.
A = { ( x 1 , μ A ( x 1 ) ) , ( x 2 , μ A ( x 2 ) ) , … , ( x n , μ A ( x n ) ) } . A = \{(x_1, \mu_A(x_1)), (x_2, \mu_A(x_2)), \dots, (x_n, \mu_A(x_n))\}. A={(x1,μA(x1)),(x2,μA(x2)),…,(xn,μA(xn))}.
A = ( μ A ( x 1 ) , μ A ( x 2 ) , … , μ A ( x n ) ) . A = (\mu_A(x_1), \mu_A(x_2), \dots, \mu_A(x_n)). A=(μA(x1),μA(x2),…,μA(xn)).
对于无限论域,模糊集可表示为:
A = ∫ x ∈ X μ A ( x ) x , A = \int_{x \in X} \frac{\mu_A(x)}{x}, A=∫x∈XxμA(x),
其中积分符号仅表示元素的汇总。
设 A A A和 B B B是论域 X X X上的模糊集,其隶属函数分别为 μ A ( x ) \mu_A(x) μA(x)和 μ B ( x ) \mu_B(x) μB(x):
示例:设 X = { 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 } X=\{1,2,3,4,5,6,7,8\} X={1,2,3,4,5,6,7,8},且
A = 0.3 1 + 0.5 2 + 0.8 3 + 0.4 4 + 0.1 5 , A = \frac{0.3}{1} + \frac{0.5}{2} + \frac{0.8}{3} + \frac{0.4}{4} + \frac{0.1}{5}, A=10.3+20.5+30.8+40.4+50.1,
B = 0.2 3 + 0.3 4 + 0.9 5 + 0.5 6 , B = \frac{0.2}{3} + \frac{0.3}{4} + \frac{0.9}{5} + \frac{0.5}{6}, B=30.2+40.3+50.9+60.5,
则:
模糊统计法通过大量实验确定隶属度。具体步骤为:
示例:通过调查100人对“年轻人”的年龄界限,统计25岁被划入“年轻人”的次数为85次,则 μ 年轻 ( 25 ) = 0.85 \mu_{\text{年轻}}(25)=0.85 μ年轻(25)=0.85。
指派方法根据经验选择特定形式的隶属函数。常用模糊分布类型如下:
类型 | 偏小型 | 中间型 | 偏大型 |
---|---|---|---|
矩阵型 | μ A ( x ) = { 1 , x ≤ a 0 , x > a \mu_A(x)=\begin{cases}1, & x \leq a \\ 0, & x > a \end{cases} μA(x)={1,0,x≤ax>a | μ A ( x ) = { 1 , a ≤ x ≤ b 0 , 其他 \mu_A(x)=\begin{cases}1, & a \leq x \leq b \\ 0, & \text{其他} \end{cases} μA(x)={1,0,a≤x≤b其他 | μ A ( x ) = { 1 , x ≥ a 0 , x < a \mu_A(x)=\begin{cases}1, & x \geq a \\ 0, & x < a \end{cases} μA(x)={1,0,x≥ax<a |
正态型 | μ A ( x ) = { 1 , x ≤ a e − k ( x − a ) , x > a \mu_A(x)=\begin{cases}1, & x \leq a \\ e^{-k(x-a)}, & x > a \end{cases} μA(x)={1,e−k(x−a),x≤ax>a | μ A ( x ) = e − ( x − a σ ) 2 \mu_A(x)=e^{-\left(\frac{x-a}{\sigma}\right)^2} μA(x)=e−(σx−a)2 | μ A ( x ) = { 0 , x ≤ a 1 − e − k ( x − a ) , x > a \mu_A(x)=\begin{cases}0, & x \leq a \\ 1-e^{-k(x-a)}, & x > a \end{cases} μA(x)={0,1−e−k(x−a),x≤ax>a |
示例:定义“年老”和“年轻”的隶属函数:
计算得 μ 年老 ( 60 ) ≈ 0.8 \mu_{\text{年老}}(60) \approx 0.8 μ年老(60)≈0.8, μ 年轻 ( 60 ) ≈ 0.02 \mu_{\text{年轻}}(60) \approx 0.02 μ年轻(60)≈0.02,说明60岁更接近“年老”。
模糊数学的提出,为解决实际问题提供了全新的工具:
模糊数学通过引入隶属度的概念,成功地将“非黑即白”的二值逻辑扩展为连续渐变的多值逻辑。其核心思想在于:现实世界本质上是模糊的,而数学工具应当服务于这种模糊性。从模糊集合到隶属函数,从基本运算到实际应用,模糊数学为我们理解复杂系统提供了强有力的理论支持。