人工智能---概论53精编版

《人工智能---概论53精编版》由会员分享，可在线阅读，更多相关《人工智能---概论53精编版（54页珍藏版）》请在金锄头文库上搜索。

1、,人 工 智 能,计算机科学与技术系,夏 定 纯,计算机科学学院 夏定纯 ,参考资料,Principle of Artificial Intelligence. Nilson N.J. 1980. Artificial Intelligence. Winston P.H. 1984. 人工智能导论. 林尧瑞,马少平. 1989. 清华大学出版社. 人工智能原理. 石纯一,黄昌宁,王家. 1993. 清华大学出版社. 计算智能. 夏定纯,徐涛. 2008. 科学出版社.,计算机科学学院 夏定纯 ,第1章 绪论,计算机科学学院 夏定纯 ,1.1. 人机之战,计算机科学学院 夏定纯 ,1.1. 人机

2、之战,Garry Kimovich Kasparov,对手：,计算机科学学院 夏定纯 ,1.1. 人机之战,G.K. Kasparov,1 2 3 4 5 6 total 1 0 1/2 1/2 1/2 0 2.5 0 1 1/2 1/2 1/2 1 3.5,对手：,计算机科学学院 夏定纯 ,机器是否会有类似人的智能? 机器是否能够真正具有智能 ？ 机器是否会超过人类？,1.1. 人机之战,计算机科学学院 夏定纯 ,智能是什么，它到底代表什么含义？ 机器是否能够和人一样，具有智能？ 我们是否能够在机器上复制出智能？ 制造出来的机器人的智力，是否可以超过人类？ ，？,几个问题：,1.1. 人机之

3、战,计算机科学学院 夏定纯 ,1.2. 关于智能,智能,个体有目的行为、合理的思维、适应环境的综合能力。,综合能力,1.2. 关于智能,感知与认识事物、客观世界与自我的能力； 通过学习取得经验、积累知识的能力； 联想、推理、判断、决策的能力； 发现、发明、创造、创新的能力； 实时、迅速、合理地应付复杂环境地能力； 预测、洞察事物发展变化的能力； ,计算机科学学院 夏定纯 ,1.2. 关于智能,几种关于智能的观点,思维理论,智能的核心是思维； 智能来自于大脑的思维活动； 知识是思维的产物； 通过对思维规律与方法的研究可望揭示智能的本质。,1.2. 关于智能,计算机科学学院 夏定纯 ,1.2. 关

4、于智能,几种关于智能的观点,知识理论,智能就是在巨大知识空间中找到满意解的能力。 智能行为取决于知识的数量及可运用的程度。 在AI中有着重要的影响，知识工程、专家系统等都是在其影响下发展起来的。,1.2. 关于智能,计算机科学学院 夏定纯 ,1.2. 关于智能,几种关于智能的观点,进化理论,(美)麻省理工学院MIT的Prof. R.Brook提出“没有表达的智能”(1991)、“没有推理的智能”(1992)； 智能取决于感知和行为、对外界复杂环境的适应； 智能不需知识、不需表达、不需推理； 智能可以由逐步进化实现； 这一观点尚未形成完整理论体系，反对者大有人在。,1.2. 关于智能,计算机科学

5、学院 夏定纯 ,智能,一切智能行为的基础,获取知识并运用知识的能力,1.2. 关于智能,计算机科学学院 夏定纯 ,1.3. 人工智能 ( Artificial Intelligence ),1.3. 人工智能,几种观点,在机器上模拟智能人的智能，又称机器智能。 用机器模仿和执行某些智力功能、开发相关理论和技术。 使机器在各类环境中能自主地或交互式地执行各种拟人任务。 构造智能机器(或系统)，模拟、延伸、扩展人类智能。 机器能够听、说、看、写、思维、学习，能适应环境的变化、能解决各种实际问题，等等。,什么是人工智能 (AI)？,计算机科学学院 夏定纯 ,如何评价机器智能,1.3. 人工智能,计算

