人工智能之模糊逻辑系统.pptx

《人工智能之模糊逻辑系统.pptx》由会员分享，可在线阅读，更多相关《人工智能之模糊逻辑系统.pptx（111页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、 第五章第五章 模糊逻辑与模糊推理模糊逻辑与模糊推理2024/3/111主要内容5.1 概述5.2 模糊集合及其运算5.3 模糊关系5.4 模糊逻辑与近似推理5.5 基于控制规则库的模糊推理5.6 模糊控制的基本原理2024/3/1125.1 概述2024/3/113模糊的概念模糊的概念 “fuzzy”不同的类别之间不存在精确的分类标准，从而对一事物是否属于某一类很难做出明确肯定的断言。例：高低、冷热、快慢、年轻人、中年人、老年人2024/3/114精确方法的逻辑基础是传统的二值逻辑，即非此即彼。把经典的二值逻辑用于处理Fuzzy概念和Fuzzy命题时，将会在理论上导致逻辑悖论。模糊概念是亦此

2、亦彼：从模糊概念是亦此亦彼：从0和和1从从0至至1。公设（1）存在秃头的人和非秃头的人。（2）若有n根头发的人秃，则有n+1根头发的人亦秃。由此会导致：秃头悖论：所有人都秃。人脑具有Fuzzy思维功能。模糊描述是必要、必然的模糊描述是必要、必然的2024/3/115J.A.Goguen 1974 说：“描述不确切性并非坏事，相反倒是一件好事，它能用较少的代价传输足够的信息，并能对复杂事物做出高效率的判断和处理。也就是说，不确定性有助于提高效率。”爱因斯坦：“So far as the laws of mathematics refer to reality,they“So far as the

3、 laws of mathematics refer to reality,they are not certain,And so far as they are ceitain,they do not refer to are not certain,And so far as they are ceitain,they do not refer to reality.”reality.”关于现实的数学定理是不确定的，而确定的数学定理并不能描述现实。不相容原理：(L.A.Zadeh 1975 提出)“当一个系统复杂性增大时，我们使它精确化的能力将减低，在达到一定的阈值时，复杂性和精确性将相互

4、排斥。”2024/3/116模糊性也是一种不确定性，但不同于随机性，模糊理论不同于概率论。模糊性指对概念的定义以及语言意义的理解上的不确定性，主要是人为的主观理解上的不确定性。随机性反映的是客观上的自然的不确定性，或者是事件发生的偶然性。模糊性与随机性模糊性与随机性2024/3/117模糊集合与模糊数学的概念模糊集合与模糊数学的概念模糊集合：一种特别定义的集合，它可用来描述模糊现象模糊数学：有关模糊集合、模糊逻辑等的数学理论2024/3/1185.2 模糊集合及其运算2024/3/119表示方法：表示方法：1)定义法定义法：A=x|x为偶数，为偶数，x102)列举法列举法：A=2,4,6,83

5、)特征函数法：特征函数法：一、普通集合论域：讨论的范围，U、V、W集合：U上的一部分叫U上的集合，A、B、C元素：A、B、C中的元x、y、z、u、v、w幂集：U的所有子集构成的集合，P(U)2024/3/1110二、模糊集合的定义及表示方法、名词术语定义：设论域为U，称映射确定U的一个模糊集合 。称为 的隶属函数。，表示u隶属于 的程度，简称隶属度。论域U指的是所讨论的事物的全体。模糊幂集：论域U上的全体模糊子集构成的集合，记为F(U)，2024/3/1111设U=x1,x2,x3,x4,x5，xi表示同学。对于每个同学的“性格开朗”的程度在0,1中打分，便得到从U到0,1的一个映射 =“性格

6、开朗”(x1)=0.85，(x2)=0.75，(x3)=0.98，(x4)=0.30，(x5)=0.60举例：2024/3/11121、论域U为离散有限集x1,x2,xn(xi)=ai扎德表示法：向量表示法：表示方法：2024/3/11132、论域是离散无限域可数：不可数：扎德表示法：3、论域是连续域当U是一个实数区间时，可以用普通的实函数表示扎德表示法：2024/3/1114以年龄为论域，取U=0,200，扎德给出了“年老”与“年轻”两个模糊集的隶属函数为：举例：2024/3/1115“核”：Ker =5，6 Ker 称为正则模糊集 Ker 称为非正则模糊集“单点模糊集合”：若台集仅为一个点

