【智能控制】第2章 专家系统,专家控制,模糊关系,模糊推理,专家PID控制

时间:2024-10-13 08:09:09

目录

2.1  专家系统

2.1.1 专家系统概述

2.1.2  专家系统构成

2.1.3 专家系统的建立

 1.知识库

2.推理机

3.知识的表示

4.专家系统开发语言

5.专家系统建立步骤

第二节 专家控制

2.功能

3  与专家系统的区别

4. 知识表示    

5  分类

三、专家控制的关键技术及特点

第三节 专家PID控制

二、隶属函数的仿真

三、  隶属函数的确定方法

第四节  模糊关系

一、模糊关系

二、模糊矩阵运算

三、模糊矩阵的合成

第五节  模糊推理

一、模糊语句

二、模糊推理

三、模糊关系方程

1、模糊关系方程概念

2、模糊关系方程的解



上理考研周导师的哔哩哔哩频道

我在频道里讲课哦

 

  在传统控制系统中,系统的运行排斥了人的干预,人-机之间缺乏交互。控制器对被控对象在环境中的参数、结构的变化缺乏应变能力。

   传统控制理论的不足,在于它必须依赖于被控对象严格的数学模型,试图对精确模型来求取最优的控制效果。而实际的被控对象存在着许多难以建模的因素。

   上世纪80年代初,人工智能中专家系统的思想和方法开始被引入控制系统的研究和工程应用中。

  专家系统能处理定性的、启发式或不确定的知识信息,经过各种推理来达到系统的任务目标。专家系统为解决传统控制理论的局限性提供了重要的启示,二者的结合导致了专家控制这一方法。

2.1  专家系统

2.1.1 专家系统概述

  1.定义      

   专家系统是一类包含知识和推理的智能计算机程序,其内部包含某领域专家水平的知识和经验,具有解决专门问题的能力。

2.发展历史

分为三个时期: (1) 初创期(1965-1971年)

    第一代专家系统DENLDRA和MACSMA的出现,标志着专家系统的诞生。其中DENLDRA为推断化学分子结构的专家系统,由专家系统的奠基人,Stanford大学计算机系的Feigenbaum教授及其研究小组研制。MACSMA为用于数学运算的数学专家系统,由麻省理工学院完成。

(2)成熟期(1972-1977年):    

在此期间斯坦福大学研究开发了最著名的专家系统-血液感染病诊断专家系统MYCIN,标志专家系统从理论走向应用。另一个著名的专家系统-语音识别专家系统HEARSAY的出现,标志着专家系统的理论走向成熟。

(3)发展期(1978-现在)

  在此期间,专家系统走向应用领域,专家系统的数量增加,仅1987年研制成功的专家系统就有1000种。

  专家系统可以解决的问题一般包括解释、预测、设计、规划、监视、修理、指导和控制等。目前,专家系统已经广泛地应用于医疗诊断、语音识别、图象处理、金融决策、地质勘探、石油化工、教学、军事、计算机设计等领域。

2.1.2  专家系统构成

  专家系统主要由知识库和推理机构成,专家系统的结构如图2.1所示。

2.1.3 专家系统的建立

 1.知识库

知识库包含三类知识:

(1)基于专家经验的判断性规则;

(2)用于推理、问题求解的控制性规则;

(3)用于说明问题的状态、事实和概念以及当前的条件和常识等的数据。

   知识库包含多种功能模块,主要有知识查询、检索、增删、修改和扩充等。知识库通过人机接口与领域专家相沟通,实现知识的获取。

2.推理机

  推理机是用于对知识库中的知识进行推理来得到结论的“思维”机构。推理机包括三种推理方式:

(1)正向推理:从原始数据和已知条件得到结论;

(2)反向推理:先提出假设的结论,然后寻找支持的证据,若证据存在,则假设成立;

(3)双向推理:运用正向推理提出假设的结论,运用反向推理来证实假设。

3.知识的表示

   常用的知识表示方法为:产生式规则,框架,语义网络,过程。其中产生式规则是专家系统最流行的表达方法。由产生式规则表示的专家系统又称为基于规则的系统或产生式系统。

产生式规则的表达方式为:

