人工智能历史回眸：达特茅斯会议

<div class="blogpost-body" id="cnblogs_post_body" style="font-size: 16px;">
<div class="n p">
  <div class="aj ak al am an fp ap w">
<div>
<h1 class="fq dg fr av cv fs ft fu fv fw fx fy fz ga gb gc gd ge gf gg gh gi gj gk gl gm gn"><span style="font-weight: bold;">人工智能历史回眸：达特茅斯会议</span></h1>
<div class="cs">
   <div class="n cf go gp gq">
   <div class="o n">
   <span class="bjh-p">1956年夏天，在美国东部的达特茅斯召开了一次觉有传奇色彩的学术会议，会上正式出现了“人工智能”这个术语。在那里，人们首次决定将像人类那样思考的机器称为“人工智能”。</span>
   </div>
   <div class="o n">
   <p><span class="bjh-p">后来，这被人们看作是人工智能正式诞生的标志。就在这次会议后不久，麦卡锡与明斯基两人共同创建了世界上第一座人工智能实验室——MIT AI LAB实验室。开始从学术角度对AI展开严肃而精专的研究。在那之后不久，最早的一批人工智能学者和技术开始涌现，从此人工智能走上了快速发展的道路。</span>现在一说起人工智能的起源，公认是1956年的达特茅斯会议。殊不知还有个前戏：1955年，美国西部计算机联合大会(Western Joint Computer Conference)在洛杉矶召开，会中还套了个小会：“学习机讨论会”(Session on Learning Machine)。讨论会的参加者中有两个人参加了第二年的达特茅斯会议，他们是塞弗里奇(Oliver Selfridge)和纽厄尔 (Allen Newell)，塞弗里奇发表了一篇模式识别的文章，而纽厄尔则探讨了计算机下棋，他们分别代表两派观点。讨论会的主持人是神经网络的鼻祖之一皮茨(Pitts)(热爱数学，很聪明的年轻人)，他最后总结时说：“<strong>(一派人)企图模拟神经系统，而纽厄尔则企图模拟心智(mind)……但殊途同归。</strong>” 皮茨眼可真毒，这预示了人工智能随后几十年关于“结构与功能”两个阶级、两条路线的斗争。</p>
   <p></p>
   <div style="text-align: center;">
      <img alt="" height="493" src="https://beijingoptbbs.oss-cn-beijing.aliyuncs.com/cs/5606289-8651eafd83cf8419f0713cb943666796.png" style="outline: none;" width="603">
   </div>
   <p> 美国 * 达特茅斯学院</p>
   <p><strong>会议参加者(简介)</strong></p>
   <hr>
   <p> 开聊达特茅斯会议之前，先说六个最相关的人。首先，会议的召集者麦卡锡(John McCarthy)当时是达特茅斯学院的数学系助理教授。两年前(1954年)达特茅斯数学系同时有四位教授退休，这对达特茅斯这样的小学校真是不可承受之轻。刚上任的年轻系主任克门尼(Kemeny)之前两年才在普林斯顿逻辑学家丘奇(Church)门下得了逻辑学博士，于是跑到母校求援。这么说起来，克门尼算是图灵的师弟，他战时和物理学家费曼一起工作，还一度当过爱因斯坦的数学助理，后来一头扎在计算机里，和麦卡锡一起琢磨出了分时系统，但他最为人知的工作应该是老少咸宜的编程语言BASIC。现在估计已经没人知道BASIC语言发明人曾是LISP语言发明人的老板。克门尼是天生的官僚，后来位居达特茅斯的校长，美国三里岛核电站出事，总统委托他当调查委员会主席，这是后话。克门尼从母校数学系带回了刚毕业的四位博士前往任教，麦卡锡是其中之一。麦卡锡后来发明的LISP语言中最重要功能Eval实际就是丘奇的lambda演算，而且他后半生致力于用数理逻辑把常识形式化，大家由此猜他可能也是丘奇的学生，但其实不是，他压根学的就不是逻辑。他的老师是失去双手的代数拓扑学家所罗门.莱夫谢茨(Lefschetz)。但麦卡锡对逻辑和计算理论一直有强烈兴趣，他1948年刚到普林斯顿读研究生时就认识了冯.诺伊曼，在老冯影响下开始对在计算机上模拟智能发生兴趣。</p>
   <p></p>
   <div style="text-align: center;">
      <img alt="" height="465" src="https://beijingoptbbs.oss-cn-beijing.aliyuncs.com/cs/5606289-5ffdf726d40cb9a2bca4be1be8018c24.png" style="outline: none;" width="727">
   </div>
   <p>       本次会议的10位参会人员 </p>
   <p> 会议的另一位有影响力的参加者是明斯基。他也是普林斯顿的数学博士，和麦卡锡在读书时就相熟。他的主业也不是逻辑，尽管他后来写过计算理论的书，还培养过好几个计算理论的博士，其中就有图灵奖获得者布鲁姆(Manual Blum)。布鲁姆目前和他老婆(就是实数计算模型BSS的B)、儿子一家三口都在卡内基梅隆大学任教。明斯基的理论情结和丘奇关系也不大，他的老师塔克(Tucker)是莱夫谢茨的学生，主要搞非线性规划和博弈论，多年担任普林斯顿数学系主任，是数学世家，儿子、孙子也都是数学家。