7、，且该点隶属度为1“台”：隶属度大于0的元素的全体，支撑集“”截集：Supp =3,4,5,6,7,8 名词术语：2024/3/11161、相等：三、模糊集合的基本运算2、包含：各元素的隶属度分别相等2024/3/11173、并：取大运算 2024/3/11184、交 取小运算2024/3/11195、余2024/3/1120和 的直积为定义在积空间UV上的模糊集合两个模糊集合直积的概念可以很容易推广到多个集合6、笛卡尔直积(Cartesian product)2024/3/1121交换律结合律分配律吸收律复原律两极律（同一律）对偶律（D摩根律）幂等律2024/3/1122五、模糊集合的其它类

8、型运算作为Fuzzy集合基本运算的并、交运算，采用Zadeh算子按点“取大取小”，不仅很好符合人脑通常的Fuzzy思维方式，而且在研究和处理模糊性问题时带来了很多方便，因此在有关Fuzzy集合论与逻辑的文献中，大多采用了Zadeh的取大取小运算进行分析。有些学者认为，只取两个隶属度中的最大或最小值，忽略了另一个隶属度的值，是造成信息失落的根源。因此人们提出了不少与、相对应的算子。改善后的Fuzzy算子尽管在某种意义上更加接近人类思维，然而由于其变化复杂且失去了许多好的运算性质而很少使用。2024/3/11231、代数和2、代数积3、有界和4、有界差2024/3/11245、有界积6、强制和7、

9、强制积2024/3/11255.3 模糊关系与模糊矩阵2024/3/1126n元模糊关系R是定义在直积U1U2Un上的模糊集合模糊关系不是“有”“无”关系，而是多少有点关系。模糊关系是模糊集合直积集的一个子集模糊关系是模糊集合直积集的一个子集一、模糊关系的定义及表示2024/3/1127求U到V满足 b“大约是”a 的平方关系：举例2024/3/1128U=1,5,7,9,20 序偶中前元比后元“小得多”的关系 隶属度运算用公式举例2024/3/1129模糊关系也是模糊集合，可用表示模糊集合的方法来表示。模糊矩阵：将ui，vj作为节点，在连线上标上值当论域为有限集合时，用矩阵和图的形式更形象地