IF E THEN H WITH CF(E,H)

  其中,E表示规则的前提条件,即证据,它可以是单独命题,也可以是复合命题;H表示规则的结论部分,即假设,也是命题;CF(Certainty Factor)为规则的强度,反映当前提为真时,规则对结论的影响程度。

4.专家系统开发语言

 (1)C语言,人工智能语言(如Prolog,Lisp等);

(2)专家系统开发工具:已经建好的专家系统框架,包括知识表达和推理机。在运用专家系统开发工具开发专家系统时,只需要加入领域知识。

5.专家系统建立步骤

(1)知识库的设计

  ① 确定知识类型:叙述性知识,过程性知识,控制性知识;

② 确定知识表达方法;

③ 知识库管理系统的设计:实现规则的保存、编辑、删除、增加、搜索等功能。

(2)推理机的设计

① 选择推理方式;

② 选择推理算法:选择各种搜索算法,如深度优先搜索、广度优先搜索、启发式优先搜索等。

(3)人─机接口的设计

① 设计“用户─专家系统接口”:用于咨询理解和结论解释;

② 设计“专家─专家系统接口”:用于知识库扩充及系统维护。

第二节 专家控制

一、概述

  瑞典学者K.J.Astrom在1983年首先把人工智能中的专家系统引入智能控制领域,于1986年提出“专家控制”的概念,构成一种智能控制方法。

  专家控制(Expert Control)是智能控制的一个重要分支,又称专家智能控制。所谓专家控制,是将专家系统的理论和技术同控制理论、方法与技术相结合,在未知环境下,仿效专家的经验,实现对系统的控制。

  专家控制试图在传统控制的基础上“加入”一个富有经验的控制工程师,实现控制的功能,它由知识库和推理机构构成主体框架,通过对控制领域知识(先验经验、动态信息、目标等)的获取与组织,按某种策略及时地选用恰当的规则进行推理输出,实现对实际对象的控制。

二、基本原理

  1.结构    

专家控制的基本结构如图2.2所示。

图2.2 专家控制的结构

2.功能

(1)能够满足任意动态过程的控制需要,尤其适用于带有时变、非线性和强干扰的控制;

(2)控制过程可以利用对象的先验知识;

(3)通过修改、增加控制规则,可不断积累知识,改进控制性能;

(4)可以定性地描述控制系统的性能,如“超调小”、“偏差增大”等;

(5)对控制性能可进行解释;

(6)可通过对控制闭环中的单元进行故障检测来获取经验规则。

3  与专家系统的区别

  专家控制引入了专家系统的思想,但与专家系统存在区别:

(1)专家系统能完成专门领域的功能,辅助用户决策;专家控制能进行独立的、实时的自动决策。专家控制比专家系统对可靠性和抗干扰性有着更高的要求。

(2)专家系统处于离线工作方式,而专家控制要求在线获取反馈信息,即要求在线工作方式。

4. 知识表示    

专家控制将系统视为基于知识的系统,控制系统的知识表示如下:

(1)受控过程的知识

① 先验知识:包括问题的类型及开环特性;

② 动态知识:包括中间状态及特性变化。

(2)控制、辨识、诊断知识

① 定量知识:各种算法;

② 定性知识:各种经验、逻辑、直观判断。

  按照专家系统知识库的结构,有关知识可以分类组织,形成数据库和规则库,从而构成专家控制系统的知识源。

数据库包括:

   事实──已知的静态数据。例如传感器测量误差、运行阈值、报警阈值、操作序列的约束条件、受控过程的单元组态等;

   证据──测量到的动态数据。例如传感器的输出值、仪器仪表的测试结果等。证据的类型是各异的,常常带有噪声、延迟,也可能是不完整的,甚至相互之间有冲突;

   假设──由事实和证据推导的中间结果,作为当前事实集合的补充。例如,通过各种参数估计算法推得的状态估计等;

  目标──系统的性能指标。例如对稳定性的要求,对静态工作点的寻优、对现有控制规律是否需要改进的判断等。目标既可以是预定的,也可以是根据外部命令或内部运行状况在线地动态建立的。

  专家控制的规则库一般采用产生式规则表示: IF 控制局势(事实和数据) THEN 操作结论 由多条产生式规则构成规则库。

