人工智能名人堂第33期 | 人工智能之父-约翰·麦卡锡
丘吉尔曾说过，“The longer you can look back, the farther you can look forward. (回顾历史越久远，展望未来就越深远)”，为纪念人工智能领域做出杰出贡献的先辈与开拓者们，鼓励更多后起之秀投身该领域，人工智能国际杂志《IEEE Intelligent Systems》自2006年始至今陆续推选出了60位人工智能专家(参看《诺伯特·维纳奖得主王飞跃 | AI 名人堂，世界人工智能60年60位名人榜》)。德先生自10月31日起，已定期于每周一在微信公众号（D-Technologies）上发布人工智能名人堂60位成员的相关介绍。往期内容可查看延伸阅读。
约翰·麦卡锡（John McCarthy，1927年9月4日-2011年10月24日，计算机科学家与认知科学家）。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念，被称为“人工智能之父”。
他是一个理性的人，这位数学系出身、发明机器下棋算法、以常识逻辑推理和LISP语言奠定江湖地位的大人物，思考、理论、算法和语言贯穿了他的一生，而要详细的理解这位大师，不得不钻到语言程序和他的世界东看看西瞅瞅。在人工智能的发展上，他有自己的想法，并不断促使这个想法落地，所谓逢山开路，遇水搭桥……终成一代巨匠！
人物简介
1927年9月4日麦卡锡生于美国波士顿一个共产党家庭，父母的工作性质决定全家需不断搬迁，从波士顿迁到纽约，然后又到了洛杉矶。信仰爱尔兰天主教的父亲当过木匠，渔夫和工会组织者；母亲是立陶宛犹太人，在联合通讯社当记者，后来在一家共产党报社工作。受父母的影响，麦卡锡从小把自己对科学的兴趣与家庭的政治倾向结合起来，对社会问题比较关注，倡仪过修改“人权法案”。但与他在计算机科学上所做的工作和贡献相比，麦卡锡主要还是一个科学家而非社会活动家。麦卡锡在接受采访时说：“我们确信技术的进步对人类有利。我记得小时候读过《十万个为什么》，这是30年代苏联作家伊林（M．Ilin）撰写的通俗科技读物。在美国好像没有这样的书。10至15年前我很高兴得知中国有许多非常早熟的儿童，他们都读过《十万个为什么》。”
麦卡锡数学天赋很高，上初中时，他就自学了大学大学一年级和二年级的高等数学教材。这使他1944年进入加州理工学院并免修两年数学，1948年获得加州理工学院数学学士学位后到普林斯顿大学研究生院深造，于1951年在普林斯顿大学取得数学博士学位。麦卡锡留校工作两年后转至斯坦福大学，两年后到达特茅斯学院任教。
年轻时的麦卡锡
作为备受尊敬的计算机科学家、认知科学家，麦卡锡在1955年的达特矛斯会议上提出了“人工智能”一词，并被誉为人工智能之父，并将数学逻辑应用到了人工智能的早期形成中。他在1958年发明了LISP语言（该语言至今仍在人工智能领域广泛使用）并于1960年将其设计发表在《美国计算机学会通讯》上。他帮助推动了麻省理工学院的MAC项目。 然而，他在1962年了离开麻省理工学院，前往斯坦福大学并在那里协助建立了斯坦福人工智能实验室，成为MAC项目多年来的一个友好的竞争对手。
他因在人工智能领域的贡献而在1971年获得计算机界的最高奖项图灵奖。他分别短暂地为普林斯顿大学、斯坦福大学、达特茅斯学院和麻省理工学院供职后，麦卡锡于1962年-2000年底在斯坦福担任教授，退休后成为名誉教授。在1991年获得了美国国家科学奖章(National Medal of Science Award)，2003年获得富兰克林学院奖章。他还时常在网络论坛上对时事作出右翼倾向的评论。
主要成就——人工智能之父
1955年他在那里发起并成功举办了成为人工智能起点的“达特茅斯会议”，提出了“人工智能”的概念，后来被誉为“人工智能之父”。
麦卡锡对人工智能的兴趣始于研究生的时候。1948年9月，21岁的麦卡锡就有了一次这样的人生际遇。他参加了一个“脑行为机制”的专题讨论会，会上冯·诺伊曼发表了一篇关于自复制自动机的论文，提出了可以复制自身的机器的设想，这激起了麦卡锡的极大兴趣和好奇心，自此就开始尝试在计算机上模拟人的智能。1949年他向冯·诺伊曼谈了自己的想法，后者极表赞成和支持。
麦卡锡的主要研究方向是计算机下棋。下棋程序的关键之一是如何减少计算机需要考虑的棋步，麦卡锡经过艰苦探索，终于发明了著名的α-β搜索法并使搜索能有效进行。α-β搜索法的成功，以及麦卡锡的聪明天赋，使得他继续保持在机器模拟人的智能方面持续钻研。α-β搜索法至今仍是解决人工智能问题中一种常用的高效方法。
1974年麦卡锡在斯坦福大学人工智能实验室
至于达特茅斯会议，研讨会有四位组织者——麦卡锡、马文 · 明斯基 、纳撒尼尔 · 罗切斯特 （IBM计算机设计师）和香农（信息论创始人）。麦卡锡发起这个会议的目标是想通过10来个人2个月的共同努力设计出一台真正智能的机器。由于麦卡锡在α—β搜索法上所取得的成功，以及数学名著《数学原理》一书的启发式程序“逻辑理论家”LT，加上明斯基带来的名为Snarc学习机的雏形(主要学习如何通过迷宫)，使会议参加者仍能充满信心地宣布“人工智能”这一崭新学科的诞生。
达茅斯学院
主要成就——发明LISP语言
1959年，麦卡锡基于阿隆索·邱奇的l-演算和西蒙、纽厄尔首创的“表结构”，开发了著名的LISP语言，成为人工智能界第一个最广泛流行的语言。LISP是一种函数式的符号处理语言，其程序由一些函数子程序组成。在构造上和数学上递归函数的构造方法十分类似。LISP语言还具有自编译能力。具体说来，LISP有以下几个主要特点：
1. 算用的是符号表达式而不是数；
2. 具有表处理能力，即用链表形式表示所有的数据；
3. 控制结构基于函数的复合，以形成更复杂的函数；
4. 用递归作为描述问题和过程的方法；
5. 用LISP语言书写的EVAL函数既可作为LISP语言的解释程序，又可以作为语言本身的形式定义；
6. 程序本身也同所有其他数据一样用表结构形式表示。
已经证明，LISP的这些特点是解决人工智能核心问题的关键。
此外，精巧的表机制也是进一步简化LISP程序设计的方便而有力的工具，因此，LISP自发明以来，已经被广泛用于数学中的符号微积分计算，定理证明，谓词演算，博奕论等领域。LISP语言和后来的逻辑式语言PROLOG并称为人工智能的两大语言，对人工智能的发展起了十分深远的影响。
主要著作
1.《自动机研究》(Automata Studies)
作者：约翰·麦卡锡(John McCarthy), 香农（C.E. Shannon）
出 版 社：普林斯顿大学出版社 (PrincetonUni)
出版时间：1956年
2.《信息学：科学美国人之书》 (Information：AScientific American Book)
作者：约翰·麦卡锡(John McCarthy)
出版时间：1966年
3.《形式化的常识：麦卡锡论文选集》 (Formalizing Common Sense Papers by John McCarthy)
作者：约翰·麦卡锡(John McCarthy)， 由V.Lifschitz编辑
出版时间：1990年
人物评价
麦卡锡的一生，获奖众多，而且都是生前获奖，这最让人欣慰。其实，在这众多奖项中，图灵奖，是最为金贵的一个，是实力奖项。后面的各种，更多是对他实力和贡献的不断认可。
1955年的达特矛斯会议上提出了“人工智能”一词，并被誉为人工智能之父；
1971年因在人工智能领域的贡献而获得计算机界的最高奖项图灵奖；
1988年获得由日本INAMORI基金会所设立的KYOTO奖，该奖主要奖励在高科技方面作出杰出贡献的科学家，麦卡锡是这个奖的第5位获得者；
1991年获得了美国国家科学奖章(National Medal of Science Award)；
2003年获得富兰克林学院奖章。
文章来源：BigTalkAI、小瓦观察、百度
延伸阅读：
《麻省理工技术评论》、《君子》、《财富》杂志评定的2016年最佳书籍之一
入选“2017年度最激动人心之科学著作”的决选名单
《机器崛起》已在德先生旗下求知书店上架，识别下方二维码可进入购书直通车！
求知书店
《机器崛起（Rise of the Machines）》英文原版一经发售便被众多媒体广泛报道，并得到了高度评价，以下为相关媒体名单：《书单》、《电脑科技杂志》、《宇宙杂志》、《君子》、《金融时报》、《法兰克福汇报》、《法兰克福汇报大学报》、《星期五》、《卫报／观察家报》、《国际事务》、《柯克斯书评》、《自然》、《新苏黎世报》、《新科学家》、《纽约时报》、《展望杂志》、《科学美国人》、《旁观者》、《科学光谱》、《保准报》、《南德意志报》、《日报》、《技术评论》（德国）、《宇宙》、《华尔街日报》、“战争困境”网站；澳洲广播电台（澳大利亚）、巴伐利亚电台、德国广播电台、德国国家电台文化台、美国国家公共电台市场频道、西德广播电台、德国三星电视台。
德先生精彩文章回顾
在公众号会话位置回复以下关键词，查看德先生往期文章！
人工智能｜类脑研究｜人机大战｜机器人
虚拟现实｜无人驾驶｜智能制造｜无人机
科研创新｜网络安全｜数据时代｜区块链
……
更多精彩文章正在赶来，敬请期待！
点击“阅读原文”，移步求知书店，可查阅选购德先生推荐书籍。