10、加以描述模糊图：2024/3/1130设U为家庭中的儿子和女儿，V为家庭成员中的父亲和母亲，对于“子女与父母长得相似”的模糊关系R表示为：父母子女0.80.30.30.6举例2024/3/1131二、模糊关系的合成定义：RF(UV),SF(VW)(R是U到V的一个模糊关系，S是V到W的一个模糊关系，称U到W的模糊关系T为模糊关系R与模糊关系S的合成。记为T=RS 其中是并的符号，表示对所有v取极大值或上界值，“”是二项积的符号其隶属函数该合成称为最大星合成(max-star composition)其中“”为模糊矩阵的合成运算。2024/3/1132二项积算子“”可以定义为以下几种运算：交最大

11、最小合成(max-min composition)最常用代数积有界积强制积2024/3/1133当论域U、V、W为有限时，模糊关系的合成可用模糊矩阵的合成表示。2024/3/1134已知子女与父母长相相像的关系为：父母与祖父母长相相像的关系：举例2024/3/1135 求：子女与祖父母相似关系模糊矩阵按最大最小合成规则：2024/3/1136举例用U=x1,x2,x3表示病人集合，V=y1,y2,y3,y4,y5表示症状集合，W=z1,z2,z3表示病名集合。从U到V的模糊关系为：2024/3/1137R与S的复合关系为：从V到W的模糊关系为：从症状V到病名集合W的模糊关系S是一个医学诊断知识

12、库，它表明了症状与病名之间的关系程度。2024/3/11385.4 模糊逻辑与近似推理2024/3/1139一、模糊命题、语言变量、模糊算子模糊命题：含有模糊谓词的句子例:“今天很冷”“张三年轻”不能简单地用“F”、“T”区别模糊算子：用于加强或减弱语气的词“极”，“非常”，“相当”：集中化算子“比较”，“略”，“稍微”：散漫化算子2024/3/1140语言变量：语言变量由一个五元体(x,T(x),U,G,M)来表征，其中：x：语言变量名称，如年龄，速度等U：x的论域T(x)：语言变量值的集合，其中每个语言变量值都是论域U上的模糊集合T(x)=T(速度)=慢，适中，快，很慢，稍快，G：语法规则

13、，用以产生语言变量x的值的名称M：语义规则，用以产生模糊集合的隶属度函数Zadeh于1975年给出了如下的语言变量的定义：2024/3/1141二、模糊蕴含关系2、模糊蕴含积运算(Larsen)3、模糊蕴含算术运算(Zadeh)“如果x是A，则y是B”(AB)表示了A与B之间的模糊蕴含关系1、模糊蕴含最小运算(Mamdani)2024/3/11424、模糊蕴含的最大最小运算(Zadeh)5、模糊蕴含的布尔运算6、模糊蕴含的标准运算(1)2024/3/11437、模糊蕴含的标准运算(2)2024/3/1144如果论域U和V是离散的，则模糊蕴含关系R可用模糊矩阵来表示。对于离散的模糊集合A和B，可

14、用相应的模糊向量来表示。则模糊蕴含关系矩阵R可以采用如下的方法计算：2024/3/1145三、模糊推理简言之,从巳知条件求未知结果的思维过程就是推理。用传统的二值逻辑迸行演绎推理和归纳推理时,只要大前提或推理规则是正确的，小前提是肯定的，那么就一定会得到确定的结论然而,在现实生活中我们获得的信息往往是不精确的、不完全的;或者事实本身就是模糊而不完全确切的,但又必须利用且只能利用这些信息进行判断和决策。此时,传统的形式逻辑和近代的数理逻辑均无法解决这类问题2024/3/1146解决模糊性问题就需要用模糊推理。这种结论不是从前提中严格推出来而是近似逻辑地推出结论的方法,通常就称为假言推理或似然推理

15、。模糊推理模糊推理是一种以模糊判断为前提是一种以模糊判断为前提,运用模糊语言规则运用模糊语言规则,推出一推出一个新的近似的模糊判断结论的方法。个新的近似的模糊判断结论的方法。模糊逻辑推理是一种不确定性的推理方法。模糊推理是一种近似推理模糊推理是一种近似推理,提法有两种形式。提法有两种形式。2024/3/1147第一种提法第一种提法(广义的肯定式推理方式广义的肯定式推理方式)：给定一个模糊蕴含关系：给定一个模糊蕴含关系：“若若A则则B”,AV,BV”巳知某个巳知某个A，AV，求从蕴含关系能推断出什么样的结论，求从蕴含关系能推断出什么样的结论B?例如例如：已知模糊推理语句：已知模糊推理语句：若若“

16、A大大”,则则“B小小”,利用似然推理进行推理利用似然推理进行推理:如果巳知如果巳知“A偏大偏大”,问问B将如何将如何?模糊取式推理：巳知：模糊蕴含关系AB的关系矩阵R对于给定的A，AU，则可推得结论B，BV，B=AR 其中“”表示合成运算，即模糊关系的sup-*运算。2024/3/1148第二种提法第二种提法(广义的否定式推理方式广义的否定式推理方式)：给定一个模糊蕴含关系：给定一个模糊蕴含关系：“若若A则则B”,AV,BV”已知某一个已知某一个BV，求从蕴含关系能推出什么样的结论，求从蕴含关系能推出什么样的结论A?例如例如：已知模糊推理语句：已知模糊推理语句若若“A大大”,则则“B小小”,

17、利用似然推理进行推理利用似然推理进行推理:巳知巳知B不很小不很小问问A又如何又如何?模糊拒式推理：巳知：模糊蕴含关系AB的关系矩阵R对于给定的B，BV，则可推得结论AU A=RB2024/3/1149例：已知若 A小则B大,当A=A=较小，问B如何?解：采用(Zadeh)的模糊蕴含关系Rm2024/3/11502024/3/11512024/3/1152采用最大最小合成它与大相比,显然是比较大。因此不难发现,由模糊推理所得到的结论是与人们的思想相吻合的。这样的模糊性推理采用传统的形式逻辑推理不可能实现的,而采用建立在模糊集合论基础上的模糊逻辑却能实现上述推理。2024/3/1153四、句子连接

18、关系的逻辑运算1、句子连接词“and”或者：模糊蕴含关系记为：规则为：如果x是A and y是B 则z是C前提条件“如果x是A and y是B”可以看成是直积空间XY上的模糊集合，记为AB，其隶属度函数为：其具体运算方法也如前面简单模糊蕴含关系那样有6种，如：2024/3/1154如果x是A and y是B 则z是C其中R是模糊蕴含关系，“”为合成运算符。2024/3/11552、句子连接词also多条控制规则，之间无先后次序。连接这些子句的连接词用“also”表示。一般采用求“并”运算。2024/3/11567.5 基于控制规则库的模糊推理一、模糊推理的一、模糊推理的MamdaniMamda

19、ni法法Mamdani推理法是一种在模糊控制中普遍使用的方法,它本质上仍然是一种合成推理方法,只不过对模糊蕴含关系取不同的形式而已。if A then Bif Ai then Biif A then B else CR(u,v)=A(u)B(v)if A and B then C2024/3/1157例：已知一个双输入单输出的模糊系统，其输入量为x和y，输出量为z，其输入输出关系可用如下两条模糊规则描述：R1：如果 x 是 A1 and y 是 B1 则 z 是 C1R2：如果 x 是 A2 and y 是 B2 则 z 是 C2现已知输入为 x 是 A and y 是 B，试求输出量 z。这

20、里x，y，z均为模糊语言变量，且已知：2024/3/1158解：所有模糊集合的元素均为离散量，所以模糊集合可用模糊向量来描述，模糊关系可用模糊矩阵来描述。为进一步的计算，可将模糊矩阵 表示成如下的向量：1、求每条规则的蕴含关系2024/3/11592024/3/11602、求总的模糊蕴含关系R2024/3/11613、计算4、计算输出量的模糊集合2024/3/1162输出量 z 的模糊集合为：2024/3/1163二、模糊推理的二、模糊推理的性质性质1、若合成运算“”采用最大最小法或最大积法，连接词“also”采用求并法，则“”和“also”的运算次序可以交换，即：2、若模糊蕴含关系采用Rc和

21、Rp时，则有：2024/3/11643、对于的推理结果可以采用 如下简洁的形式表示：推论：如果输入量的模糊集合和模糊单点，即：则：2024/3/1165结合性质1和性质3，可以得到：这里i可以看成是相应于第 i 条规则的加权因子，它也看成是第 i 条规则的适用程度，或者看成是第 i 条规则对模糊控制作用所产生的贡献的大小。2024/3/11667.6 模糊控制的基本原理一、模糊控制器的基本结构和组成模糊化模糊推理清晰化控制对象知识库参考输入输出二、模糊化将输入的精确量转换成模糊化量。2024/3/11671、输入量变换：其中 k 称为比例因子。例：若实际的输入量为x0*，其变化范围为xmin*

22、，xmax*，若要求的论域为xmin，xmax，若采用线性变换，则：尺度变换，将实际的输入量变换到要求的论域范围。变换可以是线性的，也可以是非线性的。如果要求离散的论域，则需要将连续的论域离散化或量化。量化可以是均匀的，也可以是非均匀的。2024/3/1168单点模糊集合：如果输入数据x0是准确的，则通常将其模糊化为单点模糊集合。设该模糊集合用A表示，则有：三角形模糊集合：如果输入数据存在随机测量噪声，这时模糊化运算相当于将随机量变换成模糊量。取模糊量的隶属度函数为等腰三角形，或铃形函数，即正态分布函数：x0 xx0-x0+2、将论域范围内的输入量进行模糊处理：用模糊集合表示。2024/3/1

23、169三、清晰化其中z0表示清晰值。若输出量的隶属度函数有多个极值，则取这些即值的平均值为清晰值。z0zab1、将模糊的控制量经清晰化变换成论域范围内的清晰量最大隶属度法：若输出量模糊集合C的隶属度函数只有一个峰值，则取隶属度函数的最大值为清晰值，即：中位数法：2024/3/1170加权平均法：也称重心法取 的加权平均值为z的清晰值，即：2024/3/1171变换的方法可以是线性的，也可以是非线性的。若z的变化范围为zmin，zmax，实际控制量的变化范围为umin，umax，采用线性变换，则：其中 k 称为比例因子。2、将表示在论域范围内的清晰量经尺度变换成实际的控制量2024/3/1172

24、四、输入和输出空间的模糊分割模糊分割是要确定对于每个语言变量取值的模糊语言名称的个数，模糊分割的个数决定了模糊控制精细化的程度。也可以为非对称和非均匀分布语言名称通常均具有一定的含义。NB：负大(Negative Big)；NM：负中(Negative Medium)NS：负小(Negative Small)；ZE：零(Zero)PS：正小(Positive Small)；PM：正中(Positive MediumPB：正大(Positive Big)2024/3/1173x-101NZPx-101ZE PSPMPBNSNMNB模糊分割的个数也决定了最大可能的模糊规则的个数。2024/3/11

25、74五、模糊集合的隶属度函数1、数值描述法x0是中心值2是方差对于论域为离散，且元素个数为有限时，模糊集合的隶属度函数可以用向量或者表格的形式来表示。2、函数描述法最常见的有铃形函数、三角形函数、梯形函数。2024/3/1175六、论域为离散时模糊控制的离线计算当论域为离散时，经过量化后的输入量的个数是有限的，因此可以针对输入情况的不同组合离线计算出相应的控制量，从而组成一张控制表，实际控制时只要直接查这张控制表即可，在线的运算量是很少的。k1k2k3量化量化控制对象控 制表ryex0y0z0u论域为离散时的模糊控制系统结构相当于非线性的PD控制k1，k2，k3：尺度变换的比例因子。2024/

26、3/1176设e，和u的变换范围分别为：并设x，y，z的论域分别为：则：设：量化的功能是将比例变换后的连续值经四舍五入变为整数值。2024/3/1177语言变量x的隶属度函数-6-5-4-3-2-10123456NB 1.0 0.8 0.7 0.4 0.1NM 0.2 0.7 1.0 0.7 0.3NS0.1 0.3 0.7 1.0 0.7 0.2NZ0.1 0.6 1.0PZ1.0 0.6 0.1PS0.2 0.7 1.0 0.7 0.3 0.1PM0.2 0.7 1.0 0.7 0.3PB0.1 0.4 0.7 0.8 1.02024/3/1178语言变量y,z的隶属度函数-6-5-4-3

27、-2-10123456NB 1.0 0.7 0.3NM 0.3 0.7 1.0 0.7 0.3NS0.3 0.7 1.0 0.7 0.3ZE0.3 0.7 1.0 0.7 0.3PS0.3 0.7 1.0 0.3PM0.3 0.7 1.0 0.7 0.3PB0.3 0.7 1.02024/3/1179模糊控制规则表x z y NBNMNSZEPSPMPMNBNBNBNBNBNMZEZENMNBNBNBNBNMZEZENSNMNMNMNMZEPSPSNZNMNMNSZEPSPMPMPZNMNMNSZEPSPMPMPSNSNSZEPMPMPMPMPMZEZEPMPBPBPBPBPBZEZEPMPB

28、PBPBPB2024/3/1180设已知输入为x0和y0，模糊化运算采用单点模糊集合，则相应的输入量模糊集合A和B分别为：采用MamdaniMamdani法进行推理，法进行推理，则：则：2024/3/1181设x0=6，y0=62024/3/11822024/3/1183按同样的方法可求出，并最终求得：对所求得的输出量模糊集合进行清晰化计算，采用加权平均法：按同样的步骤，可以计算出当x0，y0为其它组合时的输出量z0。最后可列如下控制表。2024/3/1184z0 y0 x065432101234566-5.35054-5.0-0.5932-3.160.1810012-0.183.16340.

29、595.05605.352024/3/1185演讲完毕，谢谢观看！附录资料：人工智能简介About Teaching Plan基本要求：人工智能是计算机科学中涉及研究、设计和应用智能机器的一个分支，是目前迅速发展的一门新兴学科，新思想新方法层出不穷。其基本思想是利用机器来模仿和执行人脑的功能，如判断、推理、证明、识别、感知、理解、设计、思考、规划、学习和问题求解等思维活动。对于培养学生计算机技术的应用能力，开阔思路和视野，有重要意义。About Teaching Plan因此，要求学生掌握知识表示知识表示和问题求解问题求解的几种常用方法，尤其是不确定性推理不确定性推理；掌握机器学习机器学习基本

30、概念，了解几种机器学习方法机器学习方法尤其是神经网络学习方法；神经网络学习方法；掌握专家系统的概念，了解专家系统设计方法专家系统设计方法，掌握一些智能控制方法智能控制方法，了解国内外人工智能研究尤其是机器人的最新进展；最新进展；具有一定的人工智能编程设计能力人工智能编程设计能力（利用Lisp或Prolog语言）。About Teaching Plan课程内容以及学时分配课程内容以及学时分配人工智能引论(1)人工智能概念及与计算机的关系，研究途径、内容和应用领域概况介绍，其他最新材料其他最新材料。符号主义、连接主义、行为主义三大流派人工智能数学基础(1)知识表示方法（2）状态空间法、问题归约法，

31、谓词逻辑法、产生式表示法（动物识别系统）；CLIPS语言；语义网络法、框架法（这是结构化表示）；剧本、过程、Petri网、面向对象的表示。About Teaching Plan搜索技术和策略（3-4）状态空间法，盲目搜索和启发式搜索，A*算法；海伯伦理论、消解原理和策略；与或形推理和搜索策略；其他求解技术。不确定推理技术（3-4）主观Bayes理论；可信度方法和证据理论；系统组织技术；非单调推理；Rete快速算法；模糊推理技术；基于语义网络和框架不确定推理；专家系统（2）专家系统概念、结构和知识获取；黑板模型、知识组织、管理及系统建造和开发工具；专家系统举例及编程。人工智能程序设计人工智能程序

32、设计（1）人工智能语言基本机制：LISP和PROLOG。About Teaching Plan模式识别导论（3）模式识别专题：概率模式识别。模式识别专题：结构模式识别机器学习（1）：机械,解释经验,事例,归纳,概念,类比学习等；统计,结构,模糊模式识别。专题讲座（3次）1)神经网络基本理论和应用(史奎凡课程：安排于人工智能理论与应用课程内)；2)智能体（Agent）；3)自然语言处理；4)智能控制和机器人科学智能控制的结构理论和研究领域，智能控制系统及应用示例；机器人规划、机器视觉和自然语言理解等。About Teaching Plan实践：1)搜索技术和策略2)不确定推理技术3)专家系统：动

