《人工智能导论第一章绪论优秀PPT.ppt》由会员分享，可在线阅读，更多相关《人工智能导论第一章绪论优秀PPT.ppt（57页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、为什么要探讨人工智能n一般计算机灵能低下，不能满足社会需求。n探讨人工智能也是当前信息化社会的迫切需求。n智能化是自动化发展的必定趋势。n探讨人工智能，对人类自身智能的奇异也供应有益帮助。第一章绪论n人工智能Artificial Intelligence是一门关于理解人类智能内在机制，并在机器上予以实现的科学。n人工智能技术的发展对社会的进步具有重要意义，与能源技术、空间技术并称为三大尖端技术。n人类对人工智能的探讨刚刚起步，有很多关于人工智能根本性问题还有待于探究。1.1 智能n从工程上讲，人工智能就是人造智能，不清晰什么是智能，就难以真正理解和实现人工智能。n智能是人们相识和改造客观世界的
2、综合实力，是人类区分于其他事物的本质特征。n智能是多种实力的综合：n感知实力：人类获得外界信息的基本途径n行为实力：对感知到的外界信息的反应，包含：n简洁的干脆反应n困难状况通过大脑思维反应n推理实力：依据当前驾驭的信息，得出适当结论的实力n问题求解实力：n学习与自适应实力是人类的一种本能n社交实力：与他人交往的实力n创建力：智能中最难以理解和实现的部分1.2 人工智能n一般性概念：人工智能是关于理解人类智能内在机制，并在机器上予以实现的科学。具有实力和科学两方面的含义：n实力：AI是在理解智能的技术上，用人工的方法所实现的智能-首先需解决如何衡量机器是否具有智能。n学科：AI是一门探讨如何构
3、造智能机器，使他能够模拟、延长和扩展人类智能的科学-首先需明确人工智能的探讨目标1.2.1 如何衡量机器具有智能n两种衡量机器智能的观点：n弱人工智能：强调智能的外在表现，认为通过机器的行为可以反映出机器是否具有智能，只要表现得像人一样的机器就具有智能。-图灵测试n强人工智能：强调智能内在机制，认为不仅要看到机器的行为，而且要了解表现出相应行为的机器是否的确在思索，只有像人一样思索的机器才具有智能。-中文屋1.2.2 人工智能的探讨目标n根本目标（远景目标）：揭示人类智能的根本机理，在此基础上用智能机器去模拟、延长和扩展人类智能，实现脑力劳动的自动化。-涉及脑科学、认知科学、计算机科学、系统科
4、学、微电子等诸多学科。n近期目标：探讨如何使现有的计算机更“聪慧”，使他能够在某一方面、在确定程度上模拟人类的智能，如进行推理、决策、规划、学习等，或针对具体领域，为人们供应帮助性的智能工具，以帮助人们解决一些具体问题，尽量削减人们脑力劳动的强度。-应用人工智能n远期目标为近期目标指明方向，近期目标为远期目标奠定理论和技术基础。人工智能的学科范畴 当前的人工智能既属于计算机科学技术的一个前沿领域，也属于信息处理和自动化技术的一个前沿领域。还涉及到智能科学、认知科学、心理科学、脑及神经科学、生命科学、语言学、逻辑学、行为科学、教化科学、系统科学、数理科学以及限制论、科学方法论、哲学甚至经济学等众
5、多学科领域。人工智能事实上是一门综合性的交叉学科和边缘学科。人工智能学科结构人工智能学科结构1.2.3 人工智能的探讨和应用领域n1、认知科学：主要的探讨目的是说明和说明人类在完成认知活动时是如何进行信息加工的。是人工智能的理论基础，对人工智能发展起着根本性作用，是人工智能的代名词。n2、机器学习：主要探讨如何使计算机具有类似于人的学习实力，使计算机能通过学习自动获得学问与技能，实现自我完善。学习是机器获得学问的根本途径，是否具备学习实力是机器是否有智能的重要标记。n3、自然语言处理：即是探讨如何让计算机理解和生成人类自然语言的一个探讨领域。n4、专家系统：专家系统是一种具有特定领域内大量学问
6、与阅历的程序系统，它应用人工智能技术，模拟人类专家求解问题的思维过程求解领域内的各种问题，其水平可以达到甚至超过人类专家的水平。n5、模式识别：探讨如何使机器具有感知实力的一个探讨领域，其中主要探讨视觉模式和听觉模式。1.2.3 人工智能的探讨和应用领域n6、机器人学：n7、自动定理证明：定理证明的实质是对前提P和结论Q，证明PQ的永真性。鲁宾逊提出的归结原理是定理证明得以在计算机上实现，对机器推理作出了重要贡献。n8、计算机博弈：人工智能中关于决策和斗智问题的探讨领域，下棋、打牌斗争等智能活动都属于博弈问题。n9、计算机视觉：在计算机上实现或模拟人类视觉功能的科学。（人类感知外部信息过程中，
7、80%以上通过视觉获得）n10、人工神经网络：是一个用大量简洁处理单元经广泛连接而组成的人工网络，用来模拟人的大脑神经系统的结构和功能。1.2.3 人工智能的探讨和应用领域n11、学问发觉和数据挖掘：在数据库基础上实现学问发觉系统，用于从数据库中提炼和抽取学问，以便能够揭示出蕴含在数据背后的关于客观世界内在联系的本质原理的信息，实现学问的自动获得-尿布和酒精n12、自动程序设计：用户只须告知计算机做什么，无须说明怎么做，计算机可以自动实现程序的设计。n13、智能限制：无需人的干预或者基本无需人的干预，能独立地驱动机器实现其目标的自动限制技术。n14、智能决策支持系统：决策支持系统是在管理信息系
8、统基础上发展起来的计算机管理系统。智能决策支持系统即是将人工智能技术应用于决策支持系统而形成的。n15、分布式人工智能：包括分布式问题求解和多智能体系统 1.2.4 人工智能的探讨内容1 搜寻与求解2 学习与发觉3 学问与推理4 独创与创建5 感知与沟通6 记忆与联想7 系统与建立8 应用与工程 1 搜寻与求解 搜寻，就是为了达到某一目标而多次地进行某种操作、运算、推理或计算的过程。可以看作是人类和其他生物所具有的一种元学问。很多智能活动（包括脑智能和群智能）的过程，甚至几乎全部智能活动的过程，都可以看作或者抽象为一个基于搜寻的问题求解过程。3 学问与推理学问是智能的基础和源泉。推理是人脑的一
9、个基本功能和重要功能，因此，在符号智能中几乎到处都与推理有关。5 感知与沟通感知与沟通指计算机对外部信息的干脆感知和人机之间、智能体之间的干脆信息沟通。机器感知就是计算机干脆“感觉”四周世界，就像人一样通过“感觉器官”干脆从外界获得信息，如通过视觉器官获得图形、图像信息，通过听觉器官获得声音信息。机器感知包括计算机视觉、听觉等各种感觉实力。机器信息沟通涉及通信和自然语言处理等技术。自然语言处理又包括自然语言理解和表达。6 记忆与联想记忆是智能的基本条件，是人脑的基本功能之一。联想是思维过程中最基本、运用最常见的一种功能。人类联想 人类的联想是建立事物之间的联系。人类的联想功能是基于神经网络、按
10、内容记忆方式进行的。机器联想 机器的联想就是有关数据、信息或学问之间的联系。机器联想利用人类按内容记忆原理，接受“联想存储”的技术实现联想功能。1 孕育期（孕育期（1956年前）年前）古希腊的古希腊的Aristotle（亚里士多德）（前（亚里士多德）（前384-322），给出了形式逻辑的基），给出了形式逻辑的基本规律。本规律。英国的哲学家、自然科学家英国的哲学家、自然科学家Bacon（培根）（培根）(1561-1626)，系统地给出了，系统地给出了归纳法。归纳法。“学问就是力气学问就是力气”德国数学家、哲学家德国数学家、哲学家Leibnitz（布莱尼茨）（布莱尼茨）（1646-1716）。提出
11、了关于）。提出了关于数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。数理逻辑的思想，把形式逻辑符号化，从而能对人的思维进行运算和推理。做出了能做四则运算的手摇计算机做出了能做四则运算的手摇计算机 英国数学家、逻辑学家英国数学家、逻辑学家Boole（布尔）（布尔）（1815-1864）实现了布莱尼茨的）实现了布莱尼茨的思维符号化和数学化的思想，提出了一种崭新的代数系统思维符号化和数学化的思想，提出了一种崭新的代数系统布尔代数。布尔代数。1.3 人工智能的发展简史发展简史 美籍奥地利数理逻辑学家美籍奥地利数理逻辑学家GodelGodel（哥德尔）（哥德尔）（1906-197819
12、06-1978），证），证明白一阶谓词的完备性定；任何包含初等数论的形式系统，假如明白一阶谓词的完备性定；任何包含初等数论的形式系统，假如它是无冲突的，那么确定是不完备的。意义在于，人的思维形式它是无冲突的，那么确定是不完备的。意义在于，人的思维形式化和机械化的某种极限，在理论上证明白有些事是做不到的。化和机械化的某种极限，在理论上证明白有些事是做不到的。英国数学家英国数学家Turing(Turing(图灵图灵)（1912-19541912-1954）,1936,1936年提出了一种志年提出了一种志向计算机的数学模型（图灵机），向计算机的数学模型（图灵机），19501950年提出了图灵试验，发
13、表年提出了图灵试验，发表了了“计算机与智能计算机与智能”的论文。图灵奖。的论文。图灵奖。美国数学家美国数学家MauchlyMauchly，19461946独创了电子数字计算机独创了电子数字计算机ENIACENIAC 美国神经生理学家美国神经生理学家McCullochMcCulloch，建立了第一个神经网络数学模型。，建立了第一个神经网络数学模型。美国数学家美国数学家ShannonShannon（香农）（香农）,1948,1948年发表了通讯的数学理论年发表了通讯的数学理论，代表了，代表了“信息论信息论”的诞生。的诞生。1.3 人工智能的发展简史发展简史2 2 形成期（形成期（1956-1969
14、1956-1969）1956 1956年提出了年提出了“Artificial Intelligence“Artificial Intelligence（人工智能）（人工智能）”1956 1956年夏由麻省理工学院的年夏由麻省理工学院的J.McCarthyJ.McCarthy、M.L.Minsky,M.L.Minsky,IBMIBM公司信息探讨中心的公司信息探讨中心的 N.Rochester,N.Rochester,贝尔试验室的贝尔试验室的 C.E.ShannonC.E.Shannon共同发起，邀请了共同发起，邀请了 Moore,Samuel,Moore,Samuel,Selfridge,Sol
15、omonff,Simon,NewellSelfridge,Solomonff,Simon,Newell等人，等人，1010位数学家、位数学家、信息学家、心理学家、神经生理学家、计算机科学家，在信息学家、心理学家、神经生理学家、计算机科学家，在 Dartmouth Dartmouth 高校召开了一次关于机器智能的研讨会，会上高校召开了一次关于机器智能的研讨会，会上 McCarthy McCarthy 提议正式接受了提议正式接受了 Artificial Intelligence Artificial Intelligence（人（人工智能）这一术语。工智能）这一术语。这次会议，标记着人工智能作为一
16、门这次会议，标记着人工智能作为一门新兴学科正式诞生了。新兴学科正式诞生了。McCarthy McCarthy（麦卡锡）（麦卡锡）人工智能之父人工智能之父 。这次会议之后的这次会议之后的1010年间，人工智能的探讨取得了很多引人年间，人工智能的探讨取得了很多引人瞩目的成就：瞩目的成就：在机器学习方面：在机器学习方面：塞缪尔于塞缪尔于19561956年研制出了跳棋程序，年研制出了跳棋程序，该程序能从棋该程序能从棋 谱中学习，也能从下棋实践中提高棋艺；谱中学习，也能从下棋实践中提高棋艺；1.3 人工智能的发展简史发展简史 在定理证明方面：王浩于在定理证明方面：王浩于19581958年在年在IBMIB
17、M机上证明白数学原理中有机上证明白数学原理中有 关命题演算的全部定理（关命题演算的全部定理（220220条），还证明白谓词演条），还证明白谓词演 算中算中150150条定理条定理85%85%；1965 1965年，鲁宾逊（年，鲁宾逊（RobinsonRobinson）提出了消解原理；）提出了消解原理；在模式识别方面：在模式识别方面：19591959年塞尔夫里奇推出了一个模式识别程序；年塞尔夫里奇推出了一个模式识别程序；1965 1965年罗伯特（年罗伯特（RobertRobert）编制出可辨别积木构造的程）编制出可辨别积木构造的程 序；序；在问题求解方面：在问题求解方面：19601960年纽厄
18、尔等人通过心理学试验总结出了人们求解年纽厄尔等人通过心理学试验总结出了人们求解 问题的思维规律，编制了通用问题求解程序问题的思维规律，编制了通用问题求解程序GPS,GPS,可以可以 用来求解用来求解1111种不同类型的问题；种不同类型的问题；在专家系统方面：斯坦福高校的费根鲍姆（在专家系统方面：斯坦福高校的费根鲍姆（E.A.FeigenbaumE.A.Feigenbaum）自）自19651965年年 起先进行专家系统起先进行专家系统DENDRALDENDRAL（化学分析专家系统），（化学分析专家系统），1968 1968年完成并投入运用；年完成并投入运用；在人工智能语言方面：在人工智能语言方面
19、：19601960年年McCarthyMcCarthy等人建立了人工智能程序设计语等人建立了人工智能程序设计语 言言LispLisp，该语言至今仍是建立智能系统的重要工具；，该语言至今仍是建立智能系统的重要工具；1969 1969年成立了国际人工智能联合会议（年成立了国际人工智能联合会议（International Joint International Joint Conferences On Artificial IntelligenceConferences On Artificial Intelligence）3 3 学问工程时代（学问工程时代（19701970年至年至2020世纪世纪
20、8080年头初）年头初）70 70年头，起先从理论走向实践，解决一些实际问题。同时很年头，起先从理论走向实践，解决一些实际问题。同时很快就发觉问题：归结法费时、下棋赢不了全国冠军、机器翻快就发觉问题：归结法费时、下棋赢不了全国冠军、机器翻译一团糟。译一团糟。以以FeigenbaumFeigenbaum为首的一批年轻科学家变更了战略思想，为首的一批年轻科学家变更了战略思想，19771977年提出年提出 学问工程的概念，以学问为基础的专家询问系统起先广泛的学问工程的概念，以学问为基础的专家询问系统起先广泛的应用。应用。著名专家系统的有：著名专家系统的有：DENDRAL DENDRAL化学分析专家系
21、统（斯坦福高校化学分析专家系统（斯坦福高校19681968）MACSYMA MACSYMA符号数学专家系统（麻省理工符号数学专家系统（麻省理工19711971）MYCIN MYCIN诊断和治疗细菌感染性血液病的专家询问系统（斯诊断和治疗细菌感染性血液病的专家询问系统（斯坦福高校坦福高校19731973）CASNET(Causal ASsciational Network)CASNET(Causal ASsciational Network)诊断和治疗青光诊断和治疗青光眼的专家询问眼的专家询问 系统（拉特格尔斯（系统（拉特格尔斯（RutgersRutgers）高校）高校7070年头中）年头中）C
22、ADUCEUS(CADUCEUS(原名原名INTERNIST)INTERNIST)医疗询问系统（匹兹堡高校）；医疗询问系统（匹兹堡高校）；HEARSAY I HEARSAY I 和和IIII语音理解系统（卡内基语音理解系统（卡内基-梅隆高校）梅隆高校）PROSPECTOR PROSPECTOR地质勘探专家系统（斯坦福高校地质勘探专家系统（斯坦福高校19761976）XCON XCON计算机配置专家系统（卡内基计算机配置专家系统（卡内基-梅隆高校梅隆高校19781978）1.3 人工智能的发展简史发展简史4 发展期（发展期（20世纪世纪80年头至今）年头至今）80年头，人工智能发展达到阶段性的顶
23、峰。年头，人工智能发展达到阶段性的顶峰。87,89年世界大会有千人参与。硬件公司有上千个。年世界大会有千人参与。硬件公司有上千个。并进行并进行Lisp硬件、硬件、Lisp机的探讨。机的探讨。在专家系统及其工具越来越商品化的过程中在专家系统及其工具越来越商品化的过程中,国际软件市场上国际软件市场上形成了一门旨在生产和加工学问的新产业形成了一门旨在生产和加工学问的新产业学问产业。应学问产业。应当说，学问工程和专家系统是近十余年来人工智能探讨中最当说，学问工程和专家系统是近十余年来人工智能探讨中最有成就的分支之一。有成就的分支之一。同年头，同年头，1986年年Rumlhart领导的并行分布处理探讨小
24、组提领导的并行分布处理探讨小组提出了神经元网络的反向传播学习算法，解决了神经网络的根出了神经元网络的反向传播学习算法，解决了神经网络的根本问题之一。从今，神经网络的探讨进入新的高潮。本问题之一。从今，神经网络的探讨进入新的高潮。90年头，计算机发展趋势为小型化、并行化、网络化、智能年头，计算机发展趋势为小型化、并行化、网络化、智能化。化。人工智能技术渐渐与数据库、多媒体等主流技术相结合，并人工智能技术渐渐与数据库、多媒体等主流技术相结合，并融合在主流技术之中，旨在使计算机更聪慧、更有效、与人融合在主流技术之中，旨在使计算机更聪慧、更有效、与人更接近。更接近。日本政府于日本政府于1992年结束了
25、为期十年的称为年结束了为期十年的称为“学问信息处理体学问信息处理体统统”的第五代计算机系统探讨开发支配。并起先了为期十年的第五代计算机系统探讨开发支配。并起先了为期十年的实况计算（的实况计算（Real Word Computing）支配。）支配。1.3 人工智能的发展简史发展简史n人工智能已经走过了50多年的历程，取得相当的进展，但人工智能照旧处于无趣的婴幼儿阶段，现有的人工智能还达不到4岁幼儿的智能。n-人工智能蕴含着巨大的机会和乐趣！1.3 人工智能的发展简史发展简史1.4 人工智能的实现途径n人工智能面世以来，存在两种传统的探讨途径：人工智能面世以来，存在两种传统的探讨途径：n以符号处理
26、为核心的方法以符号处理为核心的方法主见通过运用计算主见通过运用计算机科学的方法进行探讨，实现人工智能在计算机机科学的方法进行探讨，实现人工智能在计算机的模拟。的模拟。n以网络连接为主的连接机制方法以网络连接为主的连接机制方法主见用生物主见用生物学的方法进行探讨，搞清晰人类智能的本质。学的方法进行探讨，搞清晰人类智能的本质。n符号主义和连接主义发展时间较长，各自的支持符号主义和连接主义发展时间较长，各自的支持者较多，彼此之间存在分歧和争论，已成为目前者较多，彼此之间存在分歧和争论，已成为目前国际人工智能学界公认的两高校派国际人工智能学界公认的两高校派n新的探讨途径：学习主义、行为主义、进化主义、
27、新的探讨途径：学习主义、行为主义、进化主义、群体主义群体主义n学习主义是实现人工智能的终极途径，由于探讨学习主义是实现人工智能的终极途径，由于探讨人类的学习机理及模拟技术特殊困难，现在还看人类的学习机理及模拟技术特殊困难，现在还看不到从根本上解决的希望，因此严格上，目前还不到从根本上解决的希望，因此严格上，目前还不存在所谓的学习主义不存在所谓的学习主义1.4.1 符号主义n也称为逻辑主义，以符号处理为核心的实现途径。n理论基础：纽维尔和西蒙提出的物理符号系统假说。认为：人类探讨的目标是实现机器智能，而计算机自身具有符号处理实力，这种实力本身就蕴含着演绎推理的内涵，因而可通过运行相应的程序来体现
28、某种基于逻辑思维的智能行为，达到模拟人类智能活动的效果。n是目前探讨时间最长、应用领域最广、影响最大的AI实现途径，在很多探讨领域中占据主导地位，目前人工智能的大部分探讨成果都是基于这种方法实现的。n符号途径中的三个核心问题是：搜寻、学问表示和推理。其思维过程是搜寻学问库，以获得学问，然后依据学问进行推理，得出结论。n符号主义的疑问:人类并不仅仅依靠逻辑推理来解决问题，非逻辑推理在思维过程中也起着重要作用，如人的视觉感知主要依靠形象思维。而且当学问库规模很大时，如何保证在可接受时间范围内进行搜寻和管理。1.4.2 连接主义n又称神经计算，是以结构模拟为核心的AI实现途径，具有仿生意义。目前的主
29、要实现方式是人工神经网络。n该方法是在人脑神经元及其相互连接而成网络的启示下，试图通过多人工神经元间的并行协同作用来实现对人类智能的模拟。认为：大脑是人类一切智能活动的基础，因而从大脑神经元及其连接机制着手进行探讨，搞清晰大脑的结构及它进行信息处理的过程及机理，可望揭示人类智能的奇异，从而真正实现人类才智在机器上的模拟。n连接主义的核心问题是网络结构和学习方法。n适合于模拟人类的形象思维过程；求解问题时，可以比较快地球的一个近似解。n连接主义不适合于模拟人的逻辑思维过程，而且就目前神经网络的探讨现状来看，由固定的体系结构与组成方案所构成的系统还达不到开发多种多样学问的要求。1.4.3 学习主义
30、n学习是机器获得学问的根本途径，是否具备学习实力是机器是否有智能的重要标记。n学习主义是最终走向人工智能的根本途径n人们对分类学习机理、方法以及如何实现等问题的相识还处于特殊初级的阶段n学习途径还须要解决很对难题如自然语言理解等n学习问题是众多人工智能分支中的瓶颈问题和热点问题。1.4.4 行为主义n基于行为感知模式，认为智能来自于感知和行为，来自于对外界困难环境的适应，而不是表示和推理。n主见智能的基本构造单元是一些简洁的行为，如避让、前移等，更为困难的行为是通过这些简洁的行为的相互作用而产生。n代表人物：麻省理工学院人工智能试验室的罗德尼.布鲁克斯-机器虫1.4.5 进化主义n又称模拟进化
31、或进化计算，是生物学与人工智能相结合的产物。n基本思想：模拟生物进化过程，借助遗传学和进化论的有关理论，通过智能实体一代一代的遗传和进化，渐渐获得越来越适应于环境和目标的解决方案。n代表人物：密歇根高校安娜堡分校约翰.霍兰德及其团队-遗传算法（主流的优化和搜寻算法之一）n学习主义是通过学习提高单个个体的实力，是一种自我的提高，进化主义是通过遗传和环境选择的方式提高种群的实力，是一种群体性的提高。1.4.6 群体主义n通过个体之间的合作解决问题，表现出群体智能，而非个体智能。n体现：多智能体技术和以粒子群算法、蚁群算法为代表的群智能优化算法。教学内容n第一章：绪论n符号主义n其次章：搜寻与问题求
32、解n第三章：学问与推理n连接主义n第四章：人工神经网络n学习主义n第五章：机器学习n进化主义n第六章：进化计算-遗传算法n行为主义n第七章：行为智能n群体主义n第八章：群智能n智能系统n第九章：专家系统n参考教材n1、人工智能导论、人工智能导论方法与系统方法与系统 刘峡刘峡壁壁 国防工业出版社国防工业出版社n2、人工智能及其应用（第三版）蔡自、人工智能及其应用（第三版）蔡自兴等清华高校出版社兴等清华高校出版社n3、人工智能运用教程张仰森、人工智能运用教程张仰森 中国科中国科学出版集团，北京希望电子出版社（同等学出版集团，北京希望电子出版社（同等学厉申请硕士学位综合考试课程指导书）学厉申请硕士学
33、位综合考试课程指导书）云松銮仙玉骨寒，松虬雪友繁。大千收眼底，斯调不同凡。（无题）家住闽山东复东,其中岁岁有莺啼。如今不在莺啼处,莺在旧时啼处啼。（无题）白沙平舟夜涛声，春日晓露路相逢。朱楼寒雨离歌泪，不堪肠断雨乘风。Betrayal Dave Striver loved the university.He loved its ivy-covered clocktowers,its ancient and sturdy brick,and its sun-splashed verdant greens and eager youth.He also loved the fact that th
34、e university is free of the stark unforgiving trials of the business world-only this isnt a fact:Academia has its own tests,and some are as merciless as any in the marketplace.A prime example is the dissertation defense:To earn the PhD,to become a doctor,one must pass an oral examination on ones dis
35、sertation.This was a test Professor Edward Hart enjoyed giving.Dave wanted desperately to be a doctor.But he needed the signatures of three people on the first page of his dissertation,the priceless inscriptions that,together,would certify that he had passed his defense.One of the signatures had to
36、come from Professor Hart,and Hart had often said-to others and to himself-that he was honored to help Dave secure his well-earned dream.Well before the defense,Striver gave Hart a penultimate copy of his thesis.Hart read it and told Dave that it was absolutely first rate,and that he would gladly sig
37、n it at the defense.They even shook hands in Harts book-lined office.Dave noticed that Harts eyes were bright and trustful,and his bearing paternal.At the defense,Dave thought that he eloquently summarized chapter 3 of his dissertation.There were two questions,one from Professor Rodman and one from
38、Dr.Teer;Dave answered both,apparently to everyones satisfaction.There were no further objections.Professor Rodman signed.He slid the tome to Teer;she too signed,and then slid it in front of Hart.Hart didnt move.Ed?Rodman said.Hart still sat motionless.Dave felt slightly dizzy.Edward,are you going to
39、 sign?Later,Hart sat alone in his office in his big leather chair,saddened by Daves failure.He tried to think of ways he could help Dave achieve his dream.背叛 戴夫斯特赖维尔宠爱这所高校。他宠爱校内里爬满常青藤的钟楼，那古色古香而又坚实的砖块，还有那洒满阳光的碧绿草坪和热忱的年轻人。使他感到欣慰的还有这样一件事，即高校里完全没有商场上那些冷酷无情的考验但事实恰恰并非如此：做学问也要通过考试，而且有的考试与市场上的考验一样不留情面。最好的例子
40、就是论文答辩：为了取得博士学位，为了成为博士，博士生必需通过论文的口试，爱德华哈特教授就宠爱主持这样的答辩考试。戴夫迫切希望成为一名博士。但他须要让个人在他论文的第一页上签上他们的名字，这个千金难买的签名能够证明他通过了答辩。其中一个签名是哈特教授的。哈特常常对戴夫本人和其他人说，对于帮助戴夫实现他应当有的幻想，他感到很荣幸。答辩之前，斯特赖维尔早早给哈特送去了他论文的倒数其次稿。哈特阅读后告知戴夫，论文水平确定一流，答辩时他会很兴奋地在论文上签名。在哈特那四壁摆满书橱的办公室里，两人甚至还握了手。戴夫留意到，哈特两眼放光，充溢信任，神情犹如慈父一般。在答辩时，戴夫觉得自己流畅地概括了论文的第
41、三章。评审者提了两个问题，一个是罗德曼教授提的，另一个是蒂尔博士提的。戴夫分别做了回答，并且明显让每个人都心悦诚服，再没有人提出异议。罗德曼教授签了名。他把论文推给蒂尔，她也签上了名字，接着便把本子推到了哈特跟前。哈特没有动。“爱德华？”罗德曼问道。哈特照旧坐在那儿，毫无表情。戴夫感到有点眩晕。“爱德华，你准备签名吗？”过后，哈特一个人呆在办公室里，坐在那张宽大的皮椅里，他为戴夫未能通过答辩感到难过。他试图想出帮助戴夫实现他幻想的方法。IBM的的“深蓝深蓝”北京时间1997年5月12日凌晨4点50分，美国纽约公允大厦，当IBM公司的“深蓝”超级电脑将棋盘上的一个兵走到C4的位置上时，国际象棋世
42、界冠军卡斯帕罗夫对“深蓝”的人机大战落下帷幕，“深蓝”以3.5：2.5的总比分战胜卡斯帕罗夫。正在与深蓝下棋的卡斯帕罗夫IBM的“深蓝”（续1）n96年2月第一次竞赛结果：n“深蓝”：胜、负、平、平、负、负n97年5月其次次竞赛结果：n“深蓝”：负、胜、平、平、平、胜IBM的“深蓝”（续2）n“深蓝”的技术指标：n32个CPUn每个CPU有16个协处理器n每个CPU有256M内存n每个CPU的处理速度为200万步/秒智能汽车n智能技术与系统国家重点试验室研制的智能汽车n在高速马路上，该汽车可以自动识别道路，自动躲避障碍物n在最近的试验中，平均速度为100公里，最高速度达到了150公里，达到了世界先进水平。智能交通 图像识别系统四色定理的证明四色定理的证明n四色定理n从1852年发觉四色问题，世界上很多著名的科学家试图证明，当始终未能完成。n1976年6月，哈肯在美国伊利诺斯高校的两台不同的电子计算机上，用了1200个小时，作了100亿次推断，最终完成了四色定理的证明，从而解决了一个历时100多年的问题，轰动了世界。