5  分类

  按专家控制在控制系统中的作用和功能,可将专家控制器分为以下两种类型:

(1) 直接型专家控制器

  直接专家控制器用于取代常规控制器,直接控制生产过程或被控对象。具有模拟(或延伸,扩展)操作工人智能的功能。该控制器的任务和功能相对比较简单,但是需要在线、实时控制。因此,其知识表达和知识库也较简单,通常由几十条产生式规则构成,以便于增删和修改。

直接型专家控制器的示意图见图中的虚线所示。

(2)间接型专家控制器

     间接型专家控制器用于和常规控制器相结合,组成对生产过程或被控对象进行间接控制的智能控制系统。具有模拟(或延伸,扩展)控制工程师智能的功能。该控制器能够实现优化适应、协调、组织等高层决策的智能控制。按照高层决策功能的性质,间接型专家控制器可分为以下几种类型:

   ① 优化型专家控制器:是基于最优控制专家的知识和经验的总结和运用。通过设置整定值、优化控制参数或控制器,实现控制器的静态或动态优化。

② 适应型专家控制器:是基于自适应控制专家的知识和经验的总结和运用。根据现场运行状态和测试数据,相应地调整控制规律,校正控制参数,修改整定值或控制器,适应生产过程、对象特性或环境条件的漂移和变化。

③ 协调型专家控制器:是基于协调控制专家和调度工程师的知识和经验的总结和运用。用以协调局部控制器或各子控制系统的运行,实现大系统的全局稳定和优化。

④ 组织型专家控制器:是基于控制工程的组织管理专家或总设计师的知识和经验的总结和运用。用以组织各种常规控制器,根据控制任务的目标和要求,构成所需要的控制系统。

  间接型专家控制器可以在线或离线运行。通常,优化型、适应型需要在线、实时、联机运行。协调型、组织型可以离线、非实时运行,作为相应的计算机辅助系统。

间接型专家控制器的示意图如图所示。

三、专家控制的关键技术及特点

 1.专家控制的关键技术

 (1) 知识的表达方法;

(2)从传感器中识别和获取定量的控制信号;

(3)将定性知识转化为定量的控制信号;

(4)控制知识和控制规则的获取。

2.专家控制的特点

(1)灵活性:根据系统的工作状态及误差情况,可灵活地选取相应的控制律;

(2)适应性:能根据专家知识和经验,调整控制器的参数,适应对象特性及环境的变化;

(3)鲁棒性:通过利用专家规则,系统可以在非线性、大偏差下可靠地工作。

第三节 专家PID控制

一、专家PID控制原理

   PID专家控制的实质是,基于受控对象和控制规律的各种知识,无需知道被控对象的精确模型,利用专家经验来设计PID参数。专家PID控制是一种直接型专家控制器。

   典型的二阶系统单位阶跃响应误差曲线如图所示。对于典型的二阶系统阶跃响应过程作如下分析。

图  典型二阶系统单位阶跃响应误差曲线

   根据误差及其变化,可设计专家PID控制器,该控制器可分为以下五种情况进行设计:

  (1)当时,说明误差的绝对值已经很大。不论误差变化趋势如何,都应考虑控制器的输出应按最大(或最小)输出,以达到迅速调整误差,使误差绝对值以最大速度减小。此时,它相当于实施开环控制。

 (2)当 时,说明误差在朝误差绝对值增大方向变化,或误差为某一常值,未发生变化。

     此时,如果,说明误差也较大,可考虑由控制器实施较强的控制作用,以达到扭转误差绝对值朝减小方向变化,并迅速减小误差的绝对值,控制器输出为

    如果 ,说明尽管误差朝绝对值增大方向变化,但误差绝对值本身并不很大,可考虑控制器实施一般的控制作用,只要扭转误差的变化趋势,使其朝误差绝对值减小方向变化,控制器输出为

  (3)当  、或者 时,说明误差的绝对值朝减小的方向变化,或者已经达到平衡状态。此时,可考虑采取保持控制器输出不变。

(4)当 、  时,说明误差处于极值状态。如果此时误差的绝对值较大,即    ,可考虑实施较强的控制作用。