33、物识别系统4)模式识别技术5)调研：搜索技术和策略、不确定推理技术、统计模式识别、机器学习等四个领域进展报告。Chapter One:Brief Introduction to Artificial Intelligence1.What is AI?人工智能（人工智能（Artificial Intelligence,AI）是当前科学技发展的一门前是当前科学技发展的一门前沿学科，同时也是一门新思想，新观念，新理论，新技术不断出沿学科，同时也是一门新思想，新观念，新理论，新技术不断出现的新兴学科以及正在发展的学科。现的新兴学科以及正在发展的学科。它是在它是在计算机科学，控制论，信息论，神经心理学，

34、哲学，语言学计算机科学，控制论，信息论，神经心理学，哲学，语言学等多种学科研究的基础发展起来的，因此又可把它看作是一门等多种学科研究的基础发展起来的，因此又可把它看作是一门综综合性的边缘学科合性的边缘学科。它的出现及所取得的成就引起了人们的高度重视它的出现及所取得的成就引起了人们的高度重视,并取得了很高的评并取得了很高的评价。有的人把它与空间技术，原子能技术一起并誉为价。有的人把它与空间技术，原子能技术一起并誉为20世纪的三世纪的三大科学技术成就。大科学技术成就。Intelligence智能是知识与智力的总合。智能是知识与智力的总合。知识知识智能行为的基础；智能行为的基础；智力智力获取知识并运