6、机科学学院 夏定纯 ,1.4. AI的发展,1.4. AI发展,AI是一门综合性的交叉学科。 涉及：,计算机科学 控制论 信息论 神经心理学 哲学 语言学 ,计算机科学学院 夏定纯 ,1.4. AI发展,1.4. AI的发展,计算机科学学院 夏定纯 ,Aristotle(公元前384322)：在工具论中提出形式逻辑； Bacon(15611626)：在新工具论中提出归纳法； (德)Leibnitz(16461716)：在研制四则计算器时，提出通用符号和推理计算，使形式逻辑符号化，奠定数理逻辑的基础； (英)Boole(18151864)：创立布尔代数，首次用符号语言描述思维活动的基本推理规则；

7、 (英)Turning(1912-1954)：提出理想计算模型-图灵机，创立自动机理论； (美)W.McCuLoch与W.Pitts(1943年)：提出神经元模型，开创人工神经网络研究； (美)N.Wiener(1948年)：控制论(揭示人与机器之间的共性),萌芽阶段(1956年),1.4. AI发展,计算机科学学院 夏定纯 ,现实世界中相当多的问题求解是复杂的，常无算法可循； 有些问题即使有计算方法，也是NP难问题； 为此，人们常常其他方法进行问题求解； 启发式方法： 把复杂问题加以简化； 运用专门领域知识的经验知识，在搜索空间中迅速找到解答； 经常会取得有关问题的满意解，而非数学上的最优解

8、。,形成阶段(19561970),导因,1.4. AI发展,计算机科学学院 夏定纯 ,时 间：1956年夏； 地 点：(美)Dartmouth大学； 事 件：两个月的夏季学术讨论班，讨论机器智能问题。 发起人：年青数学助教J.McCarthy； 与会者： M.L.Minsky (MIT)、N.Lochester (IBM) C.E.Shannon (Bell)、T.Moore和A.L.Samuel (IBM) O.Selfridge和R.Solomonff (MIT) A.Newell和H.A.Simon (Carnage大学)。,形成阶段(19561970),提出,1.4. AI发展,计算机

9、科学学院 夏定纯 ,1.4. AI发展,会上经麦卡锡提议，正式采用Artificial Intelligence术语，从而开创了人工智能作为一门独立学科的研究方向。 这是一次具有历史意义的重要会议，它标志着人工智能作为一门新兴学科正式诞生。,计算机科学学院 夏定纯 ,机器学习方面：1956年Samuel研制出跳棋程序，有学习与适应能力。1959年战胜设计者本人，1962年击败美国州冠军。 这是机器模拟人类学习过程的一次极有意义的探索。,AI研究应用成果：,1.4. AI发展,定理证明方面：1956年Newell、J.Shaw和Simon编制逻辑理论程序LT，证明数学原理第二章中的38条定理 这

10、是计算机模拟人高级思维活动的一个重大成果。,1957年，Newell、Shaw和Simon总结人们求解问题的思维规律，于1960年编制了通用问题求解程序(Genera1 Problem Solver)，不依赖于具体领域，能求解11种不同类型问题。,计算机科学学院 夏定纯 ,语言方面：1958年，McMathy发明LISP(表处理语言)，用于建造智能系统，可以方便处理符号，并很快成为AI智能程序设计的主要语言。 模式识别方面：1959年，Selfridge推出了一个模式识别程序。1965年Robert编制出了可分辨积木构造的程序。 专家系统方面：E.A.Feigenbaum于1968年研制成功专

11、家系统(ES)，可分析推理化合物的分子结构。这是对知识表示、存储、获取、推理及利用等技术是一次非常有益的探索，对AI发展产生深刻影响，其意义远远超出系统本身所创造的价值。,1.4. AI发展,其它：1969年，成立国际人工智能联合会议IJCAI(International Joint Conferences on Artificial Intelligent)，它标志着AI这门新兴学科得到世界的肯定与公认。,计算机科学学院 夏定纯 ,发展阶段(1970),1972年法国马赛大学的科麦瑞尔(A.Colmerauer)实现逻辑程序设计语言PROLOG，这是以逻辑为基础的程序设计语言，最先由R.Ko

