本文首发于:行者 AI
1956 年,美国汉诺斯小镇平静的达特茅斯学院,约翰·麦卡锡、马文·闵斯基、克劳德·香农等学者聚在一起,独特探讨着机器模仿智能的一系列问题。他们探讨了很久,始终没有达成共识,却为探讨内容起了一个名字:人工智能。自此,人工智能(AI,Artificial Intelligence)开始呈现在人们的视线,1956 年也就成为了人工智能元年。
1. 大会之前
对于人工智能的缘起,在达特茅斯会议前,咱们必须要提到一个人——图灵。
1950 年,图灵发表论文《计算机器与智能》(Computing Machinery and Intelligence),提出并尝试答复“机器是否思考”这一关键问题。
图灵具体介绍了一种名为“模拟游戏”(The Imitation Game)的测试方法,也就是咱们起初更为相熟的图灵测试。依据《艾伦·图灵传》中的介绍,图灵构想了一种游戏:房间中有一男一女,房间外的人向房间内的男女发问,外面的两个人只能以写字的形式答复问题,而后请房间外的人猜想,哪一位回答者是女人。留神,在这一测试中,男人能够坑骗猜想者,让里面的人认为本人是女人,女人则要致力让猜想者置信本人。而将这一男一女换成人与计算机,如果猜想者无奈依据答复判断哪个是人,哪个是计算机,那么能够判断计算机具备人类智能。
1952 年,图灵在一场 BBC 播送中,提出一个新的更为具体的想法:让计算机来假冒人,如果判断正确的人有余 70%,也就是超过 30% 的人误认为与本人谈话的是人而不是计算机,那么能够判断计算机具备人类智能。
图灵测试自诞生来产生了微小影响,图灵奖被称为“计算机界的诺贝尔奖”,图灵也被冠以“人工智能之父”的名称。
2. 达特茅斯会议
人工智能的起源公认为是 1956 年的达特茅斯会议,这次大会标记着“人工智能”这一概念的诞生。先介绍下本次大会的要害学者。
会议的次要发起人——约翰·麦卡锡(John McCarthy),计算科学家、认知科学家,也是他提出了“人工智能”的概念。麦卡锡对于人工智能的趣味始于 1948 年加入的一个名为“脑行为机制”的讨论会,会上,冯·诺伊曼(John von Neumann)提出的自复制自动机(能够复制本身的机器)激发麦卡锡的好奇,自此开始尝试在计算机上模仿智能。达特茅斯会议前后,麦卡锡的次要钻研方向是计算机下棋。
另一位踊跃的参与者是过后在哈佛大学的明斯基(Marvin Minsky,1969 年图灵奖获得者),他的老师塔克(Albert Tucker)多年来负责普林斯顿大学数学系主任,次要钻研非线性布局和博弈论。1951 年,明斯基建造了世界上第一个神经网络模拟器 Snare。在 Snare 的根底上,明斯基解决了“使机器能基于对过来行为的常识,预测以后行为的后果”这一问题,并实现了他的博士论文《Neural Nets and the Brain Model Problem》。
塞弗里奇(Oliver Selfridge),模式识别的奠基人,起初领导了 MAC 我的项目,这个我的项目后被分为计算机科学实验室与人工智能实验室,又合并为麻省理工学院最大的实验室 MIT CSAIL。
另外两位重量级参与者是纽厄尔(Allen Newell)和西蒙(Herbert Simon),这两位学者起初共享了 1975 年的图灵奖。
纽厄尔在普林斯顿大学数学系硕士毕业后,退出了美国驰名的兰德公司,并结识了西蒙,开始了他们毕生的单干。纽厄尔和西蒙提出了物理符号系统假如,简略的说就是:智能是对符号的操作,最原始的符号对应于物理客体。这一假如与西蒙提出的无限合理性原理成为人工智能三大学派之一——符号主义的次要根据。起初,他们与珀里思(Alan Perlis,第一届图灵奖获得者)共创了卡内基梅隆大学的计算机系。
最初,信息论的创始人香农(Claude Shannon),他比其余几位年长 10 岁左右,过后曾经是贝尔实验室的大佬。1950 年,香农发表论文《Programming a computer for playing chess》,为计算机下棋奠定了实践根底。
除上述学者外,IBM 的塞缪尔(Arthur Samuel),达特茅斯的摩尔(Trenchard More)、算法概率论的创始人所罗门诺夫(Ray Solomonoff)等学者也参加了这次会议。
1953 年夏天,麦卡锡和明斯基都在贝尔实验室为香农打工。香农过后在钻研图灵机及是否能够用图灵机作为智能流动的实践根底,然而麦卡锡只对计算机实现智能感兴趣。因为与香农钻研方向上的不同加上麦卡锡认为香农在一些时候过于实践,所以麦卡锡与 IBM 第一代通用机 701 的主设计师罗切斯特(Nathaniel Rochester)打算搞一次流动,次要探讨机器模仿智能,并说动香农与明斯基独特写了一个我的项目建议书以寻求流动赞助。
麦卡锡给这个流动起了一个名字:人工智能冬季研讨会(Summer Research Project on Artificial Intelligence)。
会议的次要议题有以下 7 个方面:
- 主动计算机(主动指可编程)
- 如何为计算机编程,使其可能应用语言
- 神经网络
- 计算规模实践
- 自我改良(指机械学习)
- 形象
- 随机性与创造性
达特茅斯研讨会进行了两个月,其中,纽厄尔和西蒙颁布的程序“逻辑理论家”(Logic Theorist)引起参会者极大的趣味,这个程序模仿人证实符号逻辑定理的思维流动,并胜利证实了《数学原理》第 2 章 52 个定理中的 38 个定理,被认为是用计算机探讨人类智力活动的第一个真正成绩,也是图灵对于机器能够具备智能这一论断的第一个实际证明。此外,逻辑理论家创始了机器定理证实这一新的学科畛域。
最初补充一下,在达特茅斯会议期间,“人工智能”这一词尽管被提出,但并没有取得大家的齐全认可,尤其是纽厄尔和西蒙,他们的钻研在某种意义上偏差于性能学派,他们更主张用“简单信息处理”这个词。” 人工智能 ” 一词真正被学界承受要到 1965 年,德雷弗斯(Hubert Dreyfus)发表了驰名的《炼金术与人工智能》报告,这一报告对过后人工智能的钻研提出质疑,用意阐明这些钻研是没有根底的无用功。因为报告题目与内容过于大胆,最后兰德公司仅以备忘录的形式公布了油印版,直至 1967 年,兰德公司才正式公布了这一报告的印刷版。该报告起初成为兰德公司销量最高的报告之一,在 AI 学者中广为流传,对于这一报告的具体影响,咱们将在之后的文章中为大家进行更为具体的介绍。