35、用知识求解问题的能力。获取知识并运用知识求解问题的能力。智能具有以下特征：智能具有以下特征：(1)具有感知能力具有感知能力指人们通过视觉、听觉、触觉、味觉、嗅觉等感指人们通过视觉、听觉、触觉、味觉、嗅觉等感觉器官感知外部世界的能力；觉器官感知外部世界的能力；(2)具有记忆与思维的能力具有记忆与思维的能力这是人脑最重要的功能，亦是人之所以有这是人脑最重要的功能，亦是人之所以有智能的根本原因；智能的根本原因；(3)具有学习能力及自适应能力；具有学习能力及自适应能力；(4)具有行为能力。具有行为能力。Artificial Intelligence人工智能人工智能计算机科学的一个分支，是智能计算机系统

36、，即人类智慧计算机科学的一个分支，是智能计算机系统，即人类智慧在机器上的模拟，或者说是人们使机器具有类似于人的智慧（在机器上的模拟，或者说是人们使机器具有类似于人的智慧（对语言对语言能理解、能学习、能推理）。能理解、能学习、能推理）。2.Brief History of AI(1)孕育（孕育（1956年前）年前）古希腊的古希腊的Aristotle（亚里士多德）（前亚里士多德）（前384-322），给出了形式逻辑的），给出了形式逻辑的基本规律。基本规律。英国的哲学家、自然科学家英国的哲学家、自然科学家Bacon（培根）（培根）（1561-1626），系统地给），系统地给出了归纳法。出了归纳法。“