12、walski提出。 1970年创刊国际性杂志Artificial Intelligent，它对推动AI的发展，促进研究者们的交流起到了重要作用。,1.4. AI发展,计算机科学学院 夏定纯 ,AI的一连串成果，使人们作出了乐观的预言。,1958年，Newell和Simon充满自信地说：,10年内，计算机将成为世界的象棋冠军； 10年内，计算机将要发现和证明重要的数学定理； 10年内，计算机将能谱写具有优秀作曲家水平的乐曲； 10年内，大多数心理学理论将在计算机上形成。,1.4. AI发展,计算机科学学院 夏定纯 ,现实情况：,Samuel的下棋程序在当了州的冠军之后再也没有当上全国冠军；,定理

13、证明方面，消解法的能力很有限，在证明两个连续函数之和还是连续函数时，推理10万步还没有推出来。,自然语言的机器翻译方面文字阴差阳错。 著名的例子是： The spirit is willing, but the flesh is weak(心有余而力不足) 翻成俄语后，再翻回来则变成： The wine is good but the meat is spoiled(酒是好的，肉变质了),M-P神经元模型离实际智能模拟还很远，设计一个少于1000神经元的蚂蚁神经系统，已超出当时的技术条件。,1.4. AI发展,计算机科学学院 夏定纯 ,反思,AI指导思想：用计算机模拟人类思维的普遍规律； 模拟

14、重心：建立通用万能的符号逻辑运算体系(GPS)； 问题关键：忽视现实世界的复杂性和问题的多样性。,1.4. AI发展,总结过去经验及教训，E.A.Feigenbaum提出以知识为中心的人工智能，此观点被大多数人接受。 1965年, Feigenbaum研制成功专家系统(Expert System)，开创了AI研究的新领域。,计算机科学学院 夏定纯 ,ES： 专注于相对狭小的专业领域，建立基于知识的AI系统。,1977年第五届国际人工智能联合会议，Feigenbaum提出了知识工程 (Knowledge Engineering)概念，对以知识为基础的智能系统研究与建造起到重要作用，并因此获得Tu

15、rning奖。,1.4. AI发展,GPS： 寻求一个通用的逻辑推理系统，能解决所有类型问题。,GPS vs. ES,计算机科学学院 夏定纯 ,1.5. AI的研究与应用,定理证明：模拟人类证明定理的方法，实现非数值演算过程； 语言理解：使计算机能够理解和生成自然语言； 程序设计：使计算机能够将自然语言自动转换成可执行程序； 专家系统：基于知识的智能系统，用于特定的专业领域； 决策支持：在传统决策支持系统中添加智能部件(如ES技术)；,1.5. AI研究应用,机器学习：使计算机能够模拟或实现人的学习功能； 神经网络： 并行连接网络结构模拟或实现人的智能； 模式识别：使计算机能够对给定事物进行鉴

16、别，并归入到模式中； 机器视觉：使计算机能够模拟或实现人类视觉功能的学科； 智能控制：使计算机能够自主实现目标的自动控制。,计算机科学学院 夏定纯 ,AI研究方法,(1).符号主义Symbolicism 逻辑主义Logicism/心理学派Psychologism/计算机学派Computerism 方法： 基于符号推理系统 智能行为等价于一个符号系统 运用启发式搜索求解。 观点： 功能模拟,1.5. AI研究应用,计算机科学学院 夏定纯 ,1.5. AI研究应用,AI研究方法,(2).联结主义Connectionism 仿生学派Bionicsism/生理学派Physiologism 方法： 基于人类大脑的神经网络联结机制 神经网络学习算法 信息分布存储、并行处理 观点： 结构模拟,计算机科学学院 夏定纯 ,1.5. AI研究应用,AI研究方法,(3).行为主义Actionism 进化学派Evolutionism/控制论学派Cybernet