达特茅斯会议-人工智能的起源 数据科学导论 其中当年参加会议的明斯基(1966)、约翰·麦卡锡（1971)、艾 伦·纽厄尔（1975)后来都获得了计算机领域的最高奖一图灵奖 aAAg已 )(B)A akoclx ka-x一（☒ 明斯基 约翰·麦卡锡 艾伦·纽厄尔
数据科学理论与实践 数据科学导论 其中当年参加会议的 明斯基（1966）、约翰·麦卡锡（1971）、艾 伦·纽厄尔（1975）后来都获得了计算机领域的最高奖——图灵奖 明斯基 约翰·麦卡锡 艾伦·纽厄尔 达特茅斯会议-人工智能的起源
达特茅斯会议-人工智能的起源 数据科学导论 会议的主要成就，就是使得AI成为一个独立的学科，并且为AI给出了一个 准确的描述 我们提议1956年夏天在新汉普郡汉诺威市达特茅斯学院举行一次10人参 加为期两个月的人工智能研讨会。这次研讨会的主题是建立在一项假设 的基础上，即原则上学习的每个方面或智能的任何特征都能被精确地描 述到用机器来模拟的程度。… 麦卡锡(J.McCarthy),达特茅斯学院 明斯基(M.L.Minsky),哈佛大学 罗彻斯特(N.Rochester),IBM公司 香农(C.E.Shannon),贝尔语音实验室 1955年8月31日
数据科学理论与实践 数据科学导论 会议的主要成就，就是使得AI成为一个独立的学科，并且为AI给出了一个 准确的描述 达特茅斯会议-人工智能的起源
达特茅斯会议-人工智能的起源 数据科学导论 学习的每个方面或智能的任何特征都能被精确地描述到用机器来模拟的 程度 两个维度：“学习的每个方面”、“智能的任何特征” 一个核心：“用机器来模拟” A!的核心思想不是研究或制造人类的智能，而是“用机器模拟人类的学 习能力和人类智能特征
数据科学理论与实践 数据科学导论 学习的每个方面或智能的任何特征都能被精确地描述到用机器来模拟的 程度 两个维度：“学习的每个方面”、“智能的任何特征” AI 的核心思想不是研究或制造人类的智能，而是“用机器模拟人类的学 习能力和人类智能特征” 一个核心：“用机器来模拟” 达特茅斯会议-人工智能的起源
人工智能是研究开发能够模拟、延伸和扩展人类智能的理论、方法、技术及 应用系统的一门新的技术科学 人工智能的研究目的是促使智能机器： -会听（语音识别、机器翻译等） -会看（图像识别、文字识别等） -会说（语音合成、人机对话等） -会思考（人机对弈、定理证明等) 木是网 求是网首页1网站地图 一会学习（机器学习、知识表示等） 人工智能的历史、现状和未来 -会行动（机器人、自动驾驶汽车等） 来漂：《求是》2019/04作者：德株牛2019-02160问0000
数据科学理论与实践 人工智能是研究开发能够模拟、延伸和扩展人类智能的理论、方法、技术及 数据科学导论 应用系统的一门新的技术科学 人工智能的研究目的是促使智能机器： - 会听（语音识别、机器翻译等） - 会看（图像识别、文字识别等） - 会说（语音合成、人机对话等） - 会思考（人机对弈、定理证明等） - 会学习（机器学习、知识表示等） - 会行动（机器人、自动驾驶汽车等）
第一次繁荣：自动定理证明 数据科学导论 在当时的计算条件下，将人类知识表示为符号， 进行推理演算，是最可行的方法。 ·其中最典型的应用就是西蒙和纽维尔推崇的自动 定理证明方法。 ·1958年，AI证明了《数学原理》命题验算部分的220个 命题
数据科学理论与实践 第一次繁荣：自动定理证明 数据科学导论 ▪ 在当时的计算条件下，将人类知识表示为符号， 进行推理演算，是最可行的方法。 ▪ 其中最典型的应用就是西蒙和纽维尔推崇的自动 定理证明方法。 • 1958年，AI 证明了《数学原理》命题验算部分的220个 命题