37、知识就是力量知识就是力量”德国数学家、哲学家德国数学家、哲学家Leibnitz（布莱尼茨）（布莱尼茨）（1646-1716）。提出了关于）。提出了关于数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。做出了能做四则运算的手摇计算机推理。做出了能做四则运算的手摇计算机英国数学家、逻辑学家英国数学家、逻辑学家Boole（布尔）（布尔）（1815-1864）实现了布莱尼茨）实现了布莱尼茨的思维符号化和数学化的思想，提出了一种崭新的代数系统的思维符号化和数学化的思想，提出了一种崭新的代数系统布尔布尔代数。代数。美籍奥地利数理逻

38、辑学家美籍奥地利数理逻辑学家Godel（哥德尔）（哥德尔）（1906-1978），证明），证明了一阶谓词的完备性定；任何包含初等数论的形式系统，如果它了一阶谓词的完备性定；任何包含初等数论的形式系统，如果它是无矛盾的，那么一定是不完备的。意义在于，人的思维形式化是无矛盾的，那么一定是不完备的。意义在于，人的思维形式化和机械化的某种极限，在理论上证明了有些事是做不到的。和机械化的某种极限，在理论上证明了有些事是做不到的。英国数学家英国数学家Turing(图灵图灵)（1912-1954）,1936年提出了一种理想年提出了一种理想计算机的数学模型（图灵机），计算机的数学模型（图灵机），1950年提出

