人工智能6633393.pptx
《人工智能6633393.pptx》由会员分享,可在线阅读,更多相关《人工智能6633393.pptx(66页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、主讲教师:吴 斌EMALL:西南科技大学信息工程学院2009年9月 总学学时:45学学时 学学时安排:安排:绪论 2学学时 知知识表示表示 8学学时 确定性推理确定性推理 10学学时 不确定性推理不确定性推理 7学学时 状状态空空间搜索搜索 6学学时 机器学机器学习 4学学时 自然自然语言理解言理解 4学学时 课堂堂讨论 4学学时 成成绩构成:构成:平平时成成绩(写一篇(写一篇综述性述性论文)文)30分分 期末考期末考试70分。分。人工智能课程安排人工智能课程安排主要参考书第第1 1章章 绪绪 论论1.1 1.1 1.1 1.1 人工智能的起源人工智能的起源人工智能的起源人工智能的起源1.2
2、1.2 1.2 1.2 人工智能人工智能人工智能人工智能1.3 1.3 1.3 1.3 人工智能的研究方法和技术路线人工智能的研究方法和技术路线人工智能的研究方法和技术路线人工智能的研究方法和技术路线1.4 1.4 1.4 1.4 人工智能的研究领域与方向人工智能的研究领域与方向人工智能的研究领域与方向人工智能的研究领域与方向一、孕育期(一、孕育期(一、孕育期(一、孕育期(19561956年前)年前)年前)年前)人工智能的人工智能的人工智能的人工智能的发发展可追溯到展可追溯到展可追溯到展可追溯到1919世世世世纪纪,首先由布,首先由布,首先由布,首先由布尔尔和德和德和德和德 摩根提出了摩根提出
3、了摩根提出了摩根提出了“思思思思维维定律定律定律定律”,即,即,即,即“命命命命题题演算演算演算演算”,这这是走向是走向是走向是走向AIAI的第一步。在的第一步。在的第一步。在的第一步。在2020世世世世纪纪3030年代年代年代年代4040年年年年代,又形成了数学代,又形成了数学代,又形成了数学代,又形成了数学逻辑逻辑,并在,并在,并在,并在计计算机上得以算机上得以算机上得以算机上得以实现实现,它它它它为为人人人人们们建立了建立了建立了建立了计计算与智能之算与智能之算与智能之算与智能之间间的关系。的关系。的关系。的关系。二、形成期(二、形成期(二、形成期(二、形成期(19561956年年年年1
4、9701970年)年)年)年)1.1.各种学各种学各种学各种学术术会会会会议议和和和和杂杂志的志的志的志的诞诞生生生生 首先,首先,首先,首先,在在在在19561956年在美国年在美国年在美国年在美国举举行了行了行了行了长长达达达达2 2个月的研个月的研个月的研个月的研讨讨会,会,会,会,讨论讨论了机器模了机器模了机器模了机器模拟拟人人人人类类智能的智能的智能的智能的问题问题。并首次提。并首次提。并首次提。并首次提出了人工智能出了人工智能出了人工智能出了人工智能 宣布人工智能宣布人工智能宣布人工智能宣布人工智能诞诞生了;生了;生了;生了;第一节第一节 人工智能的起源的起源命题演算 命命题是指有
5、真假意是指有真假意义的的陈述句。命述句。命题演算是数理演算是数理逻辑的一部分,它主要的一部分,它主要研究命研究命题如何通如何通过一些命一些命题联结词构成更复构成更复杂的命的命题以及以及逻辑推理的方推理的方法。法。如果我如果我们把命把命题看作运算的看作运算的对象,如同代数中的数字、字母或代数象,如同代数中的数字、字母或代数式,而把式,而把逻辑联结词看作代数中的看作代数中的“加、减、乘、除加、减、乘、除”那那样的运算,那的运算,那么由么由简单命命题组成复合命成复合命题的的过程,就可以当作程,就可以当作逻辑运算的运算的过程,从而程,从而实现命命题的演算。的演算。这样的的逻辑运算也同代数运算一运算也同
6、代数运算一样具有一定的性具有一定的性质,满足一定的运足一定的运算算规律。例如律。例如满足交足交换律、律、结合律、分配律,同合律、分配律,同时也也满足足逻辑上的同一上的同一律、吸收律、双否律、德律、吸收律、双否律、德.摩根定律、肯定律、否定律和析取三段摩根定律、肯定律、否定律和析取三段论等推等推理定律。利用理定律。利用这些定律,我些定律,我们可以可以进行行逻辑推理,可以推理,可以简化复合命化复合命题,可以推可以推证两个复合命两个复合命题是不是等价,某个命是不是等价,某个命题是否是若干前提的有效是否是若干前提的有效结论等等。等等。其次,其次,其次,其次,在在在在19691969年召开了第一届国年召
7、开了第一届国年召开了第一届国年召开了第一届国际际人工智能人工智能人工智能人工智能联联合合合合会会会会议议(每两年(每两年(每两年(每两年举举行一次);行一次);行一次);行一次);各种学各种学各种学各种学术团术团体成立:体成立:体成立:体成立:美国人工智能学会(美国人工智能学会(美国人工智能学会(美国人工智能学会(AAAIAAAI)、)、)、)、英国的英国的英国的英国的AISBAISB,意大利的意大利的意大利的意大利的GLIAGLIA、加拿大加拿大加拿大加拿大计计算机算机算机算机智能研究会(智能研究会(智能研究会(智能研究会(CSCSICSCSI)、)、)、)、西德的西德的西德的西德的KIKI
8、和中国和中国和中国和中国AIAI学会学会学会学会(CAAICAAI)等;等;等;等;专门专门的人工智能的人工智能的人工智能的人工智能杂杂志和文集:志和文集:志和文集:志和文集:人工智能人工智能人工智能人工智能杂杂志志志志创创刊,刊,刊,刊,IJCAIIJCAI会会会会议录议录、Machine Machine IntelligenceIntelligence(英国)、英国)、英国)、英国)、Artificial Artificial IntelligenceIntelligence(日本)、日本)、日本)、日本)、计计算机智能研究学算机智能研究学算机智能研究学算机智能研究学会文集(加拿大)和会文
9、集(加拿大)和会文集(加拿大)和会文集(加拿大)和Congnitive ScienceCongnitive Science(美国);美国);美国);美国);学学学学术术会会会会议议:国国国国际际自自自自动动控制控制控制控制协协会、国会、国会、国会、国际际工工工工业业机器人机器人机器人机器人协协会、国会、国会、国会、国际际信息信息信息信息处处理理理理联联合会和国合会和国合会和国合会和国际际模式模式模式模式识别识别会会会会议议等;等;等;等;学学学学术术期刊:期刊:期刊:期刊:ACMACM、AFIPSAFIPS、IEEEIEEE等。等。等。等。2.2.主要的研究成果主要的研究成果主要的研究成果主要
10、的研究成果(1)(1)、心理学小、心理学小、心理学小、心理学小组组 在在在在19571957年,年,年,年,纽纽厄厄厄厄尔尔、肖(、肖(、肖(、肖(J.Shan)J.Shan)和西蒙等人和西蒙等人和西蒙等人和西蒙等人的心理学小的心理学小的心理学小的心理学小组组研制了一个称研制了一个称研制了一个称研制了一个称为逻辑为逻辑理理理理论论机机机机(Logic Theory Machine)Logic Theory Machine)的数学定理的数学定理的数学定理的数学定理证证明程序。明程序。明程序。明程序。该该程序模程序模程序模程序模拟拟了人了人了人了人类类用数理用数理用数理用数理逻辑证逻辑证明定理明定
11、理明定理明定理时时的思的思的思的思维规维规律。律。律。律。纽纽厄厄厄厄尔尔用它用它用它用它证证明了明了明了明了怀怀特特特特(A.N.Whitehead)A.N.Whitehead)和和和和罗罗素(素(素(素(B.A.W.Russell)B.A.W.Russell)的的的的历历史名史名史名史名著数学原理中的著数学原理中的著数学原理中的著数学原理中的3838条定理,开条定理,开条定理,开条定理,开创创了用了用了用了用 计计算机研究人算机研究人算机研究人算机研究人类类思思思思维维活活活活动规动规律的工作。律的工作。律的工作。律的工作。随后,在随后,在随后,在随后,在19601960年,又研制了通用年
12、,又研制了通用年,又研制了通用年,又研制了通用问题问题求解程求解程求解程求解程序,序,序,序,该该程序当程序当程序当程序当时时可以解决可以解决可以解决可以解决1111种不同种不同种不同种不同类类型的型的型的型的问题问题:如不定如不定如不定如不定积积分、三角函数、代数方程、猴子与香分、三角函数、代数方程、猴子与香分、三角函数、代数方程、猴子与香分、三角函数、代数方程、猴子与香蕉、河内梵塔、人羊蕉、河内梵塔、人羊蕉、河内梵塔、人羊蕉、河内梵塔、人羊过过河等。河等。河等。河等。(2)(2)、IBMIBM工程工程工程工程课题课题小小小小组组 1956 1956年,塞年,塞年,塞年,塞缪尔缪尔在在在在I
13、BM704IBM704计计算机上研制成功算机上研制成功算机上研制成功算机上研制成功了具有自学了具有自学了具有自学了具有自学习习、自、自、自、自组织组织和自适和自适和自适和自适应应能力的西洋跳能力的西洋跳能力的西洋跳能力的西洋跳棋程序。棋程序。棋程序。棋程序。该该程序可以从棋程序可以从棋程序可以从棋程序可以从棋谱谱中学中学中学中学习习、也可以在、也可以在、也可以在、也可以在下棋下棋下棋下棋过过程中程中程中程中积积累累累累经验经验、提高棋、提高棋、提高棋、提高棋艺艺。通。通。通。通过过不断的不断的不断的不断的学学学学习习,该该程序程序程序程序19591959年年年年击败击败了塞了塞了塞了塞缪尔缪尔
14、本人,本人,本人,本人,19621962年又年又年又年又击败击败了一个州冠了一个州冠了一个州冠了一个州冠军军。(3)(3)、MITMIT小小小小组组19581958年,麦卡年,麦卡年,麦卡年,麦卡锡锡建立了行建立了行建立了行建立了行动规动规划咨划咨划咨划咨询询系系系系统统;19601960年,麦卡年,麦卡年,麦卡年,麦卡锡锡又研制了人工智能又研制了人工智能又研制了人工智能又研制了人工智能语语言言言言LISPLISP。该语该语言不言不言不言不仅仅可以可以可以可以处处理数理数理数理数值值,而且可以方便地,而且可以方便地,而且可以方便地,而且可以方便地处处理符号,作理符号,作理符号,作理符号,作为为
15、建造智能系建造智能系建造智能系建造智能系统统的重要工具在人工的重要工具在人工的重要工具在人工的重要工具在人工智能智能智能智能领领域中得到广泛的域中得到广泛的域中得到广泛的域中得到广泛的应应用;用;用;用;19611961年,明斯基年,明斯基年,明斯基年,明斯基发发表了表了表了表了“走向人工智能的步走向人工智能的步走向人工智能的步走向人工智能的步骤骤”的的的的论论文,推文,推文,推文,推动动了人工智能的了人工智能的了人工智能的了人工智能的发发展;展;展;展;(4)(4)、其他方面、其他方面、其他方面、其他方面19651965年,年,年,年,鲁宾逊鲁宾逊(J.A.Robinson)J.A.Robi
16、nson)提出了提出了提出了提出了归结归结(消解)(消解)(消解)(消解)原理。原理。原理。原理。这这种与种与种与种与传统传统自然演自然演自然演自然演绎绎完全不同的方法完全不同的方法完全不同的方法完全不同的方法为为自自自自动动定理定理定理定理证证明做出了突破性的明做出了突破性的明做出了突破性的明做出了突破性的贡贡献。献。献。献。另外,另外,另外,另外,1965 1965年美国斯坦福大学的年美国斯坦福大学的年美国斯坦福大学的年美国斯坦福大学的费费根根根根鲍鲍姆姆姆姆(E.A.Feigenbaum)E.A.Feigenbaum)领导领导的研究小的研究小的研究小的研究小组组开始研究化开始研究化开始研
17、究化开始研究化学学学学专专家系家系家系家系统统DENDRALDENDRAL。该专该专家系家系家系家系统统于于于于19681968年年年年完成并投入使用,它可以根据完成并投入使用,它可以根据完成并投入使用,它可以根据完成并投入使用,它可以根据质谱仪质谱仪的的的的实验实验,通通通通过过分析推理决定化合物的分子分析推理决定化合物的分子分析推理决定化合物的分子分析推理决定化合物的分子结结构。构。构。构。DENDRALDENDRAL被称被称被称被称为专为专家系家系家系家系统统的萌芽,是人工智的萌芽,是人工智的萌芽,是人工智的萌芽,是人工智能研究从一般思能研究从一般思能研究从一般思能研究从一般思维维探探探
18、探讨讨到到到到专门专门知知知知识应识应用的一次用的一次用的一次用的一次成功的成功的成功的成功的尝试尝试。3 3、控制、控制、控制、控制论论的提出的提出的提出的提出对对人工智能的研究起到很大的人工智能的研究起到很大的人工智能的研究起到很大的人工智能的研究起到很大的作用作用作用作用 控制控制控制控制论论的概念跨接了的概念跨接了的概念跨接了的概念跨接了许许多多多多领领域,它把神域,它把神域,它把神域,它把神经经系系系系统统的工作原理与信息理的工作原理与信息理的工作原理与信息理的工作原理与信息理论论、控制理、控制理、控制理、控制理论论、逻辑逻辑以及早期以及早期以及早期以及早期计计算算算算联联系起来,系
19、起来,系起来,系起来,为为此,控制此,控制此,控制此,控制论论成成成成为为人人人人工智能工作者的指工智能工作者的指工智能工作者的指工智能工作者的指导导思想。思想。思想。思想。三、知识形成期(三、知识形成期(三、知识形成期(三、知识形成期(1971197119711971年年年年1980198019801980年代末)年代末)年代末)年代末)1.1.挫折与教挫折与教挫折与教挫折与教训训 在在在在7070年代年代年代年代8080年代,人工智能遭受了年代,人工智能遭受了年代,人工智能遭受了年代,人工智能遭受了严严重的重的重的重的挫折。很多挫折。很多挫折。很多挫折。很多预预言未能得以言未能得以言未能得
20、以言未能得以实现实现。如:在博奕方。如:在博奕方。如:在博奕方。如:在博奕方面,塞面,塞面,塞面,塞缪尔缪尔的下棋程序在与世界冠的下棋程序在与世界冠的下棋程序在与世界冠的下棋程序在与世界冠军对军对奕奕奕奕时时,5 5局中局中局中局中击败击败了了了了4 4局;在定理局;在定理局;在定理局;在定理证证明方面,明方面,明方面,明方面,发现鲁宾发现鲁宾逊逊的的的的归结归结原理的能力十分有限,当用原理的能力十分有限,当用原理的能力十分有限,当用原理的能力十分有限,当用归结归结原理原理原理原理证证明两个明两个明两个明两个连续连续函数之和函数之和函数之和函数之和还还是是是是连续连续函数函数函数函数时时,推了
21、,推了,推了,推了1010万步也没有万步也没有万步也没有万步也没有结结果;在果;在果;在果;在问题问题求解方面,由于求解方面,由于求解方面,由于求解方面,由于过过去研究的多是良去研究的多是良去研究的多是良去研究的多是良结结构构构构问题问题,而,而,而,而现实现实世界中的世界中的世界中的世界中的问问题题又多是不良又多是不良又多是不良又多是不良结结构,如果仍用那些方法去构,如果仍用那些方法去构,如果仍用那些方法去构,如果仍用那些方法去处处理,理,理,理,将会将会将会将会产产生生生生组组合爆炸。合爆炸。合爆炸。合爆炸。在机器翻在机器翻在机器翻在机器翻译译方面、在神方面、在神方面、在神方面、在神经经生
22、理学方面、在人工生理学方面、在人工生理学方面、在人工生理学方面、在人工智能的本智能的本智能的本智能的本质质、理、理、理、理论论、思想及机理方面等都有不、思想及机理方面等都有不、思想及机理方面等都有不、思想及机理方面等都有不同程度的失同程度的失同程度的失同程度的失败败。2.2.以知以知以知以知识为识为中心的研究中心的研究中心的研究中心的研究 在在在在这这种极端困种极端困种极端困种极端困难难的情况下,仍有一大批人的情况下,仍有一大批人的情况下,仍有一大批人的情况下,仍有一大批人 工智能学者不畏工智能学者不畏工智能学者不畏工智能学者不畏艰艰辛、潜心研究。在辛、潜心研究。在辛、潜心研究。在辛、潜心研究
23、。在19721972年,年,年,年,费费根根根根鲍鲍姆在姆在姆在姆在继继化学化学化学化学专专家系家系家系家系统统DENDRALDENDRAL之后,之后,之后,之后,又又又又领导领导他的研究小他的研究小他的研究小他的研究小组组开始研究开始研究开始研究开始研究MYCINMYCIN专专家系家系家系家系统统,并于,并于,并于,并于19761976年研制成功。年研制成功。年研制成功。年研制成功。MYCINMYCIN是一个用是一个用是一个用是一个用于于于于细细菌感染患者的菌感染患者的菌感染患者的菌感染患者的诊诊断和治断和治断和治断和治疗疗医学医学医学医学专专家系家系家系家系统统。从从从从应应用的角度看,它
24、可以用的角度看,它可以用的角度看,它可以用的角度看,它可以识别识别5151种病菌,正确种病菌,正确种病菌,正确种病菌,正确使用使用使用使用2323种抗生素,能种抗生素,能种抗生素,能种抗生素,能协协助内科医生助内科医生助内科医生助内科医生诊诊断断断断细细菌感菌感菌感菌感染疾病,并染疾病,并染疾病,并染疾病,并为为患者提供最佳患者提供最佳患者提供最佳患者提供最佳处处方。方。方。方。1976 1976年,斯坦福大学国年,斯坦福大学国年,斯坦福大学国年,斯坦福大学国际际人工智能中心杜人工智能中心杜人工智能中心杜人工智能中心杜达(达(达(达(R.D.Duda)R.D.Duda)等人开始研制地等人开始研
25、制地等人开始研制地等人开始研制地质质勘探勘探勘探勘探专专家系家系家系家系统统PROSPECTORPROSPECTOR,到到到到19811981年年年年该该系系系系统统已已已已拥拥有有有有1515种种种种矿矿藏知藏知藏知藏知识识。另外,。另外,。另外,。另外,还还有有有有MITMIT在在在在19711971年研制了数年研制了数年研制了数年研制了数学学学学专专家系家系家系家系统统MACSYMAMACSYMA,19781978年研制成功的用年研制成功的用年研制成功的用年研制成功的用于青光眼于青光眼于青光眼于青光眼诊诊断和治断和治断和治断和治疗疗的的的的专专家系家系家系家系统统CASNETCASNET
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 6633393
限制150内