如果此时误差的绝对值较小,即   

,可考虑实施较弱的控制作用。

(5)当 时,说明误差的绝对值很小,此时加入积分,减少稳态误差。

    图中,Ⅰ、Ⅲ、Ⅴ、Ⅶ、…区域,误差朝绝对值减小的方向变化。此时,可采取保持等待措施,相当于实施开环控制;Ⅱ、Ⅳ、Ⅵ、Ⅷ、…区域,误差绝对值朝增大的方向变化。此时,可根据误差的大小分别实施较强或一般的控制作用,以抑制动态误差。

(2) 广义钟型隶属函数

广义钟型隶属函数由三个参数a,b,c确定:

Matlab表示为

(3) S形隶属函数

 S形函数sigmf(x,[a c])由参数a和c决定:

    其中参数a的正负符号决定了S形隶属函数的开口朝左或朝右,用来表示“正大”或“负大”的概念。Matlab表示为

(4)梯形隶属函数 

梯形曲线可由四个参数a,b,c,d确定:

  其中参数a和d确定梯形的“脚”,而参数b和c确定梯形的“肩膀”。 Matlab表示为:

(5)三角形隶属函数

三角形曲线的形状由三个参数a,b,c确定:

其中参数a和c确定三角形的“脚”,而参数b确定三角形的“峰”。 Matlab表示为

(6)Z形隶属函数

  这是基于样条函数的曲线,因其呈现Z形状而得名。参数a和b确定了曲线的形状。Matlab表示为

有关隶属函数的MATLAB设计,见著作:

楼顺天,胡昌华,张伟,基于MATLAB的系统分析与设计-模糊系统,西安:西安电子科技大学出版社,2001

例3.5  隶属函数的设计:针对上述描述的6种隶属函数进行设计。M为隶属函数的类型,其中M=1为高斯型隶属函数,M=2为广义钟形隶属函数,M=3为S形隶属函数,M=4为梯形隶属函数,M=5为三角形隶属函数,M=6为Z形隶属函数。如图所示。

二、隶属函数的仿真

例3.6  设计一个三角形隶属函数,按[-3,3]范围七个等级,建立一个模糊系统,用来表示{负大,负中,负小,零,正小,正中,正大}。仿真结果如图所示。

  例3.7  设计评价一个学生成绩的隶属函数,在[0,100]之内按A、B、C、D、E分为五个等级,即{不及格,及格,中,良,优}。分别采用五个高斯型隶属函数来表示,建立一个模糊系统,仿真结果如图所示。

图 高斯型隶属函数曲线

三、  隶属函数的确定方法

  隶属函数是模糊控制的应用基础。目前还没有成熟的方法来确定隶属函数,主要还停留在经验和实验的基础上。通常的方法是初步确定粗略的隶属函数,然后通过“学习”和实践来不断地调整和完善。遵照这一原则的隶属函数选择方法有以下几种。

(1)模糊统计法

  根据所提出的模糊概念进行调查统计,提出与之对应的模糊集A,通过统计实验,确定不同元素隶属于A的程度。

对模糊集A的隶属度 =            

    

(2)主观经验法

 当论域为离散论域时,可根据主观认识,结合个人经验,经过分析和推理,直接给出隶属度。这种确定隶属函数的方法已经被广泛应用。

(3)神经网络法

 利用神经网络的学习功能,由神经网络自动生成隶属函数,并通过网络的学习自动调整隶属函数的值。

第四节  模糊关系

一、模糊关系

 例3.8  设有一组同学X,X={张三,李四,王五},他们的功课为Y,Y={英语,数学,物理,化学}。他们的考试成绩如下表:

表   考试成绩表

 取隶属函数,其中u为成绩。如果将他们的成绩转化为隶属度,则构成一个x×y上的一个模糊关系R,见下表。

表 考试成绩表的模糊化

将上表写成矩阵形式,得:

  该矩阵称作模糊矩阵,其中各个元素必须在[0,1]闭环区间上取值。矩阵R也可以用关系图来表示,如图所示。

图  R的关系图

二、模糊矩阵运算

 设有n阶模糊矩阵A和B, ,  ,且 。则定义如下几种模糊矩阵运算方式:

例3.9  设