39、了图灵试验，发表了年提出了图灵试验，发表了“计算机与智能计算机与智能”的论文。图灵奖。的论文。图灵奖。美国数学家美国数学家Mauchly，1946发明了电子数字计算机发明了电子数字计算机ENIAC美国神经生理学家美国神经生理学家McCulloch，建立了第一个神经网络数学模型。建立了第一个神经网络数学模型。美国数学家美国数学家Shannon（香农）香农）,1948年发表了通讯的数学理论，年发表了通讯的数学理论，代表了代表了“信息论信息论”的诞生。的诞生。(2)形成（形成（1956-19691956-1969）1956年提出了年提出了“ArtificialIntelligence（人工智能）人工

40、智能）”1956年年夏夏由由麻麻省省理理工工学学院院的的J.McCarthy、M.L.Minsky,IBM公公司司信信息息研研究究中中心心的的N.Rochester,贝贝尔尔实实验验室室的的C.E.Shannon共共同同发发起起，邀邀请请了了Moore,Samuel,Selfridge,Solomonff,Simon,Newell等等人人，10位位数数学学家家、信信息息学学家家、心心理理学学家家、神神经经生生理理学学家家、计计算算机机科科学学家家，在在Dartmouth大大学学召召开开了了一一次次关关于于机机器器智智能能的的研研讨讨会会，会会上上McCarthy提提议议正正式式采采用用了了Ar

41、tificialIntelligence（人人工工智智能能）这这一一术术语语。这这次次会会议议，标标志志着着人人工工智能作为一门新兴学科正式诞生了。智能作为一门新兴学科正式诞生了。McCarthy（麦卡锡）麦卡锡）人工智能之父人工智能之父。这次会议之后的这次会议之后的10年间，人工智能的研究取得了许多引人瞩目的成就年间，人工智能的研究取得了许多引人瞩目的成就.机器学习方面：机器学习方面：塞缪尔于塞缪尔于1956年研制出了跳棋程序，该程序能从棋谱年研制出了跳棋程序，该程序能从棋谱中学习，也能从下棋实践中提高棋艺；中学习，也能从下棋实践中提高棋艺；在定理证明方面：王浩于在定理证明方面：王浩于195

42、8年在年在IBM机上证明了数学原理中有关机上证明了数学原理中有关命题演算的全部定理（命题演算的全部定理（220条），还证明了谓词演算中条），还证明了谓词演算中150条定理条定理85%；1965年，鲁宾逊（年，鲁宾逊（Robinson）提出了消解原理；提出了消解原理；在模式识别方面：在模式识别方面：1959年塞尔夫里奇推出了一个模式识别程序；年塞尔夫里奇推出了一个模式识别程序；1965年年罗伯特（罗伯特（Robert）编制出可辨别积木构造的程序；编制出可辨别积木构造的程序；在问题求解方面：在问题求解方面：1960年纽厄尔等人通过心理学试验总结出了人们求解年纽厄尔等人通过心理学试验总结出了人们求解

43、问题的思维规律，编制了通用问题求解程序问题的思维规律，编制了通用问题求解程序GPS,可以用来求解可以用来求解11种不同种不同类型的问题；类型的问题；在专家系统方面：斯坦福大学的费根鲍姆（在专家系统方面：斯坦福大学的费根鲍姆（E.A.Feigenbaum）自自1965年年开始进行专家系统开始进行专家系统DENDRAL（化学分析专家系统），化学分析专家系统），1968年完成并投年完成并投入使用；入使用；在人工智能语言方面：在人工智能语言方面：1960年年McCarthy等人建立了人工智能程序设计等人建立了人工智能程序设计语言语言Lisp，该语言至今仍是建造智能系统的重要工具；该语言至今仍是建造智能

44、系统的重要工具；1969年成立了国际人工智能联合会议（年成立了国际人工智能联合会议（InternationalJointConferencesOnArtificialIntelligence）(3)发展（发展（1970年以后）年以后）70年代，开始从理论走向实践，解决一些实际问题。同时很快就发现问年代，开始从理论走向实践，解决一些实际问题。同时很快就发现问题：归结法费时、下棋赢不了全国冠军、机器翻译一团糟。题：归结法费时、下棋赢不了全国冠军、机器翻译一团糟。以以Feigenbaum为首的一批年轻科学家改变了战略思想，为首的一批年轻科学家改变了战略思想，1977年提出知年提出知识工程的概念，以知

