《1 从一个例子谈起》
1 从一个例子谈起
云是对不确定问题的一种描述方法。刚开始接触云时, 对云模型难以有深刻的认识, 人们往往会拿它和统计学方法或模糊学方法相比较, 将云模型简单地看作为随机加模糊、模糊加随机、二次模糊或二次随机等。为了消除这些疑惑, 下面从一个射击的例子谈起。
三位学者:统计学家、模糊学家和云理论研究者被邀请参加射击评判。射手甲、乙和丙参加射击比赛, 射击情况如图1。
统计学方法认为, 射中与射不中有明确的定义, 是非此即彼的, 不存在亦此亦彼的中间状态。但每次是不是射中, 包含有不确定性, 称为随机性, 试验的结果是随机的。令试验样本空间s= (e) , e为样本空间的事件, 对于试验的结果, 引入变量x, 其值分别规定为0和1。对应于样本空间的每个独立事件, 变量x取不同的值, 因而x可以作成是定义在样本空间上的函数。X (e) 为随机变量。在大量重复试验时, 变量的取值具有统计规律性。概率论和数理统计就是研究和揭示随机现象的统计规律性的一门学科
模糊学家认为, 中与不中的是相对的, 取决于弹着点离靶心的距离, 难以明确一个边界对中与不中进行精确的划分, 这种亦此亦彼的事件中所包含的不确定性, 称为模糊性
不确定性有两种:随机性和模糊性。统计学和模糊学用各自的方法认识客观世界, 形成不同的评价结果。
通常, 人们更习惯于用自然语言值而不是精确数值来评价射手水平。为此, 云理论研究者提出云方法。射手射中或射不中带有随机性, 射中的程度又带有模糊性, 每次射击的弹着点可以看作是一个云滴, 射击若干次后形成的云团的整体特征反映了射手总体水平。用定性的语言来描述这些云团, 例如对上述三位射手的射击情况, 可认为“射手甲略偏右上且不够稳定, 射手乙略偏右下但较稳定, 丙的射点靠近靶心但不稳定”。云方法提出用3个数字特征 (期望值, 熵, 超熵) 来描述整个云团, 实现定性和定量之间的转换。由于多方面的随机因素 (天气、心理等等) 的影响, 射手很难每一次都击中靶心, 其多次射击的弹着点在靶纸上呈近似正态分布。因此, 用二维正态云模型 (Ex1, Ex2;En1, En2;He1, He2) (如图2b) 来描述总的射击情况:期望值 (Ex1, Ex2) 是所有云滴 (弹着点) 在靶纸上的平均点的坐标, 反映了射手对准心的把握, 是最能代表射手水平的靶位置;熵 (En1, En2) 一方面反映弹着点的随机性, 即分别在水平和垂直方向上相对于期望值的离散程度, 另一方面又体现了射中的模糊性——隶属度;超熵 (He1, He2) 反映了熵的离散程度, 可以称为二次熵 (熵的熵) , 体现了隶属度的不确定性。表1给出了对射手射击情况的不同评价结果。
表1 对射手射击情况的不同评价结果Tab1e 1 Estimation results for the three shooters
《表1》
专家 |
射手甲 | 射手乙 | 射手丙 | 总评 |
统计学家 |
90 | 100 | 100 | 乙同丙, 甲最差 |
模糊学家 |
53 | 65 | 68 | 甲最差, 丙最优 |
云理论 研究者 |
期望 (0.08, 0.1) , 偏右上;熵 (0.45, 0.3) , 超熵 (0.05, 0.07) , 较离散, 不稳定 | 期望 (0.1, -0.12) , 右偏下;熵 (0.25, 0.2) , 超熵 (0.02, 0.02) , 较集中, 较稳定 | 期望 (0, 0.03) , 靠近靶心; 熵 (0.4, 0.3) , 超熵 (0.05, 0.07) , 较离散, 不稳定 |
射手乙的射击水平略高。 |
《2 可还原性——云滴的生成算法》
2 可还原性——云滴的生成算法
云是用自然语言值表示的某个定性概念与其定量表示之间的不确定性转换模型。云由许多云滴组成, 每一个云滴就是这个定性概念在数域空间中的一次具体实现, 这种实现带有不确定性, 设A是一个集合A ={ a }, 称为语言域。关于语言域A中的语言值a, 是指其映射到数域空间X的任意点x都存在一个有稳定倾向的数
给定云的三个数字特征:期望值Ex、熵En和超熵He, 可以通过一维正态云发生器的算法生成云滴
给定二维正态云的数字特征:期望值 (Ex, Ey) 、熵 (Enx, Eny) 和超熵 (Hex.Hey) , 可以通过以下二维正态云发生器的算法生成云滴:
1) 产生一个期望值为 (Enx, Eny) , 均方差为 (Hex, Hey) 的二维正态随机熵 (E′nx, E′ny) ;
2) 产生一个期望值为 (Ex, Ey) , 均方差为 (E′nx, E′ny) 的二维正态随机数 (x, y) ;
3) 计算
4) 令 (x, y, z) 为一个云滴, 它是该云表示的语言值在数量上的一次具体实现, 其中 (x, y) 为定性概念在数域中这一次对应的点的位置, z为 (x, y) 属于这个语言值的程度的量度;
5) 重复步骤1到步骤4, 直到产生满足要求数目的云滴数。
这样的二维云发生器称为正向云发生器 (见图3) 。
根据正态云发生器算法中的第2步, 由统计学知识知道, 99.74 %的云滴都将落在 (Ex-3En, Ex+3En) 范围内;根据算法中的第1步和第3步计算, 每一次的随机熵E′n不同, 导致云滴的离散性, 包含云边缘的不分明和云厚度的不均匀;根据算法第3步计算, 任何时候都会有0<z≤1。 我们可以认为函数:
是云的数学期望曲线。如果已经知道若干云滴, 可以计算出它们所代表的正态云的三个数字特征:期望值Ex, 、熵En和超熵He, 称之为反向云发生器, 也可以构造带条件的正态云发生器。还可以利用类似方法构造其他分布的云发生器, 如泊松云、Г云等。
如果用二维正向正态云发生器来生成不同数量的云滴, 可以大致还原3位射手的水平。图4中分别给出了还原各射手10个和100个弹着点的情况。
由此可见, 三位学者对同一客观事物的认识分析方法不同:统计学方法从事件发生的频数出发, 假设基本事件等可能地出现, 通过概率来衡量其随机性;模糊学方法考虑概念的内涵和外延之间的关系, 通过确定的隶属函数值来刻画事物的亦此亦彼性。云方法认为定性表述——自然语言具有不可替代性, 基本事件等可能性的假设和隶属函数的单一确定值都具有局限性, 通过云模型综合考虑随机性和模糊性, 探索定量与定性的转换方式, 用数字特征表示语言值。
《3 定性概念的某一次定量值对此概念的贡献》
3 定性概念的某一次定量值对此概念的贡献
为进一步深化理解一维正态云模型, 作一个重要的补充定义:
定义 基础变量X中的任一小区间上的元素ΔX对定性概念
显然, 论域上所有元素对概念
因为
所以对于论域X中的定性概念
《4 用云方法表示并解释定性概念“春、夏、秋、冬”》
4 用云方法表示并解释定性概念“春、夏、秋、冬”
“春天”、“夏天”、“秋天”、“冬天”是四个定性概念。我国古代劳动人民在长期的农业生产实践中, 积累和掌握了农事季节与气候变化的丰富经验——定性的知识。农历24节气便是认识“春、夏、秋、冬”四个定性知识的一个重要经验结晶。“春、夏、秋、冬”这四个语言值, 可以用如下的正态云表征, 其正态云见图6。图6中X坐标表示地球每年绕太阳公转1圈为360°, 被24节气等分。它们所对应的数学期望曲线可以认为是模糊学中的隶属函数, 呈钟形, 峰值为1。这和正态概率密度分布函数不相关。至于某年某月某日特定一天, 属于某季节的程度, 可以通过云滴来反映其不确定性。
据记载, 早在春秋时代, 便有“二分” (春分、秋分) “二至” (夏至、冬至) 四个节气。“分”和“至”表示转折或极值, 因此, 分别对应“春夏秋冬”四个定性概念的期望值, 而在这4个时刻, 它们分别属于春夏秋冬的隶属度为1, 云的期望曲线——隶属函数在该点的一阶导数为0, 其左导数大于0, 右导数小于0, 反映了季节的转折。
经过500年左右, 到了战国末期, 又增加了四立 (立春、立夏、立秋、立冬) , “立”表示新季节的开始, 也表示上一个季节的结束。又经过100多年的逐步补充, 到秦、汉时期, 就完备起来, 在二分、二至和四立这八个节气之间又各增加了两个节气, 分别用天气的炎热严寒 (小暑、大暑、处暑、小寒、大寒) 、水气凝结 (白露、寒露、霜降) 、雨雪多少 (雨水、谷雨、小雪、大雪) 和生物发育 (惊蛰、清明、小满、芒种) 来反映它们分别属于春夏秋冬的程度。以定性概念“春”为例, 雨水和谷雨属于“春天”的期望隶属度皆为0.135 3;惊蛰和清明皆为0.606 5;惊蛰到清明这一段时期对“春天”的贡献为68.26 %, 雨水到谷雨对“春天”的贡献为95.44 %, 立春到立夏对“春天”的贡献为99.74 %, 夏、秋、冬天以此类推。这24个节气, 乃是正态云期望曲线上特定点, 都落在En点的整数倍上。
《5 结语》
5 结语
科学需要重复, 不能够重复的一次性现象, 科学中一般不予研究。原则上说, 多次重复表现出来的规律性——概率, 通常由实验的条件决定。但是, 实验条件常常难以确切地叙述, 有时过于荷刻, 如要求独立的随机事件。通过修改条件把不可重复的试验化为可重复的试验有时非常困难。这是概率论的局限性。科学需要精确, 不能够定量描述的现象, 科学中一般也不予研究。模糊学用隶属函数来定量描述客观事物的亦此亦比性, 然而它忽视了隶属函数自身的不确定性, 这是模糊学的局限性。客观世界中有许多问题, 特别是复杂系统和人文社会, 其最有效的知识表示方法还只能是自然语言。因此, 我们企图用云方法来表示知识中的不确定性。云模型不是简单地随机加模糊, 也不是模糊加随机, 更不是二次随机或二次模糊。云就是云, 它很难把模糊性和随机性人为地分开, 而是通过每个数字特征的双重性有机地关联在一起, 实现定性语言值与定量数值之间的自然转换。目前, 云理论已经运用于智能控制, 成功地实现了对三级倒立摆的实时动平衡转换