三、模糊矩阵的合成

  所谓合成,即由两个或两个以上的关系构成一个新的关系。模糊关系也存在合成运算,是通过模糊矩阵的合成进行的。

和 分别为 和 上的模糊关系,而 和 的合成是 上的模糊关系,记为 ,其隶属函数为

例 3.10  设,         

则A和B的合成为:

例3.11

某家中子女和父母的长相“相似关系”R 为模糊关系,可表示为

用模糊矩阵 R表示为

该家中,父母与祖父的“相似关系” S也是模糊关系,可表示为

用模糊矩阵 S表示为

那么在该家中,孙子、孙女与祖父、祖母的相似程度应该如何呢?      

  模糊关系的合成运算就是为了解决诸如此类的问题而提出来的。针对此例,模糊关系的合成运算为

   该结果表明,孙子与祖父、祖母的相似程度分别为0.2和0.2,而孙女与祖父、祖母的相似程度分别为0.5和0.6.

第五节  模糊推理

一、模糊语句

  将含有模糊概念的语法规则所构成的语句称为模糊语句。根据其语义和构成的语法规则不同,可分为以下几种类型:

(1)模糊陈述句:语句本身具有模糊性,又称为模糊命题。如:“今天天气很热”。

(2)模糊判断句:是模糊逻辑中最基本的语句。语句形式:“x是a”,记作(a),且a所表示的概念是模糊的。如“张三是好学生”。

(3)模糊推理句:语句形式:若x是a,则x是b。则为模糊推理语句。如“今天是晴天,则今天暖和”。

二、模糊推理

常用的有两种模糊条件推理语句:If A then B else C;If A AND B then C

下面以第二种推理语句为例进行探讨,该语句可构成一个简单的模糊控制器,如图所示。

其中A,B,C分别为论域U上的模糊集合,A为误差信号上的模糊子集,B为误差变化率上的模糊子集,C为控制器输出上的模糊子集。

 常用的模糊推理方法有两种:Zadeh法和Mamdani法。Mamdani推理法是模糊控制中普遍使用的方法,其本质是一种合成推理方法。

 模糊推理语句“If A AND B then C”确定了三元模糊关系R,即:R=(A×B)T1×C

   其中(A×B)T1为模糊关系矩阵(A×B) (m×n)构成的m×n列向量,n和m分别为A和B论域元素的个数。

 基于模糊推理规则,根据模糊关系R,可求得给定输入A1和B1对应的输出C1:

C1=(A1×B1)T2R

  式中, (A1×B1)T2   为模糊关系矩阵(A1×B1)(m×n)构成的m×n列向量,T2为航向量转换。

例3.11  设论域x={a1,a2,a3},y={b1,b2,b3},z={c1,c2,c3},

已知          

试确定“If A AND B then C”所决定的模糊关系R,以及输入为, 时的输出C1。

解:

将A×B矩阵扩展成如下列向量:

当输入为A1和B1时,有:

将A1×B1矩阵扩展成如下行向量:

最后得:

即:

三、模糊关系方程

1、模糊关系方程概念

  将模糊关系R看成一个模糊变换器。当A为输入时,B为输出,如图所示。

图   模糊变换器

 可分为两种情况讨论:

 (1)已知输入A和模糊关系R,求输出B,这是综合评判,即模糊变换问题。

(2)已知输入A和输出B,求模糊关系R,或已知模糊关系R和输出B,求输入A,这是模糊综合评判的逆问题,需要求解模糊关系方程。

2、模糊关系方程的解

 近似试探法是目前实际应用中较为常用的方法之一。

例3.12 解方程

解: 由方程得:

显然三个括弧内的值都不可能超过0.4。由于是显然的,因此x2可以取[0,1]的任意值,即x2=[0,1]。

 现在只考虑:

 这两个括弧内的值可以是:其中一个等于0.4,另一个不超过0.4。分两种情况讨论:

(1) 设0.6∧x1=0.4,0.4∧x3≤0.4,

则 

即方程的解为     

(2) 设0.6∧x1≤0.4,0.4∧x3=0.4,

则   ,

即方程的解为:



上理考研周导师的哔哩哔哩频道

我在频道里讲课哦