AI缘起 —— 达特茅斯会议

本文首发于：行者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学者中广为流传，关于这一报告的具体影响，我们将在之后的文章中为大家进行更为详细的介绍。

PS：更多技术干货，快关注【公众号 | xingzhe_ai】，与行者一起讨论吧！