《人工智能(模糊算法)18733347.pptx》由会员分享,可在线阅读,更多相关《人工智能(模糊算法)18733347.pptx(187页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、人工智能及其应用贵州大学电气工程学院熊炜2 2第四章 模糊计算n4.1 人工智能研究背景n4.2 模糊计算q4.2.1 模糊数学概论 q4.2.2 模糊变换与模糊集合q4.2.3 隶属函数q4.2.4 模糊矩阵与模糊关系q4.2.5 模糊推理q4.2.6 模糊逻辑语言人工智能及应用第4章 计算智能3 34.1 人工智能研究背景n学科交叉是当前研究领域的一个重要特征 q信息科学与生命科学的相互交叉、相互渗透和相互促进是现代科学技术发展的一个显著特点。n计算智能是学科交叉研究过程中出现的一个重要 研究方向 q计算智能涉及神经网络、模糊逻辑、进化计算和人工生命等领域,它的研究和发展正反映了当代科学技
2、术多学科交叉与集成的重要发展趋势。第4章 计算智能概述4 4什么是计算智能n神经网络(NN)与人工智能(AI)q把神经网络归类于人工智能可能不大合适,而归类于计算智能(CI)更能说明问题实质。进化计算、人工生命和模糊逻辑系统的某些课题,也都归类于计算智能。n计算智能与人工智能 q计算智能取决于制造者(manufacturers)提供的数值数据,不依赖于知识;q人工智能应用知识精品(knowledge tidbits),故此,一种说法是人工神经网络应当称为计算神经网络。第4章 计算智能概述5 5计算智能与人工智能的区别和关系第4章 计算智能概述6 6第4章 计算智能概述计算智能与人工智能的区别和
3、关系nAArtificial,即人工的(非生物的)nBBiological,即物理的化学的(?)生物的 nCComputational,表示数学计算机 n计算智能是一种智力方式的低层认知,它与人工智能的区别只是认知层次从中层下降至低层而已。中层系统含有知识(精品),低层系统则没有。7 7计算智能与人工智能的区别和关系n当一个系统只涉及数值(低层)数据,含有模式识别部分,不应用人工智能意义上的知识,而且能够呈现出:(1)计算适应性;(2)计算容错性;(3)接近人的速度;(4)误差率与人相近,则该系统就是计算智能系统。n当一个智能计算系统以非数值方式加上知识(精品)值,即成为人工智能系统。第4章
4、计算智能概述84.2 模糊计算n模糊数学是用数学方法研究和处理具有“模糊性模糊性”现象的数学。“模糊性”主要是指客观事物差异的中间过渡的“不分明性”,例如“高与矮”、“干净与脏”、“美与丑”、“冷与热”等等,都难以明确的划定界限。n模糊数学不是让数学变成模糊的概念,其关键在于如关键在于如何寻求适当的数学语言来描述事物的模糊性何寻求适当的数学语言来描述事物的模糊性。n必备知识q集合论q数理逻辑的命题演算q用布尔函数的观点将集合和命题演算统一起来。第4章 计算智能模糊计算94.2 模糊计算n随机性与模糊性q随机性n在事物的出现与否上表现的不确定性n用在0,1上取值的概率分布函数说明随机性,用统计数
5、学研究随机性事件nAI中,研究方法有:q主观贝叶斯法:if EP(E)then(LS,LN)HP(H)即在E为概率P(E)的条件下,具有一定充分性和必要性条件时推理得到H的概率为P(H)。q可信度法:if E then H(CF(H,E)即由E推理得到H的可信度为CF(H,E)。第4章 计算智能模糊计算104.2 模糊计算q模糊性n被研究事件的概念本身是模糊的,这种由概念的模糊而形成的不确定称为模糊性。n用在0,1上取值的隶属函数说明模糊性。q结论n随机性:对确定性事件作不充分的估计对确定性事件作不充分的估计-概率n模糊性:对不确定性事件作确定性程度的描述对不确定性事件作确定性程度的描述-隶属
6、函数例:明日气温是15的概率为0.1 明日是较暖和气温的可能性为0.1(隶属函数)电压是220V的概率为0.95 电压是合格的可能性为0.95(隶属函数)第4章 计算智能模糊计算114.2.1 模糊数学概论1.模糊数学起源q以Zadeh于1965后提出的模糊集合概念为基础。q模糊子集n用经典数学处理模糊性现象的集合,采用0.1闭区间和映射的方法q确定性与模糊性的联系分解定理n任意一个表述模糊现象的模糊子集都可分解为连续数的经典子集的并(或)集,反之,一组满足一定条件的连续数的经典子集,可以表现为一个模糊子集。n具有一定条件的确定性现象可以表现为模糊性现象,或模具有一定条件的确定性现象可以表现为
7、模糊性现象,或模糊性现象可以分解为确定性现象。糊性现象可以分解为确定性现象。第4章 计算智能模糊计算124.2.1 模糊数学概论qZadeh的模糊子集论不是唯一的处理模糊性现象的数学方法,但它开创了应用经典数学处理模糊性问题的先河,并使模糊集合论及应用取得较大成果。它是应用经典数学方法处理一类最基本、简单的模糊性现象的理论和方法。第4章 计算智能模糊计算134.2.1 模糊数学概论2.模糊性分类q模糊性是人类认识事物的认知过程产生的对事物的客观关系和客观特征,它并不是客观事物固有的内在属性。q这一客观关系和客观特征是人对客观事物认知的思维特征,带有主观性,但反映的事物是客观的。故这种认知特征具
8、有不确定性。第4章 计算智能模糊计算144.2.1 模糊数学概论(1)狭义模糊性q在高维空间是确定性的概念(如X气温、XV电压)降低到低维空间处理时,在低维空间出现模糊性,这种模糊性是确定性概念外延引起的,它代表事物“高维”边界形态在“低维”时的不确定性。q具有以下特征和问题n可处理一类特殊的模糊化的确定性问题,本质上属于经典数学的范畴n需要探讨能否建立统一的数学与逻辑方法统一的狭义模糊数学n一定条件下狭义模糊性问题可变换变换为高层次模糊性问题第4章 计算智能模糊计算154.2.1 模糊数学概论(2)一般模糊性q它反映了一般概念性事物呈现的模糊性(如年轻、年老),即反映了具体事物和抽象事物的模
9、糊性。q具体事物的模糊性即概念外延(气温、电压)-狭义模糊性,而抽象事物的模糊性为概念内涵。q在一定条件下,可变换为狭义模糊性问题或更高层次的模糊性问题。第4章 计算智能模糊计算164.2.1 模糊数学概论(3)广义模糊性q“可表达思维”(如小康)中存在的模糊性。q可表达思维存在着概念性思维和非概念性思维,由此而形成相应的知识与信息。故广义模糊性包括一般模糊性。q以文字为例,各类词组、句子都是可表达性思绪的知识和信息的基本内容与方式,其中存在模糊性时,即为广义模糊性。q目前尚无广义模糊数学。第4章 计算智能模糊计算174.2.1 模糊数学概论(4)泛模糊性q意象思维中的模糊性,即抽象思维的模糊
10、性,如和谐、可爱等等。q目前尚无相应的数学方法。第4章 计算智能模糊计算184.2.2 模糊变换与模糊集合1.模糊变量q事物的模糊性以知识表述,而知识又以数学的变量来说明事物本身的概念。q模糊变量是指清晰变量的模糊化。例如“电压U”是通常意义下的变量,而“较低电压”则为一个模糊变量。q用隶属函数说明其模糊性。第4章 计算智能模糊计算194.2.2 模糊变换与模糊集合2.模糊集合q普通集合(即清晰集合)指具有某种确定性质,彼此可以区别的事物的总体。q清晰集合中,一个事物只能是属于(是)或不属于(假)某一集合,即为集合A的特征函数第4章 计算智能模糊计算204.2.2 模糊变换与模糊集合q模糊集合
11、定义:n给定论域X中有子集F,是X的模糊集合。X到0,1的任一映射为 ,模糊集合F定义为:n物理意义:论域X中的元素 对集合F有隶属函数在0,1闭区间时,这些 组成了模糊集合F,故F也称为模糊子集,由 表征。n如X为年龄,则X可在0150,而F=年轻则是X的一个子集。或为X在0,1区间的映射,称为隶属函数。第4章 计算智能模糊计算214.2.2 模糊变换与模糊集合3.模糊集合的表达方式论域X可能有两种形式,其表现模糊集合的形式不一样:qX为离散有限域 时,F的表示方法有nZadeh表示法 例:第4章 计算智能模糊计算224.2.2 模糊变换与模糊集合n序偶表示法序偶是清晰集合的概念,表示两个元
12、素的集合,其顺顺序不能改变序不能改变,即用序偶表示模糊集合有:n向量表示法将F视为向量,X的元素均应计入,顺序不能改变顺序不能改变,则第4章 计算智能模糊计算234.2.2 模糊变换与模糊集合qX为连续有限域例:年龄不表示积分,而表示论域X为连续域第4章 计算智能模糊计算244.2.2 模糊变换与模糊集合4.关于模糊集合的几个基本定义n台(support)集合(模糊支集)q子集F中,的元素称为台q台集合即是这些台元素的集合。q如 的台集合为第4章 计算智能模糊计算254.2.2 模糊变换与模糊集合n正则(normal)模糊集合q若有 则称为正则模糊集合。q如 、均为正则模糊集合。第4章 计算智
13、能模糊计算264.2.2 模糊变换与模糊集合n凸模糊集合q若有 ,则称为凸模糊集合。第4章 计算智能模糊计算274.2.2 模糊变换与模糊集合n单点模糊集合q若X中,F的台集合仅为一个点,且该点的 ,则称F为单点模糊集合。n核q台集合的最大值对应区第4章 计算智能模糊计算284.2.2 模糊变换与模糊集合5.模糊集运算n定义n基本运算q逻辑运算q基本代数运算q模糊集合逻辑运算的基本性质第4章 计算智能模糊计算4.2.2 模糊变换与模糊集合n运算q交集:设A和B是U上的两个模糊集合,则对所有的 ,A和B的交集是定义在U上的一个模糊集合,其隶属函数定义如下:q并集:A和B的并集是定义 在U上的一个
14、模糊集合,其隶属函数定义如下:q补集:A的补集 是定义 在U上的一个模糊集合,其隶属函数定义如下:29第4章 计算智能模糊计算4.2.2 模糊变换与模糊集合q映射 若满足条件,则:30第4章 计算智能模糊计算三角模三角模T三角模三角模S4.2.2 模糊变换与模糊集合q常见的三角模T与三角模S31第4章 计算智能模糊计算三角模三角模T三角模三角模S模糊交模糊并代数乘代数和有界乘有界和直积直和324.2.2 模糊变换与模糊集合6.截(割)集及分解定理(1)截集n定义:第4章 计算智能模糊计算334.2.2 模糊变换与模糊集合n性质q q q 第4章 计算智能模糊计算344.2.2 模糊变换与模糊集
15、合(2)分解定理(分解原理)n联系模糊集合与清晰集合的一个桥梁n若有模糊集 ,是A的一个截集,则有下列分解式成立:第4章 计算智能模糊计算分解定理:U为组合也是论域X上的一个模糊子集。354.2.2 模糊变换与模糊集合例:,并有第4章 计算智能模糊计算则364.2.2 模糊变换与模糊集合利用分解定理,将截集组合还原为模糊集,以上例所得结果为例:第4章 计算智能模糊计算374.2.2 模糊变换与模糊集合7.扩展原理(扩展定理)n设X和Y为两个论域,f是从X到Y的一个映射,对U上的模糊集合A,扩张原理由下式在Y上定义一个模糊集合B:即对 ,是 的上界,因此,式中 ,且设 非空。当 对某些 为空集时
16、,设 。第4章 计算智能模糊计算384.2.2 模糊变换与模糊集合n扩展是一个映射关系,其实质是一个恒等关系。n设f是论域X到Y的一个映射,写成:nA是论域X的一个模糊子集,根据扩展原理有:表示一个新映射,而前面的f是一个清晰映射。n整个扩展原理为:即X的幂集 映射成Y的幂集第4章 计算智能模糊计算39若 为平方关系,即4.2.2 模糊变换与模糊集合例:则由A映射到。作为一般概念,为:即由A扩展到则第4章 计算智能模糊计算404.2.2 模糊变换与模糊集合设则第4章 计算智能模糊计算414.2.3 隶属函数n模糊计算是以模糊集理论为基础的计算q模拟人脑非精确、非线性的信息处理能力q模糊集合模糊
17、集合(Fuzzy Sets)n论域U到0,1 区间的任一映射 ,即 ,都确定U的一个模糊子集F;称为F的隶属函数或隶属度。在论域U中,可把模糊子集表示为元素u与其隶属函数 的序偶集合,记为:q模糊支集、交叉点及模糊单点n若模糊集是论域U中所有满足中 的元素u构成的集合,则称该集合为模糊集F的支集。n当u满足 ,称为交叉点。n当模糊支集为U中一个单独点,且u满足 则称模糊集为模糊单点。第4章 计算智能模糊计算424.2.4 模糊矩阵与模糊关系n模糊关系q是模糊集合进入应用的重要基本概念。q描述模糊集合的元素与元素之间或此集合与彼集合的元素关系。q当论域X为有限域时,用模糊矩阵表示模糊关系。第4章
18、 计算智能模糊计算43434.2.4.1 模糊矩阵n定义q一般提法一般提法:用矩阵形式来表示两个模糊集合的元素之间或模糊集合中各元素之间的关系,此矩阵即为模糊矩阵。矩阵元素为 ,i为行,j为列。q正规提法正规提法:当有模糊集合 ,有 ,则称 为模糊矩阵。为 对于关系r的隶属度。第4章 计算智能模糊计算44444.2.4.1 模糊矩阵n模糊矩阵的截矩阵设 ,对于任意 q定义:,则 称为R的截矩阵。q性质:当 对任意 ,有第4章 计算智能模糊计算45454.2.4.1 模糊矩阵例:第4章 计算智能模糊计算则:46464.2.4.2 模糊关系n概念设有集合 ,问:该集合中“小于”,“小得多”两个关系
19、。第4章 计算智能模糊计算(清晰)(清晰)(模糊)(模糊)矩阵元素474.2.4.2 模糊关系q模糊关系是普通关系的拓宽。例:身高 与体重的“正常”关系R为:第4章 计算智能模糊计算484.2.4.2 模糊关系n定义q模糊关系是两个非空模糊集合X、Y的直积(叉乘)中的一个模糊子集。q设X和Y是两个论域,模糊关系R是积空间 上的一个模糊集合,即当 的隶属函数为 。第4章 计算智能模糊计算R的元素:表示 对 这一关系的隶属度。如y比x大得多这一关系:494.2.4.2 模糊关系n当用有限连续域表示时,模糊关系qy比x大得多()qx比y大致相同qy比x小得多第4章 计算智能模糊计算50n模糊关系的合
20、成与性质q合成关系两个模糊关系的合成构成一个新的模糊关系。如:普通关系合成:叔侄=(兄弟o父子),师生=(教师o学生)。具体地:n定义:设P是 上的一个模糊关系,Q是 上的一个模糊关系。R与S是 上的两个模糊关系。4.2.4.2 模糊关系第4章 计算智能模糊计算514.2.4.2 模糊关系有两种定义合成关系:1)是P与Q的合成:2)也是P与Q的合成:有:第4章 计算智能模糊计算先小后大先小后大先大后小先大后小524.2.4.2 模糊关系以上关系也可表述为:则:第4章 计算智能模糊计算534.2.4.2 模糊关系q性质n n n 当两个关系不能用模糊矩阵表示,仍可以进行合成,也遵守最小最大原则。
21、n 合成关系的转置第4章 计算智能模糊计算544.2.4.2 模糊关系第4章 计算智能模糊计算554.2.4.2 模糊关系第4章 计算智能模糊计算564.2.4.2 模糊关系n特殊性质 自返性一个模糊关系 ,若对于 ,当 X=Y时,都有 ,则称R为自返性的模糊关系。即 表明每个元素x与自身从属关系程度为1,若 ,则称R为反自返性。第4章 计算智能模糊计算574.2.4.2 模糊关系当R具有自返性时,有以下性质存在:q当R为自返,P是任意模糊关系,有q q 当R,S均为自返,则 也是自返。第4章 计算智能模糊计算584.2.4.2 模糊关系 对称性q对于R,若 ,均有 成立,则称R具有对称性。q
22、R具有对称性时,。qR,S对称时,也对称q 成立时,也对称。q若R既有自返性,又有对称性,则称R为模糊相容关系。第4章 计算智能模糊计算594.2.4.2 模糊关系 传递性q设 ,若 ,均有则称R具有传递性。如“大得多”,“小得多”均具有此特性。q当R,S具有传递性时,且 成立,则也具有传递性。qR,S具有传递性时,也是传递的,但 不一定是传递的。q若R既有自返性,又有对称性与传递性时,则称R为类似关系。第4章 计算智能模糊计算604.2.4.2 模糊关系 对比性q若R是 中一个模糊关系,且满足 时,则称R具有对比性。第4章 计算智能模糊计算61614.2.5 模糊逻辑推理n模糊集合论的应用(
23、控制、辨识等)是基于“专家知识”采用语言规则(模糊逻辑语言)表示的一种人工智能。n模糊逻辑语言是表述模糊知识,而模糊知识的推理是指运用已掌握的(模糊)知识,找出其中蕴含的事实,或归纳出新的事实。这一过程通常就称推理推理,而模糊知识的表述则建立在模糊逻辑概念上。第4章 计算智能模糊计算62624.2.5.1 模糊命题与模糊逻辑1.模糊命题 q概念模糊的陈述句。如(“”表示模糊命题)n例如:他很年轻;:电压偏高q模糊命题的真值不能用“T”或“F”来说明。相对于二值逻辑命题,模糊命题有以下特点:n 的真值为 ,用来说明模糊命题的真假程度。即 是隶属函数,它可以是连续的,也可是多值的。如“电压偏高”=
24、,对于市电可以是220V240V范围()。第4章 计算智能模糊计算63634.2.5.1 模糊命题与模糊逻辑n当一个模糊命题 的 只为1或0,则该命题变为清晰命题。因此可以认为清晰命题A是模糊命题 的特例。n模糊命题的一般形式写为:,P是对应于模糊命题 所指的这一模糊概念所对应的论域X中的一个模糊子集()。X是 中的元素(只要概念无误,常将模糊集的“”符号省略)。第4章 计算智能模糊计算64644.2.5.1 模糊命题与模糊逻辑n当有 ,若 有 ,且 ,则称 为 恒真命题;当 ,则为清晰恒真命题(类似于模糊集合的截集概念)。n模糊命题类似于二值逻辑命题,同样可以进行逻辑运算。第4章 计算智能模
25、糊计算65654.2.5.1 模糊命题与模糊逻辑2.模糊逻辑(以下在表述时省略 符号)q 模糊逻辑是建立于模糊集合和二值逻辑概念基础上的一类特殊的多值逻辑。q是二值逻辑的模糊化。n二值逻辑是阈值逻辑n模糊逻辑是0,1的连续值逻辑第4章 计算智能模糊计算664.2.5.1 模糊命题与模糊逻辑(1)摩根代数二值逻辑用布尔函数进行运算,而模糊逻辑用摩根代数软代数进行运算。q布尔代数、格一个集合L,若在其中定义了“”(析取)、“”(合取)两种运算,且具有以下性质,满足幂等律、结合律、交换律和吸收律,则称L是一个格格,且是完备格完备格,写成 。第4章 计算智能模糊计算674.2.5.1 模糊命题与模糊逻
26、辑若有:幂等律:交换律:结合律:吸收律:则有一个 。第4章 计算智能模糊计算68684.2.5.1 模糊命题与模糊逻辑n若L满足分配律,则称L是一个分配格分配格:n若完备格L具有最大元1和最小元0,满足 ,若有 ,则称y为x的一个补元补元,即 。第4章 计算智能模糊计算69694.2.5.1 模糊命题与模糊逻辑n具有补元的分配格称为有补分配格有补分配格。在有补分配格中进行的代数运算即为布尔代数,记为 ,又称为布尔格。在布尔格中,补元 是唯一的,且满足以下性质。还原律:互补律:对偶律(摩根定律):第4章 计算智能模糊计算70704.2.5.1 模糊命题与模糊逻辑q摩根代数(软代数)n若有补分配格
27、(布尔格)中,不满足互补律,其它逻辑运算不变,同时满足下述条件的称为摩根格。n摩根代数可用于模糊逻辑运算。第4章 计算智能模糊计算71714.2.5.1 模糊命题与模糊逻辑(2)模糊逻辑函数q模糊命题中,改变其真值(即 的大小)的变量 ,称为模糊变量模糊变量。q对 施以某种逻辑运算的数学关系则称为模模糊逻辑函数糊逻辑函数,这一运算用逻辑代数式表示,遵循软代数规则。第4章 计算智能模糊计算72724.2.5.1 模糊命题与模糊逻辑3.模糊逻辑公式(1)在数学意义上,模糊逻辑公式就是模糊逻辑函数通过代数运算关系的一种映射映射。设模糊变量集合为 ,定义映射F:上述 只表示是n个模糊变量组成的F映射,
28、结果仍在0,1范围内去确定其值为真(T)的程度。第4章 计算智能模糊计算73734.2.5.1 模糊命题与模糊逻辑为方便,模糊逻辑公式可简写成如下形式 ,全体f的集合为 。每个公式f都有一个运算结果,即真值,记为 。真值函数为:,即每个公式的结果映射到0,1。第4章 计算智能模糊计算74744.2.5.1 模糊命题与模糊逻辑(2)模糊逻辑公式的特点设 是模糊逻辑公式,则有n 也是模糊逻辑公式n如果 是公式,则 也是公式,且有以下关系成立:第4章 计算智能模糊计算75754.2.5.1 模糊命题与模糊逻辑n若有 ,则称 包含 ()n若 对于变量x所有的赋值都有 ,则称f为模糊恒真模糊恒真(相容相
29、容);反之,对所有赋值都有 ,则称 为模糊恒假模糊恒假(不相不相容容),真实的 可能是既不恒真也不恒假,或可以是恒真或恒假。第4章 计算智能模糊计算76764.2.5.2 模糊逻辑函数的范式n合取范式合取范式(CNF:conjunction Norms Function):任一模糊逻辑函数均可通过等价变换,使之成为先析取先析取后合取后合取的表达式。n析取范式析取范式(DNF:Disjunction Norms Function):任一模糊逻辑函数均可通过等价变换,使之成为先合先合取后析取取后析取的表达式。n这两种形式都是 的标准形式,在编程、设计线路或简化设计时十分有用。第4章 计算智能模糊计
30、算77774.2.5.2 模糊逻辑函数的范式设有 ,则有由于模糊变量x不是二值逻辑函数,故在求取范式时,不像二值逻辑函数方便。此时,只能分别令 为1和0时,确定f的值,列出其值表,再根据f为1时对应逻辑变量取“交”,作为析取范式的一项,将全部“交项”求并,即得到析取范式。第4章 计算智能模糊计算78784.2.5.2 模糊逻辑函数的范式例:模糊变量 有如下函数式,求范式。解:令求析取范式,由软代数性质可得:第4章 计算智能模糊计算79794.2.5.2 模糊逻辑函数的范式合取范式为:第4章 计算智能模糊计算80804.2.5.2 模糊逻辑函数的范式第4章 计算智能模糊计算x1x2x3f(x1,
31、x2,x3)00000010010001111000101111011111814.2.5.3 模糊逻辑语言n模糊控制中,知识用模糊逻辑语言表述。n模糊语言q分类n自然语言:具有模糊性n形式语言:二值逻辑语言,如计算机机语言q定义n凡含有模糊概念的语言均为模糊语言n用符号系统符号系统来描述。第4章 计算智能模糊计算824.2.5.3 模糊逻辑语言n语言变量:q可用一个五元组 来表征,其中x为变量名称;为x的术语集合,即x语言取值名称 的集合,其中x的每一个语言取值对应于一个在U上的模糊集合;U是论域,G为x语言取值的语法规则;M为解释x每个语言取值的语义规则。第4章 计算智能模糊计算834.2
32、.5.3 模糊逻辑语言q若一个变量能够用普通语言中的词(如小、大和快、慢等)来取值,则该变量就定义为语言变量。所用的词常常是模糊集合的标识词。一个语言变量的取值既可为词也可为数据。第4章 计算智能模糊计算844.2.5.3 模糊逻辑语言q表述形式n仿照集合概念,设“单词”的论域为X,“模糊的单词”只是X上的一个模糊子集A,单词通过“或”、“与”、“非”构成词组,如:q q 第4章 计算智能模糊计算854.2.5.3 模糊逻辑语言n模糊语言算子q在单词或词组前加上一些前缀词,可构成不同性质的词组,这些前缀称为语言算子,常用的算子有以下三种:n语气算子n模糊算子n判定化算子 第4章 计算智能模糊计
33、算864.2.5.3 模糊逻辑语言q语气算子n表达语言中对某一单词或词组的确定性程度,如“很”、“非常”、“十分”等等。n设A为论域X的一个模糊子集,即 则n 称为语气算子,为正实数,即相当于前述的“水平”。第4章 计算智能模糊计算874.2.5.3 模糊逻辑语言n 表现为强化(集中)作用,时起淡化(扩展)作用。n一般设定:nA是说明某事物的语句,加上 ,就可以运算(集中或扩展)。第4章 计算智能模糊计算884.2.5.3 模糊逻辑语言q模糊算子n使清晰概念的词或词组的词义模糊化,如“大概”、“近似”等等。n对已模糊的概念,加上模糊算子后,改变其模糊程度。n用F表示模糊算子,有 第4章 计算智
34、能模糊计算894.2.5.3 模糊逻辑语言n 为论域X上一个相似关系(大约关系),一般取为正态分布。如下图及关系式:第4章 计算智能模糊计算904.2.5.3 模糊逻辑语言nA是一个确定子集,如图示,在 时 ,加上模糊算子(实为 )后,在一个区间内,有“大约”的模糊程度。n 越大,则明显地模糊化程度也越大,如果原来已是模糊化的,改变 也改变其模糊程度。第4章 计算智能模糊计算914.2.5.3 模糊逻辑语言q判定化算子n对一个模糊集A,乘上一个判定算子,求出其“倾向性”。判定算子与模糊算子恰好是对耦形式。使模糊语句清晰化,如“偏向”、“大半是”等等。n表示为:第4章 计算智能模糊计算924.2
35、.5.3 模糊逻辑语言nP为判定算子,是定义于0,1区间上的实函数。当 时,表示倾向。n 表示在 的作用下,由一个幂集 转到另一个幂集 。第4章 计算智能模糊计算934.2.5.3 模糊逻辑语言例:年轻 年轻()=倾向年轻。表示为电压倾向于(基本)正常。可写成:第4章 计算智能模糊计算944.2.5.3 模糊逻辑语言n语言值的四则运算q语言用符号表示后,均可以成为实数域R或其子集为论域的一个子集,从而可以计算。q符号表示在论域X=1,2,9,10上,定义以下语言:第4章 计算智能模糊计算954.2.5.3 模糊逻辑语言第4章 计算智能模糊计算964.2.5.3 模糊逻辑语言q模糊数的四则运算n
36、将语言当成模糊数,而模糊数可进行四则运算,运算结果仍是模糊数。n设有两个模糊数x,y,则 也是模糊数,且第4章 计算智能模糊计算974.2.5.3 模糊逻辑语言第4章 计算智能模糊计算984.2.5.3 模糊逻辑语言n模糊语言变量q语言变量是指以自然或人工语言中的“字”或“句”作为变量。q语言变量取为模糊集合时,则成为模糊语言变量。q模糊语言变量与模糊变量相比较,是一个级别更高的变量,它有句法规则和语义规则。q前述模糊逻辑函数 的 即为模糊变量,或称为“字”。第4章 计算智能模糊计算994.2.5.3 模糊逻辑语言q一个完整的模糊语言变量可定义为一个五元体(五维组),可简写为:n语言变量名称x
37、n语言变量语言值名称的集合T(x)n论域Un语言规则G:说明一个完整的语句形式;n语义规则M:说明语句所在论域的范围。第4章 计算智能模糊计算1004.2.5.3 模糊逻辑语言n模糊控制中最常用到的误差语句第4章 计算智能模糊计算1011014.1.5.4 模糊推理1.概述n概念:利用已知模糊逻辑与模糊语言知识,可对事件进行判断推理,这种推理即为模糊推理。n判断概念:指被研究对象具有或不具有某种属性,判断的结果为肯定(T)或否定(F)。n推理方式及分类q对各种事物进行分析、综合,最后做出决策时,通常是从已知事实,条件知识出发,通过运用已掌握的知识,找出其中蕴含的事实,或归纳出新的事实,也就是前
38、述的推理。q推理是按某种策略由已知判断推出另一判断的思维过程按某种策略由已知判断推出另一判断的思维过程。第4章 计算智能模糊计算1021024.1.5.4 模糊推理(1)方式:演绎、归纳、默认q演绎推理n从全称判断(大前提)推导出特殊判断的过程,即由一般知识推出适合于某一具体情况的结论。n最常用为三段式。n演绎过程不产生新知识,结论不会与已知前提矛盾演绎过程不产生新知识,结论不会与已知前提矛盾。q归纳n从足够多的事例中,归纳出一般性结论,归纳又可分为:n完全归纳:必然性推理,较困难。n不完全归纳:非必然性推理。n例:A的各门课程均是优良-A是优秀生(完全归纳)A的大多数课程是优良-A是优秀生(
39、不完全归纳)产品通过抽检确定产品的性能,等级(不完全归纳)n归纳产生新知识归纳产生新知识。第4章 计算智能模糊计算1031034.1.5.4 模糊推理q默认(缺省)n在知识不完全的情况下,假设某些条件已经具备所进行的推理。n如:A条件已成立,又没有足够条件说明B条件不成立,则默认B条件也成立,并可在此条件下推理。n若推理过程中,某一刻发现默认不正确,则取消该默认,重新按新情况进行推理。n默认的定义式表述为:当且仅当没有新事实证明默认的定义式表述为:当且仅当没有新事实证明A不成不成立时,立时,B总是成立。总是成立。n例:A是研究生,则A的大学本科成绩良好,且已过CET4级(默认)。第4章 计算智
40、能模糊计算1041044.1.5.4 模糊推理(2)分类q第一种划分n确定性分类(清晰逻辑)n不确定性分类q概率q模糊q第二种划分n单调推理:推理过程至结论呈单调增加的方式n非单调推理:推理过程至结论呈非单调增加的方式,多用在知识不完全的情况下(如新知识加入,发现原来假设不正确,于是又删除、增加知识等),前述默认推理是一种非单调推理。第4章 计算智能模糊计算1051054.1.5.4 模糊推理q第三种划分n启发式:q启发性知识:指与推理有关,能加快推理求解进程或求得最优解的知识。q如:评选三好生时,差生、违纪生先被淘汰。n非启发式q其他划分n基于知识的推理n基于统计的推理n基于直觉的推理第4章
41、 计算智能模糊计算1061064.1.5.4 模糊推理2.演绎推理演绎推理是一种经典逻辑推理。作为不确定性推理的模糊逻辑推理是直接由经典逻辑的演绎推理延伸而来的,故以下先介绍清晰逻辑的演绎推理,之后再阐述模糊逻辑的演绎推理。一般分为:n归结演绎n与/或演绎n自然演绎 第4章 计算智能模糊计算1071074.1.5.4 模糊推理(1)分类n归结演绎对前提A及结论B,证明AB成立,这称为证明AB永真。直接证明AB很困难。因为 ,故 。于是,归结演绎要证明AB成立,是采用证明 不满足来证明。整个证明过程是从归结原理为依据(鲁宾逊归结原理),其证明过程是一个归结过程,故称为归结演绎。以上过程可称为一类
42、“定理证明”的推理。第4章 计算智能模糊计算1081084.1.5.4 模糊推理n与/或演绎与/或演绎也是“定理证明”的一种推理方法。它是将写成与/或形式,即给出的问题只有“”“”关系表示成一些简单的词句(子句),并以树状结构来描述这一与/或关系(与/或树),之后,根据一定规则,通过与/或树,用“匹配”的概念推出求证的目标。q“匹配匹配”指按一定的控制策略,从规则库选取规则与数据库中的已知事实进行匹配比较,若一致或近似一致,则匹配成功。若匹配成功的规则不止一条,则用冲突裁决处理(如排序优先等等)。q与与/或树或树实为将问题写成合取范式的一种树状表示。第4章 计算智能模糊计算1091094.1.
43、5.4 模糊推理2.清晰逻辑的自然演绎自然演绎一般以对一阶谓词给出问题,再给出推理。(1)判断、判断句(一阶谓词公式)q一般的命题基本是判断句。定义式的写法为:是一个清晰概念的一个词或一个词组。A是 的集合,于是又可以写成:第4章 计算智能模糊计算1101104.1.5.4 模糊推理例:第4章 计算智能模糊计算1111114.1.5.4 模糊推理(2)推理、推理句自然演绎的推理以推理句来表述。有几种推理句(方法):假言推理、拒取式推理、直言演绎推理等,最常用的是三段论式推理。q假言推理直接运用经典逻辑的推理规则推出结论的过程。即从命题A的真假,由蕴含AB推断B的真假。可写成:第4章 计算智能模
44、糊计算1121124.1.5.4 模糊推理即由AB以及A为真,推断出B为真。例:输电线L的保护动作为A,线路故障为B;若线路的保护动作,则说明线路故障为AB;现有 (A为真),即保护动作,说明线路故障,即第4章 计算智能模糊计算1131134.1.5.4 模糊推理q拒取式推理拒取式推理是指由AB为真而B为假,则推出A为假。其一般形式为:例:若天下雨(A),则地上湿(B),现地上不湿()故天未下雨()。若肯定B,并不能因此肯定A,即地上湿(B为T),并不一定说明天下雨(A不一定为真)。第4章 计算智能模糊计算1141144.1.5.4 模糊推理q直言演绎推理其推理是对应下面这种形式:若 是 (前
45、件),则 是 (后件)。这称为一个定理,写成 。例:在论域 中,若 是1,则 是小,写成 。与拒取式类似,若后件 为真不一定表示前件 为真。对应上例,若 为小,则 为1就不一定成立!第4章 计算智能模糊计算1151154.1.5.4 模糊推理例:若 是研究生,则 是学生,这是全真,而 是学生,则 是研究生这一直言推理就不一定成立。以子集形式,可写成 。而 。则上例的直言演绎推理可以表示为:不是研究生但是学生。用文字表示上例:研究生(x)学生(x)研究生(x)学生(x)第4章 计算智能模糊计算1161164.1.5.4 模糊推理q三段论式推理(最常用的演绎推理)该推理是指:以一般原则(第一判断)
46、为大前提,特定条件为小前提,由此作出结论的推理。其形式为:恒真 即:大前提 有 对 为真 有:小前提 则 对 为真 则 结 论第4章 计算智能模糊计算1171174.1.5.4 模糊推理三段论式的叙述可以说成是:因为所以;现因此。上述三段式是从直言推理形式为大前提,还可用假言推理作大前提,小前提是直言判断句(令有),由此推出结论(故)。形式如下:第4章 计算智能模糊计算假言(大前提)直言判断(小前提)结论1181184.1.5.4 模糊推理标准的三段论式还可写成下面的形式:第4章 计算智能模糊计算1191194.1.5.4 模糊推理3.模糊判断句与模糊推理句当前述清晰判断、推理语句的真假用隶属
47、度来说明时,则成为模糊判断句及推理。此时,不是恒真,恒假,而是“真”的程度。第4章 计算智能模糊计算1201204.1.5.4 模糊推理(1)模糊推理句模糊推理句的形式与清晰语句是相似的,但推理结论得到的是“真”的程度。例如用直言推理表示的例子:若今天()下雨(),则今天比较凉快(),其语句仍是 ,但“比较凉快”是模糊的,应以隶属函数来说明。第4章 计算智能模糊计算1211214.1.5.4 模糊推理(2)模糊推理句真值的定义n第一种定义(常用):对 的真值为 :如前述,模糊推理句真值就是隶属函数。故有 。当已知 、的隶属度曲线,可求出推理句的真值曲线。第4章 计算智能模糊计算1221224.
48、1.5.4 模糊推理n第二种定义 :即:若A则(且)B,否则不是A。不论 或 的真值定义,当 时,称 偏真,当 时则为偏假。和 均是单个论域中的推理句。第4章 计算智能模糊计算1231234.1.5.4 模糊推理下面给出相同的A、B对应不同定义真值的图形:第4章 计算智能模糊计算1241244.1.5.4 模糊推理(3)模糊判断句模糊判断句实际就是判断句(陈述句)的模糊化。前述的 、均为模糊判断句。第4章 计算智能模糊计算1251254.1.5.4 模糊推理4.模糊推理及复杂模糊推理句上一给出的是单论域(X)中的推理句。均在X域,即,前提条件与结论均在同一论域。实际中,复杂语言的推理句很多时候
49、是条件在一个论域,结论在另一个论域(X,Y)。此时,进行模糊推理要应用模糊关系来表示模糊条件句,推理与判断过程则转化为对隶属函数的合成()及其演算。第4章 计算智能模糊计算1264.1.5.4 模糊推理(1)近似推理(似然推理)这是一种假言推理,与清晰推理中的假言推理(三段式推理)是相同的。第4章 计算智能模糊计算1274.1.5.4 模糊推理n广义取式推理(肯定前提)q前提1:q前提2:q结论:第4章 计算智能模糊计算假言推理 大前提直言推理 小前提其中A,A,B和B均为模糊集合,x和y为语言变量。1284.1.5.4 模糊推理n广义拒式推理(肯定结论)q前提1:q前提2:q结论:第4章 计
50、算智能模糊计算假言推理 大前提直言推理 小前提其中A,A,B和B均为模糊集合,x和y为语言变量。1294.1.5.4 模糊推理n模糊蕴涵q设A和B分别为定义在U和V上的模糊集合,则由 所表示的模糊蕴涵是定义在 上的一个特殊的模糊关系,其隶属函数定义如下:n模糊与n模糊或n实质蕴涵n命题演算第4章 计算智能模糊计算1304.1.5.4 模糊推理n广义取式推理n广义拒式推理第4章 计算智能模糊计算一个模糊蕴涵可以理解为这样一条“IFthen”规则:If x is A,then y is B,其中 ,x,y均为语言变量。式对应于六种“Ifthen”规则的表达式,而这些模糊规则是从直观推理准则和经典逻