《人工智能概论》PPT课件.ppt

计算机科学学院 夏定纯,人 工 智 能,计算机科学与技术系,夏 定 纯,计算机科学学院 夏定纯,参考资料,Principle of Artificial Intelligence.Nilson N.J.1980.Artificial Intelligence.Winston P.H.1984.人工智能导论.林尧瑞,马少平.1989.清华大学出版社.人工智能原理.石纯一,黄昌宁,王家.1993.清华大学出版社.计算智能.夏定纯,徐涛.2008.科学出版社.,计算机科学学院 夏定纯,第1章 绪论,计算机科学学院 夏定纯,1.1.人机之战,计算机科学学院 夏定纯,1.1.人机之战,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.人机之战,计算机科学学院 夏定纯,1.2.关于智能,智能,个体有目的行为、合理的思维、适应环境的综合能力。,综合能力,1.2.关于智能,感知与认识事物、客观世界与自我的能力；通过学习取得经验、积累知识的能力；联想、推理、判断、决策的能力；发现、发明、创造、创新的能力；实时、迅速、合理地应付复杂环境地能力；预测、洞察事物发展变化的能力；,计算机科学学院 夏定纯,1.2.关于智能,几种关于智能的观点,思维理论,智能的核心是思维；智能来自于大脑的思维活动；知识是思维的产物；通过对思维规律与方法的研究可望揭示智能的本质。,1.2.关于智能,计算机科学学院 夏定纯,1.2.关于智能,几种关于智能的观点,知识理论,智能就是在巨大知识空间中找到满意解的能力。智能行为取决于知识的数量及可运用的程度。在AI中有着重要的影响，知识工程、专家系统等都是在其影响下发展起来的。,1.2.关于智能,计算机科学学院 夏定纯,1.2.关于智能,几种关于智能的观点,进化理论,(美)麻省理工学院MIT的Prof.R.Brook提出“没有表达的智能”(1991)、“没有推理的智能”(1992)；智能取决于感知和行为、对外界复杂环境的适应；智能不需知识、不需表达、不需推理；智能可以由逐步进化实现；这一观点尚未形成完整理论体系，反对者大有人在。,1.2.关于智能,计算机科学学院 夏定纯,智能,一切智能行为的基础,获取知识并运用知识的能力,1.2.关于智能,计算机科学学院 夏定纯,1.3.人工智能(Artificial Intelligence),1.3.人工智能,几种观点,在机器上模拟智能人的智能，又称机器智能。用机器模仿和执行某些智力功能、开发相关理论和技术。使机器在各类环境中能自主地或交互式地执行各种拟人任务。构造智能机器(或系统)，模拟、延伸、扩展人类智能。机器能够听、说、看、写、思维、学习，能适应环境的变化、能解决各种实际问题，等等。,什么是人工智能(AI)？,计算机科学学院 夏定纯,如何评价机器智能,1.3.人工智能,计算机科学学院 夏定纯,1.4.AI的发展,1.4.AI发展,AI是一门综合性的交叉学科。涉及：,计算机科学控制论信息论神经心理学哲学语言学,计算机科学学院 夏定纯,1.4.AI发展,1.4.AI的发展,计算机科学学院 夏定纯,Aristotle(公元前384322)：在工具论中提出形式逻辑；Bacon(15611626)：在新工具论中提出归纳法；(德)Leibnitz(16461716)：在研制四则计算器时，提出通用符号和推理计算，使形式逻辑符号化，奠定数理逻辑的基础；(英)Boole(18151864)：创立布尔代数，首次用符号语言描述思维活动的基本推理规则；(英)Turning(1912-1954)：提出理想计算模型-图灵机，创立自动机理论；(美)W.McCuLoch与W.Pitts(1943年)：提出神经元模型，开创人工神经网络研究；(美)N.Wiener(1948年)：控制论(揭示人与机器之间的共性),萌芽阶段(1956年),1.4.AI发展,计算机科学学院 夏定纯,现实世界中相当多的问题求解是复杂的，常无算法可循；有些问题即使有计算方法，也是NP难问题；为此，人们常常其他方法进行问题求解；启发式方法：把复杂问题加以简化；运用专门领域知识的经验知识，在搜索空间中迅速找到解答；经常会取得有关问题的满意解，而非数学上的最优解。,形成阶段(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发展,计算机科学学院 夏定纯,1.4.AI发展,会上经麦卡锡提议，正式采用Artificial Intelligence术语，从而开创了人工智能作为一门独立学科的研究方向。这是一次具有历史意义的重要会议，它标志着人工智能作为一门新兴学科正式诞生。,计算机科学学院 夏定纯,机器学习方面：1956年Samuel研制出跳棋程序，有学习与适应能力。1959年战胜设计者本人，1962年击败美国州冠军。这是机器模拟人类学习过程的一次极有意义的探索。,AI研究应用成果：,1.4.AI发展,定理证明方面：1956年Newell、J.Shaw和Simon编制逻辑理论程序LT，证明数学原理第二章中的38条定理这是计算机模拟人高级思维活动的一个重大成果。,1957年，Newell、Shaw和Simon总结人们求解问题的思维规律，于1960年编制了通用问题求解程序(Genera1 Problem Solver)，不依赖于具体领域，能求解11种不同类型问题。,计算机科学学院 夏定纯,语言方面：1958年，McMathy发明LISP(表处理语言)，用于建造智能系统，可以方便处理符号，并很快成为AI智能程序设计的主要语言。模式识别方面：1959年，Selfridge推出了一个模式识别程序。1965年Robert编制出了可分辨积木构造的程序。专家系统方面：于1968年研制成功专家系统(ES)，可分析推理化合物的分子结构。这是对知识表示、存储、获取、推理及利用等技术是一次非常有益的探索，对AI发展产生深刻影响，其意义远远超出系统本身所创造的价值。,1.4.AI发展,其它：1969年，成立国际人工智能联合会议IJCAI(International Joint Conferences on Artificial Intelligent)，它标志着AI这门新兴学科得到世界的肯定与公认。,计算机科学学院 夏定纯,发展阶段(1970),1972年法国马赛大学的科麦瑞尔(A.Colmerauer)实现逻辑程序设计语言PROLOG，这是以逻辑为基础的程序设计语言，最先由R.Kowalski提出。1970年创刊国际性杂志Artificial Intelligent，它对推动AI的发展，促进研究者们的交流起到了重要作用。,1.4.AI发展,计算机科学学院 夏定纯,AI的一连串成果，使人们作出了乐观的预言。,1958年，Newell和Simon充满自信地说：,10年内，计算机将成为世界的象棋冠军；10年内，计算机将要发现和证明重要的数学定理；10年内，计算机将能谱写具有优秀作曲家水平的乐曲；10年内，大多数心理学理论将在计算机上形成。,1.4.AI发展,计算机科学学院 夏定纯,现实情况：,Samuel的下棋程序在当了州的冠军之后再也没有当上全国冠军；,定理证明方面，消解法的能力很有限，在证明两个连续函数之和还是连续函数时，推理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指导思想：用计算机模拟人类思维的普遍规律；模拟重心：建立通用万能的符号逻辑运算体系(GPS)；问题关键：忽视现实世界的复杂性和问题的多样性。,1.4.AI发展,总结过去经验及教训，提出以知识为中心的人工智能，此观点被大多数人接受。1965年,Feigenbaum研制成功专家系统(Expert System)，开创了AI研究的新领域。,计算机科学学院 夏定纯,ES：专注于相对狭小的专业领域，建立基于知识的AI系统。,1977年第五届国际人工智能联合会议，Feigenbaum提出了知识工程(Knowledge Engineering)概念，对以知识为基础的智能系统研究与建造起到重要作用，并因此获得Turning奖。,1.4.AI发展,GPS：寻求一个通用的逻辑推理系统，能解决所有类型问题。,GPS vs.ES,计算机科学学院 夏定纯,1.5.AI的研究与应用,定理证明：模拟人类证明定理的方法，实现非数值演算过程；语言理解：使计算机能够理解和生成自然语言；程序设计：使计算机能够将自然语言自动转换成可执行程序；专家系统：基于知识的智能系统，用于特定的专业领域；决策支持：在传统决策支持系统中添加智能部件(如ES技术)；,1.5.AI研究应用,机器学习：使计算机能够模拟或实现人的学习功能；神经网络：并行连接网络结构模拟或实现人的智能；模式识别：使计算机能够对给定事物进行鉴别，并归入到模式中；机器视觉：使计算机能够模拟或实现人类视觉功能的学科；智能控制：使计算机能够自主实现目标的自动控制。,计算机科学学院 夏定纯,AI研究方法,(1).符号主义Symbolicism逻辑主义Logicism/心理学派Psychologism/计算机学派Computerism方法：基于符号推理系统智能行为等价于一个符号系统运用启发式搜索求解。观点：功能模拟,1.5.AI研究应用,计算机科学学院 夏定纯,1.5.AI研究应用,AI研究方法,(2).联结主义Connectionism仿生学派Bionicsism/生理学派Physiologism方法：基于人类大脑的神经网络联结机制神经网络学习算法信息分布存储、并行处理观点：结构模拟,计算机科学学院 夏定纯,1.5.AI研究应用,AI研究方法,(3).行为主义Actionism进化学派Evolutionism/控制论学派Cyberneticsism方法：基于控制论(感知-动作)智能取决于感知和行为，取决于对环境的适应，而不是表示和推理不同的行为表现出不同的功能和控制结构观点：行为模拟,计算机科学学院 夏定纯,1.SymbolicClassical AIPhysical symbol system hypothesisLogical,top-down,designed behavior2.SubsymbolicModern AI,neural networks,evolutionary machinesIntelligent behavior is the result of subsymbolic processingBiological,bottom-up,learning-based,方法的对比,symbolic vs.subsymbolic,computer vs.brain,Computer:serial processing,binary logicBrain:parallel processing,fuzzy logic,1.5.AI研究应用,计算机科学学院 夏定纯,Symbolic AI1943:Production rules 1956:“Artificial Intelligence”1958:LISP AI language1965:Resolution theorem proving1970:PROLOG language1971:STRIPS planner1973:MYCIN expert system1982-92:Fifth generation computer systems project1994:Intelligent agents,Biological AI1943:McCulloch-Pitts neurons 1959:Perceptron1965:Cybernetics1966:Simulated evolution1975:Genetic algorithm1982:Neural networks1986:Connectionism1987:Artificial life1992:Genetic programming1994:DNA computing1997:PSO、ANTs,1.5.AI研究应用,计算机科学学院 夏定纯,(1).博弈,跳棋、国际象棋、五子棋、围棋；,1.6.AI研究内容,1.6.AI研究内容,(2).机器定理证明,Logic Theorist一阶谓词逻辑,(3).自动程序设计,(4).通用问题求解,计算机科学学院 夏定纯,(5).感知,视觉语音,(6).自然语言理解与生成,计算语言学,(7).自动推理,1.6.AI研究内容,机器定理证明归结原理非单调推理定性推理不确定性推理：概率论、Bayes理论、证据理论、Fuzzy理论,1.6.AI研究内容,计算机科学学院 夏定纯,(8).机器学习,无知识学习：ANN、基于决策论方法归纳学习：AQ算法、ID3算法分析学习(实例学习)：基于解释的学习、知识块(Chunking)学习；发现学习：根据实验数据或模型重新发现定律的方法；遗传学习：自然选择、变异；连接学习：神经网络学习知识发现：数据挖掘、分类规则、特征规划、关联规则、差异规则、演化规则、异常规则；,1.6.AI研究内容,1.6.AI研究内容,计算机科学学院 夏定纯,(9).分布式人工智能DAI,1980年第一届DAI会议；研究：逻辑上或物理上分散的智能动作者如何协调其智能行为，如知识、技能和规划；求解单目标和多目标问题；大型复杂的智能系统和计算机协同工作分布式问题求解DPS；多Agnet系统MAS,1.6.AI研究内容,(10).知识系统,专家系统知识库系统智能决策系统知识科学,1.6.AI研究内容,计算机科学学院 夏定纯,图灵（Alan Turing）,1912年生于英国伦敦，1954年死于英国的曼彻斯特。计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。重要贡献在于他提出的有限状态自动机，即图灵机的概念。对于人工智能，他提出了重要的衡量标准“图灵测试”。杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家，将计算机界的最高奖定名为“图灵奖”。,1.7.影响人物,1.6.影响人物,计算机科学学院 夏定纯,1894年11月26日生于美国哥伦比亚市1964年3月18日死于斯德哥尔摩。数学家、控制论之父。,1.6.影响人物,维纳（Norbert Wiener）,计算机科学学院 夏定纯,1903年12月28日生于匈牙利，1957年2月8日死于美国。计算机之父。计算机内采用的体系结构就是以他的命名的冯诺依曼结构。,1.6.影响人物,冯诺依曼（von Neumann）,计算机科学学院 夏定纯,1927年9月4日生于波士顿。关心人类可持续发展的技术乐观主义者。首次提出人工智能（AI）概念，被誉为AI之父。发明Lisp语言。研究不寻常的常识推理，发明“情景演算”。,1.6.影响人物,麦卡锡（John McCarthy）,计算机科学学院 夏定纯,小 结：,智能与人工智能 图灵测试；知识工程与专家系统；AI研究途径 AI应用领域。,计算机科学学院 夏定纯,练习,什么是人工智能(AI)？你知道有哪些AI实例?并给出分析和说明。在哪里可以运用AI?请进行分析和讨论,计算机科学学院 夏定纯,Thanks!,2).有哪些AI应用示例,工业炼钢温度等环境的自动调节笔记本人脸识别(开机解锁)QQ现在有语音识别：说话可显示相应汉字电脑、手机、智能GPS导航智能机器人、工控设备下棋远程卫星遥控、机器人足球智能家电：电视机、冰箱、洗衣机,作业-学生作业汇集,2).有哪些AI应用示例(续),智能玩具智能手机无人飞机游戏面像数据、游戏AI模式苹果智能语言软件：语言识别、发出相应操作智能导航仪装配生产线机械手臂同声翻译,作业-学生作业汇集,2).有哪些AI应用示例(续),火箭发射智能小车寻路导弹识别并跟踪追击机器人保姆人造眼球机器人擦窗、拖地智能泊车智能灾难搜救,作业-学生作业汇集,3).有哪些地方可以运用AI,防盗门通过视频识别开门智能家电：全方位住宅自动控制(自动调节温度、湿度、空气质量等)家电智能化通信、交通指挥人机交流商业、军事(无人飞机)、外太空(火星探测)微型医疗机器人,作业-学生作业汇集,3).有哪些地方可以运用AI(续),工厂生产线：智能机器机器人领域、游戏方面语言识别、图像识别自然语言理解专家系统电话领域：代替人工服务家庭：智能清洁军事领域,作业-学生作业汇集,3).有哪些地方可以运用AI(续),自动售货机无人驾驶汽车恶劣环境劳动工作太空站、高温高压领域智能做饭机地形考查国防方面：智能机器人守卫边疆煤矿井下工作,作业-学生作业汇集,3).有哪些地方可以运用AI(续),机器人导游灾难救援机器人：寻路带出困境简单、重复工作：讲课心理学：根据对方表情、情绪等作出及时反应安防识别控制医疗机器人农业：播种、灌溉、收割指纹识别、打假、食品安全检测,作业-学生作业汇集,3).有哪些地方可以运用AI(续),家庭事务助理、智能家用电器变频空调车载报警控制系统：车祸避免医学领域：药物分子智能导向到病患处医学领域：微机器人送入人体监护、诊断、手术教育：远程视频教程淘宝商城：AI代替人工客服交通十字路灯,作业-学生作业汇集,