约翰·麦卡锡

概况

约翰·麦卡锡（John McCarthy，1927–2011）是美国计算机科学家，是人工智能作为研究领域的主要奠基人之一。他创造的编程语言在人工智能研究中被广泛使用，他还参与了分时计算机早期构想的发展。他1927年9月4日出生于美国马萨诸塞州波士顿，2011年10月24日在加利福尼亚州斯坦福去世。^[3]

教育与学术经历

麦卡锡1948年毕业于加州理工学院，1951年在普林斯顿大学获得数学博士学位。^[1]

他的学术职位包括：1951年任普林斯顿大学希金斯研究讲师，1953年任斯坦福大学代理助理教授，1955年任达特茅斯学院助理教授。1958年他任麻省理工学院助理教授，1961年升为副教授，1962年起在斯坦福担任教授。维基百科记载，他于2000年退休。^[1][3]

达特茅斯提案

在达特茅斯学院期间，麦卡锡牵头撰写了一份1955年8月的提案，建议在1956年夏天开展一个关于“人工智能”的研究项目。合写者还有马文·明斯基（Marvin Minsky）、纳撒尼尔·罗切斯特（Nathaniel Rochester）和克劳德·香农（Claude Shannon）。这份文件被认为是“人工智能”一词的来源。随后，麦卡锡组织了1956年的达特茅斯研讨会，把研究者召集到一起推进这一项目。^[2]

LISP语言

麦卡锡创造了LISP，一种用于符号处理的编程语言。符号处理指的是主要处理符号、列表和嵌套表达式，而不是主要处理数字。这与人工智能的需要相契合，因为人工智能程序常常要处理词语、事实和规则。LISP在人工智能研究中被广泛使用。他在1960年发表于《ACM通讯》（Communications of the ACM）的论文《Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I》中对它做了描述。^[3]

分时与内存回收

麦卡锡提出了分时（time-sharing）的基本概念，即让一台计算机通过快速切换程序，同时为多个用户服务，他也参与了此类系统的开发。维基百科还认为，他在1959年前后发明了垃圾回收（garbage collection），即自动回收程序不再使用的内存。^[3]

常识推理

1958年，麦卡锡在特丁顿“思维过程机械化”会议（Teddington Conference on the Mechanization of Thought Processes）上发表了论文《Programs with Common Sense》（具有常识的程序），论文随后收入会议论文集。^[5]这篇论文开启了他长期研究常识推理的工作。目标是把日常推断的逻辑形式化，使计算机的推理方式更接近人类。日常推理常常得出大体正确、但遇到新信息就可能被推翻的结论。比如，人们会默认鸟会飞，直到有人告诉他们例外。把这类默认推理写成精确的逻辑十分困难，它也是他后来工作的一条主线。^[3]

领导人工智能研究

据京都奖（Kyoto Prize）的生平介绍，麦卡锡在1958年建立了麻省理工学院的第一个人工智能研究项目，后来又在斯坦福创办了人工智能实验室。^[1]

他与唐纳德·米奇（Donald Michie）、理查德·格雷戈里（Richard Gregory）一道，在皇家研究院（Royal Institution）与詹姆斯·莱特希尔（James Lighthill）就莱特希尔报告（Lighthill report）展开辩论，这场辩论于1973年6月由英国广播公司（BBC）电视台播出。^[4]该报告是一份英国的评审报告，批评了英国的人工智能研究。

获奖

他先后获得ACM A. M. 图灵奖（1971年）、京都奖先进技术奖（1988年）、美国国家科学奖章（1990年）和本杰明·富兰克林奖章（2003年）。^[1][3]

影响

麦卡锡的名字与该领域的几个基础紧密相连：使人工智能得名的1955年提案、LISP语言、分时的早期构想，以及对常识推理的研究。