45、识为基础的专家咨询系统开始广泛的应用。识工程的概念，以知识为基础的专家咨询系统开始广泛的应用。著名专家系统的有：著名专家系统的有：1.DENDRAL化学分析专家系统（斯坦福大学化学分析专家系统（斯坦福大学1968）2.MACSYMA符号数学专家系统（麻省理工符号数学专家系统（麻省理工1971）3.MYCIN诊断和治疗细菌感染性血液病的专家咨询系统（斯坦福大学诊断和治疗细菌感染性血液病的专家咨询系统（斯坦福大学1973）4.CASNET(CausalASsciationalNetwork)诊断和治疗青光眼的专家咨询系诊断和治疗青光眼的专家咨询系统（拉特格尔斯（统（拉特格尔斯（Rutgers）大学

46、大学70年代中）年代中）5.CADUCEUS(原名原名INTERNIST)医疗咨询系统（匹兹堡大学）；医疗咨询系统（匹兹堡大学）；6.HEARSAYI和和II语音理解系统（卡内基语音理解系统（卡内基-梅隆大学）梅隆大学）7.PROSPECTOR地质勘探专家系统（斯坦福大学地质勘探专家系统（斯坦福大学1976）8.XCON计算机配置专家系统（卡内基计算机配置专家系统（卡内基-梅隆大学梅隆大学1978）80年代，人工智能发展达到阶段性的顶峰。年代，人工智能发展达到阶段性的顶峰。87,89年世界大会有千人参加。硬件公司有上千个。并进行年世界大会有千人参加。硬件公司有上千个。并进行Lisp硬件、硬件、

47、Lisp机的研究。机的研究。在专家系统及其工具越来越商品化的过程中在专家系统及其工具越来越商品化的过程中,国际软件市场上形成国际软件市场上形成了一门旨在生产和加工知识的新产业了一门旨在生产和加工知识的新产业知识产业。应该说，知知识产业。应该说，知识工程和专家系统是近十余年来人工智能研究中最有成就的分支识工程和专家系统是近十余年来人工智能研究中最有成就的分支之一。之一。同年代，同年代，1986年年Rumlhart领导的并行分布处理研究小组提出了神领导的并行分布处理研究小组提出了神经元网络的反向传播学习算法，解决了神经网络的根本问题之一。经元网络的反向传播学习算法，解决了神经网络的根本问题之一。从

48、此，神经网络的研究进入新的高潮。从此，神经网络的研究进入新的高潮。90年代，计算机发展趋势为小型化、并行化、网络化、智能化。年代，计算机发展趋势为小型化、并行化、网络化、智能化。人工智能技术逐渐与数据库、多媒体等主流技术相结合，并融合在主人工智能技术逐渐与数据库、多媒体等主流技术相结合，并融合在主流技术之中，旨在使计算机更聪明、更有效、与人更接近。流技术之中，旨在使计算机更聪明、更有效、与人更接近。日本政府于日本政府于1992年结束了为期十年的称为年结束了为期十年的称为“知识信息处理体统知识信息处理体统”的第五代计算机系统研究开发计划。并开始了为期十年的实况计的第五代计算机系统研究开发计划。并

49、开始了为期十年的实况计算（算（RealWordComputing）计划。计划。3.Research Objects and Main Contents(1)人工智能的研究目标人工智能的研究目标 人工智能的长期研究目标：构造智能计算机。人工智能的长期研究目标：构造智能计算机。人工智能的近期研究目标：人工智能的近期研究目标：使现有的电子计算机更聪明，更有用，使它不仅能做一般的数值计使现有的电子计算机更聪明，更有用，使它不仅能做一般的数值计算及非数值信息的数据处理，而且能运用知识处理问题，能模拟人类算及非数值信息的数据处理，而且能运用知识处理问题，能模拟人类的部分智能行为的部分智能行为。(2)人工智

50、能研究的基本内容人工智能研究的基本内容 1.机器感知机器感知 以机器视觉与机器听觉为主。以机器视觉与机器听觉为主。机器感知是机器获取外部信息的基本途径，是使机器具有智能不可机器感知是机器获取外部信息的基本途径，是使机器具有智能不可 或缺的组成部分，对此人工智能中已形成两个专门的研究领域或缺的组成部分，对此人工智能中已形成两个专门的研究领域 模式识别和自然语言理解。模式识别和自然语言理解。2.机器思维机器思维 指通过感知的外部信息及机器内部的各种工作信息进行有目的的处指通过感知的外部信息及机器内部的各种工作信息进行有目的的处 理。理。主要开展以下几方面的研究：主要开展以下几方面的研究：(1)知识