人工智能概述.pdf
《人工智能概述.pdf》由会员分享,可在线阅读,更多相关《人工智能概述.pdf(59页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、人工智能概述 人工智能:模型与算法人工智能:模型与算法 提纲提纲 1、 可计算可计算思想起源与发展思想起源与发展 2、人工智能历史发展人工智能历史发展 3、人工智能研究基本内容、人工智能研究基本内容 古代哲人对智能的思考古代哲人对智能的思考 智能发谋 信能赏罚 仁能服众 勇能果断 严能立威 五德皆备,然后可以为大将 孙武 (约公元前545年约公元前470年) 知(通智)者不惑 仁者不忧 勇者不惧 孔子 (公元前551年公元前479年) 孟子 公元前372年-公元前289年 恻隐之心,仁之端也 羞恶之心,义之端也 辞让之心,礼之端也 是非之心,智智之端也 荀子的智能观:荀子的智能观:荀子荀子.
2、. 正名正名 知之在人者谓 之知知 知觉:知觉:人所固有认识外界客 观事物本能,如视觉、听觉 和触觉等能力 知有所合谓之 智智 智慧:智慧:知觉对外界事物的认 知 所以能之在人 者为之能能 本能:本能:人身上所具用来处置 事物能力 能有所合谓之 能能 智能:智能:对外界所产生的认知 和决策 荀子 战国末期赵国人 (约公元前313年公元前238年) 从感知、到理解、到认知、到决策与行动 计算的诞生:从手工计算到自动计算计算的诞生:从手工计算到自动计算 上古结绳而治,后世圣人易之以 书契,百官以治,万民以察。 周易 系辞 可计算思想:从可计算到不可计算可计算思想:从可计算到不可计算 20世纪初,人
3、们发现有许多问题无法找到解决的方法。于是开始怀疑,是否对这些问 题来说,根本就不存在算法,即不可计算不可计算。 从费马猜想到 费马定理 费马:法国业余数学家 (1601-1665) 新一代新一代人工智能发展规划人工智能发展规划 人工智能:以机器为载体的人类智能或生物智能人工智能:以机器为载体的人类智能或生物智能 Mathematical Problems (23个数学问题) Lecture delivered before the International Congress of Mathematicians at Paris in 1900 工欲善其事,必先利其器:智能之器从何而来 Dav
4、id Hilbert (1862-1943) 德国著名数学家 问题2: 证明算术公理的相容性 (the compatibility of the arithmetical axioms) 完备性:所有能够从该形式化系统推导出来的 命题,都可以从这个形式化系统推导出来。 一致性:一个命题不可能同时为真或为假 可判定性:算法在有限步内判定命题的真伪 如何证明(计算)这 一问题?可用怎样的 “计算载体”来实现? 新一代新一代人工智能发展规划人工智能发展规划 人工智能:以机器为载体的人类智能或生物智能人工智能:以机器为载体的人类智能或生物智能 Kurt Friedrich G del(1906-197
5、8) 任何表达力足够强的(递 归可枚举)形式系统都不 可能同时具有一致性和 完备性 论数学原理及有关系统中不可判定 命题(On Formally Undecidable Propositions of Principia Mathematica and Related Systems) 工欲善其事,必先利其器:智能之器从何而来 On Computable Numbers, with an Application to the Entscheidungsproblem,1937 论数字计算在决断难题中的应用 图灵机模型计算“12+8”的过程示意 人工智能:以机器为载体的人类智能或生物智能人工智能
6、:以机器为载体的人类智能或生物智能 Alan Turing (1912-1954) 工欲善其事,必先利其器:智能之器从何而来 “判定性问题”是无法解决的, 即有些数学问题是不可求解的 (图灵不可停机的) 人工智能:以机器为载体的人类智能或生物智能人工智能:以机器为载体的人类智能或生物智能 工欲善其事,必先利其器:智能之器从何而来 邱奇图灵论题 (ChurchTuring thesis, computability thesis) 计算载体 提出学者 计算角度 原始递归函数 哥德尔 Godel 数学的 演算 ( calculus) 丘奇 Church 数理逻辑的 图灵机 图灵Turing 机械的
7、 图灵奖:计算机界最高奖(1966年设立) Alan Turing (1912-1954) 二战提前五年结束的 解码器Enigma 图灵机模型使得人类得以迈入自动计算时代图灵机模型使得人类得以迈入自动计算时代 对智能的测试:对智能的测试:图灵测试图灵测试 摩尔定律支撑自动计算时代快速发展:摩尔定律支撑自动计算时代快速发展: 摩尔定律摩尔定律 (计算机速度(计算机速度1年半增长年半增长1倍),亿级晶体管、千亿指令倍),亿级晶体管、千亿指令/秒秒 提纲提纲 1、 可计算思想起源与发展可计算思想起源与发展 2、人工智能历史发展、人工智能历史发展 3、人工智能研究基本内容、人工智能研究基本内容 人工智
8、能:以机器为载体实现的人类智能人工智能:以机器为载体实现的人类智能 人脑进化年龄:漫长人脑进化年龄:漫长400万年万年 南方古猿 直立行走 能人 制造工具 直立人 使用火、熟食 古人 保存火、语言 智人 狩猎、住所 脑容量越来越大、能力越来越强 人类共同祖先人类共同祖先/人类祖母:人类祖母:400万年前的露西万年前的露西 人类祖母“露西”(Lucy)于1974年在埃塞俄比亚被发现 这具骨化石在发现时存留40%骨架。据推断,她生前是一位20多岁女性 从树上跌落而亡,陆栖与树栖交替阶段 人类一直怀有对人类之外智能的追求梦想人类一直怀有对人类之外智能的追求梦想 三国:木牛流马 西周:偃师造人 希腊火
9、神赫菲斯托斯: 黄金机器女仆 沙特第一个公民 机器人:索菲亚 人工智能的人工智能的诞生诞生 Research Project on Artificial Intelligence , August 31, 1955, Dartmouth 当年提出当年提出AI概念的建议书概念的建议书 AI概念提出概念提出50年后,建议人合影年后,建议人合影 四位学者在1955年提出了人工智能这一术语及 研究范畴 John McCarthy (时任Dartmouth数学系助理教授, 1971年度图灵奖获得者) Marvin Lee Minsky (时任哈佛大学数学系和神经 学系Junior Fellow,1969
10、年度图灵奖获得者) Claude Shannon (Bell Lab, 信息理论之父) Nathaniel Rochester(IBM, 第一代通用计算机701 主设计师) 让机器能像人那样认知、思考和学习, 即用计 算机模拟人的智能。 人工智能的诞生人工智能的诞生 达特茅斯会议合影 (1956年) 报告列举了Artificial Intelligence值得关注的七个问题 Automatic Computers How Can a Computer be Programmed to Use a Language Neuron Nets set of (hypothetical) neuron
11、s be arranged so as to form concepts Theory of the Size of a Calculation Self-improvement:自我学习与提高 Abstractions:归纳与演绎 Randomness and Creativity 从典型任务从典型任务/应用对人工智能分类(上世纪应用对人工智能分类(上世纪70年代以来)年代以来) 机器定理证明(逻辑和推理),仿解题者 机器翻译(自然语言理解),仿译者 专家系统(问题求解和知识表达),仿专家如医生 博弈(树搜索),仿弈者 模式识别(多媒体认知),仿认知者 学习(神经网络),仿初学者 机器人和智
12、能控制(感知和控制),仿生物者 形成了符号学派、连接学派、行为学派 从智能角度对人工智能的分类从智能角度对人工智能的分类 领域人工智能领域人工智能 依葫芦画瓢、任务导向, 如Deep Blue和AlphaGo 通用通用人工智能或跨人工智能或跨领领 域域人工智能人工智能 举一反三、从经验中学习, 如“人类”智能 Traditional AI Artificial General Intelligence Focus on having knowledge and skills Focus on acquiring knowledge and skills Action acquiring via
13、 programing Ability acquiring via learning domain-specific ability via rule-based and exemplar- based general ability via abstraction (intuition) and context (common sense) Learning by data and rules Learning to learn 混合增强混合增强人工智能人工智能 :多种智能体的混合形式 外骨骼机器人 人类智能+机器智能:如达芬奇外科手术机器人 人、机、物、网互联:如智慧城市系统 从智能角度对
14、人工智能的分类从智能角度对人工智能的分类 Da Vinci手术机器人及其缝制葡萄皮 电子设备将大脑与腿部神经元“重 新连接” 荀子劝学: 登高而招,臂非 加长也,而见者远;顺风而呼, 声非加疾也,而闻者彰。假舆马 者,非利足也,而致千里;假舟 楫者,非能水也,而绝江河 人工智能螺旋式发展之路:三次低谷人工智能螺旋式发展之路:三次低谷 第一次低谷:1973年英国发表James Lighthill 报告 该报告主要评判AI基础研究中A自动机、B机器人和C中央神经系统。 报告得出结论:A和C的研究有价值,但进展令人失望。B的研究没 有价值,进展非常令人失望。建议取消B的研究。 批评后,AI开始了严冬
15、(AI Winter) (Sir James Lighthill, Artificial Intelligence: A General Survey, Science Research Council,1973) 教训:AI尚属婴儿期,难以测算准确 人工智能螺旋式发展之路:三次低谷人工智能螺旋式发展之路:三次低谷 第二次低谷:日本智能(第五代)计算机研制失败 1982年开始,日本通产省主持第五代计算机。 动机:计算机从计算与存储数据向能直接推理与知识处理的新型结构过 渡。 目标:构成一个具有1000个处理单元的并行推理机,推理速度比常规高 1000倍。连接10亿信息组的数据库和知识库,具备听
16、说能力。 1992年因失败而告终(开支US $850 million) 教训:教训:驱动AI的发展要靠软件、数据和知识,而非硬件 人工智能螺旋式发展之路:三次低谷人工智能螺旋式发展之路:三次低谷 第三次低谷:知识词典日趋势微、网络百科兴起 斯坦福1984年通过专家来建设知识百科全书Cyc。截止2015年11月(其建 设也时断时续),包括23万多个概念、实体和200多万个三元组,如: place: 19,000 organization: 26,000 business related thing: 28,000 Cyc在90年代后期衰败,因搜索引擎崛起,显示互联网威力。 Cyc也开始链接外部知
17、识库:Dbpedia, UMBEL, CIA World Factbook等等。 教训:知识不能靠专家表达,要自动学习 人工智能发展中的主流方法人工智能发展中的主流方法(1): 符号主义人工智能符号主义人工智能(Symbolic AI)为核心的逻辑推理为核心的逻辑推理 知识图谱 用规则教用规则教 符 号 逻 辑 表 示 下 的 推 理 IBM Watson 1997年IBM“深蓝”和2011年IBM“沃森”是以推理为核心的人 工智能的代表。 人工智能发展中的主流方法人工智能发展中的主流方法(1): 符号主义人工智能符号主义人工智能(Symbolic AI)为核心的逻辑推理为核心的逻辑推理 人工
18、智能发展中的主流方法人工智能发展中的主流方法(1): 符号主义人工智能符号主义人工智能(Symbolic AI)为核心的逻辑推理为核心的逻辑推理 IBM“沃森”的推理 主 持 人 问 :主 持 人 问 : Kathleen Kenyons excavation of this city mentioned in Joshua showed the walls had been repaired 17 times. (Kathleen Kenyon对 这个在圣经约书亚记中提到 的城市的发掘表明,该城的城墙曾被修 复17次) 沃沃森回答:森回答:What is Jericho (耶利哥城 是什么?
19、) 答案排序:耶利哥耶利哥(Jericho)97%、耶路撒冷 (Jerusalem)42%、拉吉(Lachish)7% Kathleen Kenyon Kathleen Kenyon Joshua 人工智能发展中的主流方法人工智能发展中的主流方法(2): 数据驱动数据驱动 (data-driven)为核心的机器学习为核心的机器学习 用大数据学用大数据学 (有监督)(有监督) 挖 掘 数 据 所 蕴 含 的 内 在 模 式 机器挖掘得到的视觉模式 人工智能发展中的主流方法人工智能发展中的主流方法(2): 数据驱动数据驱动 (data-driven)为核心的机器学习为核心的机器学习 Source:
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能导论
限制150内