版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、人工智能及其应用,贵州大学电气工程学院 熊炜,2,2,第四章 模糊计算,4.1 人工智能研究背景 4.2 模糊计算 4.2.1 模糊数学概论 4.2.2 模糊变换与模糊集合 4.2.3 隶属函数 4.2.4 模糊矩阵与模糊关系 4.2.5 模糊推理 4.2.6 模糊逻辑语言,人工智能及应用第4章 计算智能,3,3,4.1 人工智能研究背景,学科交叉是当前研究领域的一个重要特征 信息科学与生命科学的相互交叉、相互渗透和相互促进是现代科学技术发展的一个显著特点。 计算智能是学科交叉研究过程中出现的一个重要 研究方向 计算智能涉及神经网络、模糊逻辑、进化计算和人工生命等领域,它的研究和发展正反映了当
2、代科学技术多学科交叉与集成的重要发展趋势。,第4章 计算智能概述,4,4,什么是计算智能,神经网络(NN)与人工智能(AI) 把神经网络归类于人工智能可能不大合适,而归类于计算智能 (CI)更能说明问题实质。进化计算、人工生命和模糊逻辑系统的某些课题,也都归类于计算智能。 计算智能与人工智能 计算智能取决于制造者(manufacturers)提供的数值数据,不依赖于知识; 人工智能应用知识精品(knowledge tidbits),故此,一种说法是人工神经网络应当称为计算神经网络。,第4章 计算智能概述,5,5,计算智能与人工智能的区别和关系,第4章 计算智能概述,6,6,第4章 计算智能概述
3、,计算智能与人工智能的区别和关系,AArtificial,即人工的(非生物的) BBiological,即物理的化学的 (?)生物的 CComputational,表示数学计算机 计算智能是一种智力方式的低层认知,它与人工智能的区别只是认知层次从中层下降至低层而已。中层系统含有知识(精品),低层系统则没有。,7,7,计算智能与人工智能的区别和关系,当一个系统只涉及数值(低层)数据,含有模式识别部分,不应用人工智能意义上的知识,而且能够呈现出: (1)计算适应性; (2)计算容错性; (3)接近人的速度; (4)误差率与人相近, 则该系统就是计算智能系统。 当一个智能计算系统以非数值方式加上知识
4、(精品)值,即成为人工智能系统。,第4章 计算智能概述,8,4.2 模糊计算,模糊数学是用数学方法研究和处理具有“模糊性”现象的数学。“模糊性”主要是指客观事物差异的中间过渡的“不分明性”,例如“高与矮”、“干净与脏”、“美与丑”、“冷与热”等等,都难以明确的划定界限。 模糊数学不是让数学变成模糊的概念,其关键在于如何寻求适当的数学语言来描述事物的模糊性。 必备知识 集合论 数理逻辑的命题演算 用布尔函数的观点将集合和命题演算统一起来。,第4章 计算智能模糊计算,9,4.2 模糊计算,随机性与模糊性 随机性 在事物的出现与否上表现的不确定性 用在0,1上取值的概率分布函数说明随机性,用统计数学
5、研究随机性事件 AI中,研究方法有: 主观贝叶斯法: if EP(E) then (LS,LN)HP(H) 即在E为概率P(E)的条件下,具有一定充分性和必要性条件时推理得到H的概率为P(H)。 可信度法:if E then H(CF(H,E) 即由E推理得到H的可信度为CF(H,E)。,第4章 计算智能模糊计算,10,4.2 模糊计算,模糊性 被研究事件的概念本身是模糊的,这种由概念的模糊而形成的不确定称为模糊性。 用在0,1上取值的隶属函数说明模糊性。 结论 随机性:对确定性事件作不充分的估计-概率 模糊性:对不确定性事件作确定性程度的描述-隶属函数 例:明日气温是15的概率为0.1 明日
6、是较暖和气温的可能性为0.1(隶属函数) 电压是220V的概率为0.95 电压是合格的可能性为0.95(隶属函数),第4章 计算智能模糊计算,11,4.2.1 模糊数学概论,1. 模糊数学起源 以Zadeh于1965后提出的模糊集合概念为基础。 模糊子集 用经典数学处理模糊性现象的集合,采用0.1闭区间和映射的方法 确定性与模糊性的联系分解定理 任意一个表述模糊现象的模糊子集都可分解为连续数的经典子集的并(或)集,反之,一组满足一定条件的连续数的经典子集,可以表现为一个模糊子集。 具有一定条件的确定性现象可以表现为模糊性现象,或模糊性现象可以分解为确定性现象。,第4章 计算智能模糊计算,12,
7、4.2.1 模糊数学概论,Zadeh的模糊子集论不是唯一的处理模糊性现象的数学方法,但它开创了应用经典数学处理模糊性问题的先河,并使模糊集合论及应用取得较大成果。它是应用经典数学方法处理一类最基本、简单的模糊性现象的理论和方法。,第4章 计算智能模糊计算,13,4.2.1 模糊数学概论,2. 模糊性分类 模糊性是人类认识事物的认知过程产生的对事物的客观关系和客观特征,它并不是客观事物固有的内在属性。 这一客观关系和客观特征是人对客观事物认知的思维特征,带有主观性,但反映的事物是客观的。故这种认知特征具有不确定性。,第4章 计算智能模糊计算,14,4.2.1 模糊数学概论,(1)狭义模糊性 在高
8、维空间是确定性的概念(如X气温、XV电压)降低到低维空间处理时,在低维空间出现模糊性,这种模糊性是确定性概念外延引起的,它代表事物“高维”边界形态在“低维”时的不确定性。 具有以下特征和问题 可处理一类特殊的模糊化的确定性问题,本质上属于经典数学的范畴 需要探讨能否建立统一的数学与逻辑方法统一的狭义模糊数学 一定条件下狭义模糊性问题可变换为高层次模糊性问题,第4章 计算智能模糊计算,15,4.2.1 模糊数学概论,(2)一般模糊性 它反映了一般概念性事物呈现的模糊性(如年轻、年老) ,即反映了具体事物和抽象事物的模糊性。 具体事物的模糊性即概念外延(气温、电压)-狭义模糊性,而抽象事物的模糊性
9、为概念内涵。 在一定条件下,可变换为狭义模糊性问题或更高层次的模糊性问题。,第4章 计算智能模糊计算,16,4.2.1 模糊数学概论,(3)广义模糊性 “可表达思维”(如小康)中存在的模糊性。 可表达思维存在着概念性思维和非概念性思维,由此而形成相应的知识与信息。故广义模糊性包括一般模糊性。 以文字为例,各类词组、句子都是可表达性思绪的知识和信息的基本内容与方式,其中存在模糊性时,即为广义模糊性。 目前尚无广义模糊数学。,第4章 计算智能模糊计算,17,4.2.1 模糊数学概论,(4)泛模糊性 意象思维中的模糊性,即抽象思维的模糊性,如和谐、可爱等等。 目前尚无相应的数学方法。,第4章 计算智
10、能模糊计算,18,4.2.2 模糊变换与模糊集合,1. 模糊变量 事物的模糊性以知识表述,而知识又以数学的变量来说明事物本身的概念。 模糊变量是指清晰变量的模糊化。例如“电压U”是通常意义下的变量,而“较低电压”则为一个模糊变量。 用隶属函数说明其模糊性。,第4章 计算智能模糊计算,19,4.2.2 模糊变换与模糊集合,2. 模糊集合 普通集合(即清晰集合)指具有某种确定性质,彼此可以区别的事物的总体。 清晰集合中,一个事物只能是属于(是)或不属于(假)某一集合,即,为集合A的特征函数,第4章 计算智能模糊计算,20,4.2.2 模糊变换与模糊集合,模糊集合定义: 给定论域X中有子集F, 是X
11、的模糊集合。X到0,1的任一映射为 ,模糊集合F定义为: 物理意义:论域X中的元素 对集合F有隶属函数在0,1闭区间时,这些 组成了模糊集合F,故F也称为模糊子集,由 表征。 如X为年龄,则X可在0150,而F=年轻则是X的一个子集。,或,为X在0,1区间的映射,称为隶属函数。,第4章 计算智能模糊计算,21,4.2.2 模糊变换与模糊集合,3. 模糊集合的表达方式 论域X可能有两种形式,其表现模糊集合的形式不一样: X为离散有限域 时,F的表示方法有 Zadeh表示法,例:,第4章 计算智能模糊计算,22,4.2.2 模糊变换与模糊集合,序偶表示法 序偶是清晰集合的概念,表示两个元素的集合,
12、其顺序不能改变,即 用序偶表示模糊集合有: 向量表示法 将F视为向量,X的元素均应计入,顺序不能改变,则,第4章 计算智能模糊计算,23,4.2.2 模糊变换与模糊集合,X为连续有限域 例:年龄,不表示积分,而表示论域X为连续域,第4章 计算智能模糊计算,24,4.2.2 模糊变换与模糊集合,4. 关于模糊集合的几个基本定义 台(support)集合(模糊支集) 子集F中, 的元素称为台 台集合即是这些台元素的集合。 如 的台集合为,第4章 计算智能模糊计算,25,4.2.2 模糊变换与模糊集合,正则(normal)模糊集合 若有 则称为正则模糊集合。 如 、 均为正则模糊集合。,第4章 计算
13、智能模糊计算,26,4.2.2 模糊变换与模糊集合,凸模糊集合 若有 ,则称为凸模糊集合。,第4章 计算智能模糊计算,27,4.2.2 模糊变换与模糊集合,单点模糊集合 若X中,F的台集合仅为一个点,且该点的 ,则称F为单点模糊集合。 核 台集合的最大值对应区,第4章 计算智能模糊计算,28,4.2.2 模糊变换与模糊集合,5. 模糊集运算 定义 基本运算 逻辑运算 基本代数运算 模糊集合逻辑运算的基本性质,第4章 计算智能模糊计算,4.2.2 模糊变换与模糊集合,运算 交集:设A和B是U上的两个模糊集合,则对所有的 ,A和B的交集是定义在U上的一个模糊集合,其隶属函数定义如下: 并集:A和B
14、的并集是定义 在U上的一个模糊集合,其隶属函数定义如下: 补集:A的补集 是定义 在U上的一个模糊集合,其隶属函数定义如下:,29,第4章 计算智能模糊计算,4.2.2 模糊变换与模糊集合,映射 若满足条件,则:,30,第4章 计算智能模糊计算,4.2.2 模糊变换与模糊集合,常见的三角模T与三角模S,31,第4章 计算智能模糊计算,32,4.2.2 模糊变换与模糊集合,6. 截(割)集及分解定理 (1)截集 定义:,第4章 计算智能模糊计算,33,4.2.2 模糊变换与模糊集合,性质,第4章 计算智能模糊计算,34,4.2.2 模糊变换与模糊集合,(2)分解定理(分解原理) 联系模糊集合与清
15、晰集合的一个桥梁 若有模糊集 , 是A的一个截集,则有下列分解式成立:,第4章 计算智能模糊计算,分解定理:,U为组合,也是论域X上的一个模糊子集。,35,4.2.2 模糊变换与模糊集合,例: ,并有,第4章 计算智能模糊计算,则,36,4.2.2 模糊变换与模糊集合,利用分解定理,将截集组合还原为模糊集,以上例所得结果为例:,第4章 计算智能模糊计算,37,4.2.2 模糊变换与模糊集合,7. 扩展原理(扩展定理) 设X和Y为两个论域,f是从X到Y的一个映射,对U上的模糊集合A,扩张原理由下式在Y上定义一个模糊集合B: 即对 , 是 的上界,因此, 式中 ,且设 非空。当 对某些 为空集时,
16、设 。,第4章 计算智能模糊计算,38,4.2.2 模糊变换与模糊集合,扩展是一个映射关系,其实质是一个恒等关系。 设f是论域X到Y的一个映射,写成: A是论域X的一个模糊子集,根据扩展原理有: 表示一个新映射,而前面的f是一个清晰映射。 整个扩展原理为: 即X的幂集 映射成Y的幂集,第4章 计算智能模糊计算,39,若 为平方关系,即,4.2.2 模糊变换与模糊集合,例:,则由A映射到,。作为一般概念,为:,即由A扩展到,则,第4章 计算智能模糊计算,40,4.2.2 模糊变换与模糊集合,设 则,第4章 计算智能模糊计算,41,4.2.3 隶属函数,模糊计算是以模糊集理论为基础的计算 模拟人脑
17、非精确、非线性的信息处理能力 模糊集合(Fuzzy Sets) 论域U到0, 1 区间的任一映射 ,即 ,都确定U的一个模糊子集F; 称为F的隶属函数或隶属度。在论域U中,可把模糊子集表示为元素u与其隶属函数 的序偶集合,记为: 模糊支集、交叉点及模糊单点 若模糊集是论域U中所有满足中 的元素u构成的集合,则称该集合为模糊集F的支集。 当u满足 ,称为交叉点。 当模糊支集为U中一个单独点,且u满足 则称模糊集为模糊单点。,第4章 计算智能模糊计算,42,4.2.4 模糊矩阵与模糊关系,模糊关系 是模糊集合进入应用的重要基本概念。 描述模糊集合的元素与元素之间或此集合与彼集合的元素关系。 当论域
18、X为有限域时,用模糊矩阵表示模糊关系。,第4章 计算智能模糊计算,43,43,4.2.4.1 模糊矩阵,定义 一般提法:用矩阵形式来表示两个模糊集合的元素之间或模糊集合中各元素之间的关系,此矩阵即为模糊矩阵。矩阵元素为 ,i为行,j为列。 正规提法:当有模糊集合 ,有 ,则称 为模糊矩阵。 为 对于关系r的隶属度。,第4章 计算智能模糊计算,44,44,4.2.4.1 模糊矩阵,模糊矩阵的截矩阵 设 ,对于任意 定义: ,则 称为R的截矩阵。 性质:当 对任意 ,有,第4章 计算智能模糊计算,45,45,4.2.4.1 模糊矩阵,例:,第4章 计算智能模糊计算,则:,46,46,4.2.4.2
19、 模糊关系,概念 设有集合 ,问:该集合中“小于”,“小得多”两个关系。,第4章 计算智能模糊计算,(清晰),(模糊),矩阵元素,47,4.2.4.2 模糊关系,模糊关系是普通关系的拓宽。 例:身高 与体重 的“正常”关系R为:,第4章 计算智能模糊计算,48,4.2.4.2 模糊关系,定义 模糊关系是两个非空模糊集合X、Y的直积(叉乘)中的一个模糊子集。 设X和Y是两个论域,模糊关系R是积空间 上的一个模糊集合,即当 的隶属函数为 。,第4章 计算智能模糊计算,R的元素,:表示,对,这一关系的,隶属度。如y比x大得多这一关系:,49,4.2.4.2 模糊关系,当用有限连续域表示时,模糊关系
20、y比x大得多( ) x比y大致相同 y比x小得多,第4章 计算智能模糊计算,50,模糊关系的合成与性质 合成关系 两个模糊关系的合成构成一个新的模糊关系。如:普通关系合成:叔侄=(兄弟o父子),师生=(教师o学生)。具体地: 定义:设P是 上的一个模糊关系,Q是 上的一个模糊关系。R与S是 上的两个模糊关系。,4.2.4.2 模糊关系,第4章 计算智能模糊计算,51,4.2.4.2 模糊关系,有两种定义合成关系: 1) 是P与Q的合成: 2) 也是P与Q的合成: 有:,第4章 计算智能模糊计算,先小后大,先大后小,52,4.2.4.2 模糊关系,以上关系也可表述为: 则:,第4章 计算智能模糊
21、计算,53,4.2.4.2 模糊关系,性质 当两个关系不能用模糊矩阵表示,仍可以进行合成,也遵守最小最大原则。 合成关系的转置,第4章 计算智能模糊计算,54,4.2.4.2 模糊关系,第4章 计算智能模糊计算,55,4.2.4.2 模糊关系,第4章 计算智能模糊计算,56,4.2.4.2 模糊关系,特殊性质 自返性 一个模糊关系 ,若对于 ,当 X=Y时,都有 ,则称R为自返性的模糊关系。即 表明每个元素x与自身从属关系程度为1,若 ,则称R为反自返性。,第4章 计算智能模糊计算,57,4.2.4.2 模糊关系,当R具有自返性时,有以下性质存在: 当R为自返,P是任意模糊关系, ,有 当R,
22、S均为自返,则 也是自返。,第4章 计算智能模糊计算,58,4.2.4.2 模糊关系, 对称性 对于R,若 ,均有 成立,则称R具有对称性。 R具有对称性时, 。 R,S对称时, 也对称 成立时, 也对称。 若R既有自返性,又有对称性,则称R为模糊相容关系。,第4章 计算智能模糊计算,59,4.2.4.2 模糊关系, 传递性 设 ,若 ,均有 则称R具有传递性。如“大得多”,“小得多”均具有此特性。 当R,S具有传递性时,且 成立,则 也具有传递性。 R,S具有传递性时, 也是传递的,但 不一定是传递的。 若R既有自返性,又有对称性与传递性时,则称R为类似关系。,第4章 计算智能模糊计算,60
23、,4.2.4.2 模糊关系, 对比性 若R是 中一个模糊关系,且满足 时, 则称R具有对比性。,第4章 计算智能模糊计算,61,61,4.2.5 模糊逻辑推理,模糊集合论的应用(控制、辨识等)是基于“专家知识”采用语言规则(模糊逻辑语言)表示的一种人工智能。 模糊逻辑语言是表述模糊知识,而模糊知识的推理是指运用已掌握的(模糊)知识,找出其中蕴含的事实,或归纳出新的事实。这一过程通常就称推理,而模糊知识的表述则建立在模糊逻辑概念上。,第4章 计算智能模糊计算,62,62,4.2.5.1 模糊命题与模糊逻辑,1. 模糊命题 概念模糊的陈述句。如(“”表示模糊命题) 例如: :他很年轻; :电压偏高
24、 模糊命题的真值不能用“T”或“F” 来说明。相对于二值逻辑命题,模糊命题有以下特点: 的真值为 , 用来说明模糊命题的真假程度。即 是隶属函数,它可以是连续的,也可是多值的。如“电压偏高”= ,对于市电可以是220V240V范围( )。,第4章 计算智能模糊计算,63,63,4.2.5.1 模糊命题与模糊逻辑,当一个模糊命题 的 只为1或0,则该命题变为清晰命题。因此可以认为清晰命题A是模糊命题 的特例。 模糊命题的一般形式写为: ,P是对应于模糊命题 所指的这一模糊概念所对应的论域X中的一个模糊子集( )。X是 中的元素(只要概念无误,常将模糊集的“”符号省略)。,第4章 计算智能模糊计算
25、,64,64,4.2.5.1 模糊命题与模糊逻辑,当有 ,若 有 ,且 ,则称 为 恒真命题;当 ,则为清晰恒真命题(类似于模糊集合的截集概念)。 模糊命题类似于二值逻辑命题,同样可以进行逻辑运算。,第4章 计算智能模糊计算,65,65,4.2.5.1 模糊命题与模糊逻辑,2. 模糊逻辑(以下在表述时省略 符号) 模糊逻辑是建立于模糊集合和二值逻辑概念基础上的一类特殊的多值逻辑。 是二值逻辑的模糊化。 二值逻辑是阈值逻辑 模糊逻辑是0,1的连续值逻辑,第4章 计算智能模糊计算,66,4.2.5.1 模糊命题与模糊逻辑,(1)摩根代数 二值逻辑用布尔函数进行运算,而模糊逻辑用摩根代数软代数进行运
26、算。 布尔代数、格 一个集合L,若在其中定义了“ ”(析取)、“ ”(合取)两种运算,且具有以下性质,满足幂等律、结合律、交换律和吸收律,则称L是一个格,且是完备格,写成 。,第4章 计算智能模糊计算,67,4.2.5.1 模糊命题与模糊逻辑,若有: 幂等律: 交换律: 结合律: 吸收律: 则有一个 。,第4章 计算智能模糊计算,68,68,4.2.5.1 模糊命题与模糊逻辑,若L满足分配律,则称L是一个分配格: 若完备格L具有最大元1和最小元0,满足 ,若有 ,则称y为x的一个补元,即 。,第4章 计算智能模糊计算,69,69,4.2.5.1 模糊命题与模糊逻辑,具有补元的分配格称为有补分配
27、格。在有补分配格中进行的代数运算即为布尔代数,记为 ,又称为布尔格。在布尔格中,补元 是唯一的,且满足以下性质。 还原律: 互补律: 对偶律(摩根定律):,第4章 计算智能模糊计算,70,70,4.2.5.1 模糊命题与模糊逻辑,摩根代数(软代数) 若有补分配格(布尔格)中,不满足互补律,其它逻辑运算不变,同时满足下述条件的称为摩根格。 摩根代数可用于模糊逻辑运算。,第4章 计算智能模糊计算,71,71,4.2.5.1 模糊命题与模糊逻辑,(2)模糊逻辑函数 模糊命题中,改变其真值(即 的大小)的变量 ,称为模糊变量。 对 施以某种逻辑运算的数学关系则称为模糊逻辑函数,这一运算用逻辑代数式表示
28、,遵循软代数规则。,第4章 计算智能模糊计算,72,72,4.2.5.1 模糊命题与模糊逻辑,3. 模糊逻辑公式 (1)在数学意义上,模糊逻辑公式就是模糊逻辑函数通过代数运算关系的一种映射。 设模糊变量集合为 ,定义映射F: 上述 只表示是n个模糊变量组成的F映射,结果仍在0,1范围内去确定其值为真(T)的程度。,第4章 计算智能模糊计算,73,73,4.2.5.1 模糊命题与模糊逻辑,为方便,模糊逻辑公式可简写成如下形式 ,全体f的集合为 。每个公式f都有一个运算结果,即真值,记为 。真值函数为: ,即每个公式的结果映射到0,1。,第4章 计算智能模糊计算,74,74,4.2.5.1 模糊命
29、题与模糊逻辑,(2)模糊逻辑公式的特点 设 是模糊逻辑公式,则有 也是模糊逻辑公式 如果 是公式,则 也是公式,且有以下关系成立:,第4章 计算智能模糊计算,75,75,4.2.5.1 模糊命题与模糊逻辑,若有 ,则称 包含 ( ) 若 对于变量x所有的赋值都有 ,则称f为模糊恒真(相容);反之,对所有赋值都有 ,则称 为模糊恒假(不相容),真实的 可能是既不恒真也不恒假,或可以是恒真或恒假。,第4章 计算智能模糊计算,76,76,4.2.5.2 模糊逻辑函数的范式,合取范式(CNF:conjunction Norms Function):任一模糊逻辑函数均可通过等价变换,使之成为先析取后合取
30、的表达式。 析取范式(DNF:Disjunction Norms Function) :任一模糊逻辑函数均可通过等价变换,使之成为先合取后析取的表达式。 这两种形式都是 的标准形式,在编程、设计线路或简化设计时十分有用。,第4章 计算智能模糊计算,77,77,4.2.5.2 模糊逻辑函数的范式,设有 ,则有 由于模糊变量x不是二值逻辑函数,故在求取范式时,不像二值逻辑函数方便。此时,只能分别令 为1和0时,确定f的值,列出其值表,再根据f为1时对应逻辑变量取“交”,作为析取范式的一项,将全部“交项”求并,即得到析取范式。,第4章 计算智能模糊计算,78,78,4.2.5.2 模糊逻辑函数的范式
31、,例:模糊变量 有如下函数式,求范式。 解:令 求析取范式,由软代数性质可得:,第4章 计算智能模糊计算,79,79,4.2.5.2 模糊逻辑函数的范式,合取范式为:,第4章 计算智能模糊计算,80,80,4.2.5.2 模糊逻辑函数的范式,第4章 计算智能模糊计算,81,4.2.5.3 模糊逻辑语言,模糊控制中,知识用模糊逻辑语言表述。 模糊语言 分类 自然语言:具有模糊性 形式语言:二值逻辑语言,如计算机机语言 定义 凡含有模糊概念的语言均为模糊语言 用符号系统来描述。,第4章 计算智能模糊计算,82,4.2.5.3 模糊逻辑语言,语言变量: 可用一个五元组 来表征,其中x为变量名称; 为
32、x的术语集合,即x语言取值名称 的集合,其中x的每一个语言取值对应于一个在U上的模糊集合;U是论域,G为x语言取值的语法规则;M为解释x每个语言取值的语义规则。,第4章 计算智能模糊计算,83,4.2.5.3 模糊逻辑语言,若一个变量能够用普通语言中的词(如小、大和快、慢等)来取值 ,则该变量就定义为语言变量。所用的词常常是模糊集合的标识词。一个语言变量的取值既可为词也可为数据。,第4章 计算智能模糊计算,84,4.2.5.3 模糊逻辑语言,表述形式 仿照集合概念,设“单词”的论域为X,“模糊的单词”只是X上的一个模糊子集A,单词通过“或”、“与”、“非”构成词组,如:,第4章 计算智能模糊计
33、算,85,4.2.5.3 模糊逻辑语言,模糊语言算子 在单词或词组前加上一些前缀词,可构成不同性质的词组,这些前缀称为语言算子,常用的算子有以下三种: 语气算子 模糊算子 判定化算子,第4章 计算智能模糊计算,86,4.2.5.3 模糊逻辑语言,语气算子 表达语言中对某一单词或词组的确定性程度,如“很”、“非常”、“十分”等等。 设A为论域X的一个模糊子集,即 则 称为语气算子, 为正实数,即相当于前述的“水平”。,第4章 计算智能模糊计算,87,4.2.5.3 模糊逻辑语言,表现为强化(集中)作用, 时起淡化(扩展)作用。 一般设定: A是说明某事物的语句,加上 ,就可以运算(集中或扩展)。
34、,第4章 计算智能模糊计算,88,4.2.5.3 模糊逻辑语言,模糊算子 使清晰概念的词或词组的词义模糊化,如“大概”、“近似”等等。 对已模糊的概念,加上模糊算子后,改变其模糊程度。 用F表示模糊算子,有,第4章 计算智能模糊计算,89,4.2.5.3 模糊逻辑语言,为论域X上一个相似关系(大约关系),一般取为正态分布。如下图及关系式:,第4章 计算智能模糊计算,90,4.2.5.3 模糊逻辑语言,A是一个确定子集,如图示,在 时 ,加上模糊算子(实为 )后,在一个区间内,有“大约” 的模糊程度。 越大,则明显地模糊化程度也越大,如果原来已是模糊化的,改变 也改变其模糊程度。,第4章 计算智
35、能模糊计算,91,4.2.5.3 模糊逻辑语言,判定化算子 对一个模糊集A,乘上一个判定算子,求出其“倾向性”。判定算子与模糊算子恰好是对耦形式。使模糊语句清晰化,如“偏向”、“大半是”等等。 表示为:,第4章 计算智能模糊计算,92,4.2.5.3 模糊逻辑语言,P为判定算子,是定义于0,1区间上的实函数。当 时, 表示倾向。 表示在 的作用下,由一个幂集 转到另一个幂集 。,第4章 计算智能模糊计算,93,4.2.5.3 模糊逻辑语言,例: 年轻 年轻( )=倾向年轻。 表示为电压倾向于(基本)正常。可写成:,第4章 计算智能模糊计算,94,4.2.5.3 模糊逻辑语言,语言值的四则运算
36、语言用符号表示后,均可以成为实数域R或其子集为论域的一个子集,从而可以计算。 符号表示 在论域X=1,2,9,10上,定义以下语言:,第4章 计算智能模糊计算,95,4.2.5.3 模糊逻辑语言,第4章 计算智能模糊计算,96,4.2.5.3 模糊逻辑语言,模糊数的四则运算 将语言当成模糊数,而模糊数可进行四则运算,运算结果仍是模糊数。 设有两个模糊数x,y,则 也是模糊数,且,第4章 计算智能模糊计算,97,4.2.5.3 模糊逻辑语言,第4章 计算智能模糊计算,98,4.2.5.3 模糊逻辑语言,模糊语言变量 语言变量是指以自然或人工语言中的“字”或“句”作为变量。 语言变量取为模糊集合时
37、,则成为模糊语言变量。 模糊语言变量与模糊变量相比较,是一个级别更高的变量,它有句法规则和语义规则。 前述模糊逻辑函数 的 即为模糊变量,或称为“字”。,第4章 计算智能模糊计算,99,4.2.5.3 模糊逻辑语言,一个完整的模糊语言变量可定义为一个五元体(五维组),可简写为: 语言变量名称x 语言变量语言值名称的集合T(x) 论域U 语言规则G:说明一个完整的语句形式; 语义规则M:说明语句所在论域的范围。,第4章 计算智能模糊计算,100,4.2.5.3 模糊逻辑语言,模糊控制中最常用到的误差语句,第4章 计算智能模糊计算,101,101,4.1.5.4 模糊推理,1. 概述 概念:利用已
38、知模糊逻辑与模糊语言知识,可对事件进行判断推理,这种推理即为模糊推理。 判断概念:指被研究对象具有或不具有某种属性,判断的结果为肯定(T)或否定(F)。 推理方式及分类 对各种事物进行分析、综合,最后做出决策时,通常是从已知事实,条件知识出发,通过运用已掌握的知识,找出其中蕴含的事实,或归纳出新的事实,也就是前述的推理。 推理是按某种策略由已知判断推出另一判断的思维过程。,第4章 计算智能模糊计算,102,102,4.1.5.4 模糊推理,(1)方式:演绎、归纳、默认 演绎推理 从全称判断(大前提)推导出特殊判断的过程,即由一般知识推出适合于某一具体情况的结论。 最常用为三段式。 演绎过程不产
39、生新知识,结论不会与已知前提矛盾。 归纳 从足够多的事例中,归纳出一般性结论,归纳又可分为: 完全归纳:必然性推理,较困难。 不完全归纳:非必然性推理。 例:A的各门课程均是优良-A是优秀生(完全归纳) A的大多数课程是优良-A是优秀生(不完全归纳) 产品通过抽检确定产品的性能,等级(不完全归纳) 归纳产生新知识。,第4章 计算智能模糊计算,103,103,4.1.5.4 模糊推理,默认(缺省) 在知识不完全的情况下,假设某些条件已经具备所进行的推理。 如:A条件已成立,又没有足够条件说明B条件不成立,则默认B条件也成立,并可在此条件下推理。 若推理过程中,某一刻发现默认不正确,则取消该默认,
40、重新按新情况进行推理。 默认的定义式表述为:当且仅当没有新事实证明A不成立时,B总是成立。 例:A是研究生,则A的大学本科成绩良好,且已过CET4级(默认)。,第4章 计算智能模糊计算,104,104,4.1.5.4 模糊推理,(2)分类 第一种划分 确定性分类(清晰逻辑) 不确定性分类 概率 模糊 第二种划分 单调推理:推理过程至结论呈单调增加的方式 非单调推理:推理过程至结论呈非单调增加的方式,多用在知识不完全的情况下(如新知识加入,发现原来假设不正确,于是又删除、增加知识等),前述默认推理是一种非单调推理。,第4章 计算智能模糊计算,105,105,4.1.5.4 模糊推理,第三种划分
41、启发式: 启发性知识:指与推理有关,能加快推理求解进程或求得最优解的知识。 如:评选三好生时,差生、违纪生先被淘汰。 非启发式 其他划分 基于知识的推理 基于统计的推理 基于直觉的推理,第4章 计算智能模糊计算,106,106,4.1.5.4 模糊推理,2. 演绎推理 演绎推理是一种经典逻辑推理。作为不确定性推理的模糊逻辑推理是直接由经典逻辑的演绎推理延伸而来的,故以下先介绍清晰逻辑的演绎推理,之后再阐述模糊逻辑的演绎推理。一般分为: 归结演绎 与/或演绎 自然演绎,第4章 计算智能模糊计算,107,107,4.1.5.4 模糊推理,(1)分类 归结演绎 对前提A及结论B,证明AB成立,这称为
42、证明AB永真。直接证明AB很困难。因为 ,故 。于是,归结演绎要证明AB成立,是采用证明 不满足来证明。整个证明过程是从归结原理为依据(鲁宾逊归结原理),其证明过程是一个归结过程,故称为归结演绎。以上过程可称为一类“定理证明”的推理。,第4章 计算智能模糊计算,108,108,4.1.5.4 模糊推理,与/或演绎 与/或演绎也是“定理证明”的一种推理方法。它是将 写成与/或形式,即给出的问题只有“ ”“ ”关系表示成一些简单的词句(子句),并以树状结构来描述这一与/或关系(与/或树),之后,根据一定规则,通过与/或树,用“匹配”的概念推出求证的目标。 “匹配”指按一定的控制策略,从规则库选取规
43、则与数据库中的已知事实进行匹配比较,若一致或近似一致,则匹配成功。若匹配成功的规则不止一条,则用冲突裁决处理(如排序优先等等)。 与/或树实为将问题写成合取范式的一种树状表示。,第4章 计算智能模糊计算,109,109,4.1.5.4 模糊推理,2. 清晰逻辑的自然演绎 自然演绎一般以对一阶谓词给出问题,再给出推理。 (1)判断、判断句(一阶谓词公式) 一般的命题基本是判断句。定义式的写法为: 是一个清晰概念的一个词或一个词组。A是 的集合,于是又可以写成:,第4章 计算智能模糊计算,110,110,4.1.5.4 模糊推理,例:,第4章 计算智能模糊计算,111,111,4.1.5.4 模糊
44、推理,(2)推理、推理句 自然演绎的推理以推理句来表述。有几种推理句(方法):假言推理、拒取式推理、直言演绎推理等,最常用的是三段论式推理。 假言推理 直接运用经典逻辑的推理规则推出结论的过程。即从命题A的真假,由蕴含AB推断B的真假。可写成:,第4章 计算智能模糊计算,112,112,4.1.5.4 模糊推理,即由AB以及A为真,推断出B为真。 例:输电线L的保护动作为A,线路故障为B;若线路的保护动作,则说明线路故障为AB;现有 (A为真),即保护动作,说明线路故障,即,第4章 计算智能模糊计算,113,113,4.1.5.4 模糊推理,拒取式推理 拒取式推理是指由AB为真而B为假,则推出
45、A为假。其一般形式为: 例:若天下雨(A),则地上湿(B),现地上不湿( )故天未下雨( )。 若肯定B,并不能因此肯定A,即地上湿(B为T),并不一定说明天下雨(A不一定为真)。,第4章 计算智能模糊计算,114,114,4.1.5.4 模糊推理,直言演绎推理 其推理是对应下面这种形式:若 是 (前件),则 是 (后件)。这称为一个定理,写成 。 例:在论域 中,若 是1,则 是小,写成 。与拒取式类似,若后件 为真不一定表示前件 为真。对应上例,若 为小,则 为1就不一定成立!,第4章 计算智能模糊计算,115,115,4.1.5.4 模糊推理,例:若 是研究生,则 是学生,这是全真,而
46、是学生,则 是研究生这一直言推理就不一定成立。 以子集形式,可写成 。 而 。则上例的直言演绎推理可以表示为: 不是研究生但是学生。用文字表示上例: 研究生(x)学生(x) 研究生(x) 学生(x),第4章 计算智能模糊计算,116,116,4.1.5.4 模糊推理,三段论式推理(最常用的演绎推理) 该推理是指:以一般原则(第一判断)为大前提,特定条件为小前提,由此作出结论的推理。其形式为: 恒真 即: 大前提 有 对 为真 有: 小前提 则 对 为真 则 结 论,第4章 计算智能模糊计算,117,117,4.1.5.4 模糊推理,三段论式的叙述可以说成是:因为所以;现因此。 上述三段式是从直
47、言推理形式为大前提,还可用假言推理作大前提,小前提是直言判断句(令有),由此推出结论(故)。形式如下:,第4章 计算智能模糊计算,假言(大前提),直言判断(小前提),结论,118,118,4.1.5.4 模糊推理,标准的三段论式还可写成下面的形式:,第4章 计算智能模糊计算,119,119,4.1.5.4 模糊推理,3. 模糊判断句与模糊推理句 当前述清晰判断、推理语句的真假用隶属度来说明时,则成为模糊判断句及推理。此时,不是恒真,恒假,而是“真”的程度。,第4章 计算智能模糊计算,120,120,4.1.5.4 模糊推理,(1) 模糊推理句 模糊推理句的形式与清晰语句是相似的,但推理结论得到
48、的是“真”的程度。例如用直言推理表示的例子:若今天( )下雨( ),则今天比较凉快( ),其语句仍是 ,但“比较凉快”是模糊的,应以隶属函数来说明。,第4章 计算智能模糊计算,121,121,4.1.5.4 模糊推理,(2) 模糊推理句真值的定义 第一种定义(常用): 对 的真值为 : 如前述,模糊推理句真值就是隶属函数。故有 。当已知 、 的隶属度曲线,可求出推理句的真值曲线。,第4章 计算智能模糊计算,122,122,4.1.5.4 模糊推理,第二种定义 : 即:若A则(且)B,否则不是A。 不论 或 的真值定义,当 时,称 偏真,当 时则为偏假。 和 均是单个论域中的推理句。,第4章 计
49、算智能模糊计算,123,123,4.1.5.4 模糊推理,下面给出相同的A、B对应不同定义真值的图形:,第4章 计算智能模糊计算,124,124,4.1.5.4 模糊推理,(3)模糊判断句 模糊判断句实际就是判断句(陈述句)的模糊化。前述的 、 均为模糊判断句。,第4章 计算智能模糊计算,125,125,4.1.5.4 模糊推理,4. 模糊推理及复杂模糊推理句 上一给出的是单论域(X)中的推理句。 均在X域,即,前提条件与结论均在同一论域。实际中,复杂语言的推理句很多时候是条件在一个论域,结论在另一个论域(X,Y)。此时,进行模糊推理要应用模糊关系来表示模糊条件句,推理与判断过程则转化为对隶属
50、函数的合成( )及其演算。,第4章 计算智能模糊计算,126,4.1.5.4 模糊推理,(1)近似推理(似然推理) 这是一种假言推理,与清晰推理中的假言推理(三段式推理)是相同的。,第4章 计算智能模糊计算,127,4.1.5.4 模糊推理,广义取式推理(肯定前提) 前提1: 前提2: 结论:,第4章 计算智能模糊计算,假言推理 大前提,直言推理 小前提,其中A,A,B和B均为模糊集合,x和y为语言变量。,128,4.1.5.4 模糊推理,广义拒式推理(肯定结论) 前提1: 前提2: 结论:,第4章 计算智能模糊计算,假言推理 大前提,直言推理 小前提,其中A,A,B和B均为模糊集合,x和y为
51、语言变量。,129,4.1.5.4 模糊推理,模糊蕴涵 设A和B分别为定义在U和V上的模糊集合,则由 所表示的模糊蕴涵是定义在 上的一个特殊的模糊关系,其隶属函数定义如下: 模糊与 模糊或 实质蕴涵 命题演算,第4章 计算智能模糊计算,130,4.1.5.4 模糊推理,广义取式推理 广义拒式推理,第4章 计算智能模糊计算,一个模糊蕴涵可以理解为这样一条“IFthen”规则:If x is A,then y is B,其中 ,x,y均为语言变量 。 式对应于六种“Ifthen”规则的表达式,而这些模糊规则是从直观推理准则和经典逻辑概念推广而来的。,131,4.1.5.4 模糊推理,结论的求取与单
52、域(X)的求取式不相同。 对于此处的“若A则B”的隶属函数定义为:,第4章 计算智能模糊计算,例:设,有,较,132,4.1.5.4 模糊推理,问题:若x小则y大,现x较小,则y=?,第4章 计算智能模糊计算,则,133,4.1.5.4 模糊推理,R阵的元素求法如下:,第4章 计算智能模糊计算,现x为较小,求B1:A1为较小。,134,4.1.5.4 模糊推理,按“先小后大”规则:,第4章 计算智能模糊计算,是一个“较大”的概念,故得:,较,135,这是一个 (直积)上的模糊关系R。,4.1.5.4 模糊推理,(2) 模糊条件推理句 这是应用较广的推理语句,其句型为:若a则b或不是a则c,表达
53、式为:,第4章 计算智能模糊计算,命题形式为:,136,当有小前提A1,则有结论:,4.1.5.4 模糊推理,R上的元素为:,第4章 计算智能模糊计算,137,例:一模糊控制炉温过程,控制规则是:如果炉温(x)低(A),则外加电压(y)应高(B)。否则(即如果炉温不低)则电压不很高(C)。现状态是:如果炉温很低(A1),外加电压应如何调节(B1)。 解:设调控的电压范围取离散值为340V,360V,380V,400V,420V;调控温度为96、98 、100 、102 、104 。,4.1.5.4 模糊推理,第4章 计算智能模糊计算,为炉温,,为电压。,138,分别对应上述炉温和电压。,4.1
54、.5.4 模糊推理,论域为:,第4章 计算智能模糊计算,(1)设定:,炉温低,外加电压高,炉温不低,139,4.1.5.4 模糊推理,第4章 计算智能模糊计算,电压不很高,炉温很低,140,4.1.5.4 模糊推理,第4章 计算智能模糊计算,即(温度低电压高)+(温度不低电压不很高),则,对应所给的例题中已知值,可以得到R如下:,(2)模糊关系R如下面表示:,141,4.1.5.4 模糊推理,(2)模糊关系R如下面表示:,第4章 计算智能模糊计算,142,4.1.5.4 模糊推理,以上 求取过程为:,第4章 计算智能模糊计算,143,4.1.5.4 模糊推理,(3)现炉温很低 则应有电压 其中
55、:,第4章 计算智能模糊计算,先小后大,电压很高,否则,144,4.1.5.4 模糊推理,当实际问题条件更多时,设有: 则模糊关系R为: 当输入为 时,有 此时设有 ,因为这一条件已由下式取代。,第4章 计算智能模糊计算,145,4.1.8 模糊推理,当实际问题条件更多时,设有: 则模糊关系R为: 当输入为 时,有 此时设有 ,因为这一条件已由下式取代。,第4章 计算智能模糊计算,146,4.1.8 模糊控制原理概论,自控系统为实现良好的控制,总是要建立受控对象的数学模型后,据此来确定控制器的控制规律。当被控对象难以建立精确的数学模型时,可以利用系统的输入输出实测数据建立“统计模型”。但有时这
56、种模型难以保证其正确性,且往往含有未知或模糊性因素。 此外,还有根据系统的主要因素及相关性来建立“逻辑模型”,而相关性只能以“有”或“无”来说明。有时,还带有主观性。对于复杂系统难以建立良好模型。,第4章 计算智能模糊计算,147,4.1.8.1 概述,而以模糊集合为基础的“模糊模型”先承认系统的模糊性,再以在模糊关系下建立的控制规律来实现控制,往往能得到良好的控制效果。 实际上,当一个控制系统以人工方式进行控制时,操作人员已自觉不自觉地在以模糊逻辑推理方式在工作。,第4章 计算智能模糊计算,148,4.1.8.1 概述,模糊控制系统的组成及控制过程描述 (1)模糊控制系统是一个计算机控制系统
57、。对于一个单入单出系统,其结构框图及模糊控制器内部结构框图如下图所示。,第4章 计算智能模糊计算,149,4.1.8.1 概述,第4章 计算智能模糊计算,150,4.1.8.1 概述,(2)输入控制器的误差信号E是一个确定性信号,故应转成模糊信号 供控制器用。控制规则是根据被控对象特点人为拟制的,它表现为一个模糊关系 ,即推理条件语句中的大前提。在实际输入为 时,得到控制器的模糊输出 ,经清晰化(非模糊化或称为去模糊化)后,送到D/A,完成模糊控制器的控制功能。,第4章 计算智能模糊计算,151,4.1.8 模糊控制原理概论,其中模糊化推理(即 )及R的给定,去模糊化处理各环节的设定均会影响控制效果。,第4章 计算智能模糊计算,152,4.1.8.1 概述,2. 误差及控制量的模糊化说明 “误差”这一模糊语言,可根据实际控制系统的要求,划分为五档、七档或更多。即将实际的 模糊化为分级(离散)的 ,例如为PB、PM、PS、Z、NS、NM、NB,对应论域可为-6,6或-3,3等等。而设定的 的隶属度赋值表或其曲线可以有多种形式与可能。例如,下面分别为三角形曲线与钟形曲线,给出的 各不相同(以 为五档来说明)。,第4章 计算智能模糊计算,153,第4章 计算智能模糊计算,15
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 船舶动力装置专业知识与实践技能试题及答案
- Bz-VGR-AMC-生命科学试剂-MCE
- BTK-IN-21-生命科学试剂-MCE
- Boc-pyrrolidine-cyclopentanamine-生命科学试剂-MCE
- 纺织染色机操作工岗前基础操作考核试卷含答案
- 电气设备点检员岗前全能考核试卷含答案
- 高炉炼铁工岗前基础实操考核试卷含答案
- 模铸工安全知识竞赛评优考核试卷含答案
- 广告合规审查员岗前生产安全培训考核试卷含答案
- 不锈钢真空容器制作工创新意识知识考核试卷含答案
- 中国哲学史马工程课件
- 南方航空民航飞行员招飞心理测试题及答案
- 《血小板异常概述》课件
- 中国农业历史文化知到课后答案智慧树章节测试答案2025年春西北农林科技大学
- 《城市轨道交通牵引变电所运行与维护》 课件 03 供电设备维护
- 大学生春季传染病预防知识
- 【心理课件】打破思维定势
- 工程项目送检验收方案
- 《植物生产与环境》考试复习题库
- 国家职业技术技能标准 4-04-05-05 人工智能训练师 人社厅发202181号
- 二手餐饮设备回收合同范本
评论
0/150
提交评论