约翰·麦卡锡
约翰·麦卡锡 - 简介
1927年9月4日麦卡锡生于美国波士顿一个共产党家庭，父母的工作性质决定全家需不断搬迁，从波士顿迁到纽约，然后又到了洛杉矶。信仰爱尔兰天主教的父亲当过木匠，渔夫和工会组织者，母亲是立陶宛犹太人，在联合通讯社（TheFederatedPress）当记者，后来在一家共产党报社工作。麦卡锡从小把自己对科学的兴趣与家庭的政治倾向结合起来。
他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念。
麦卡锡发明了LISP并于1960年将其设计发表在《美国计算机学会通讯》（en:Communications of the ACM）上。他帮助推动了麻省理工学院的MAC项目（en:Project MAC）。
然而，他在1962年了离开麻省理工学院，前往斯坦福大学并在那里协助建立了斯坦福人工智能实验室（en:Stanford Artificial Intelligence Laboratory），成为MAC项目多年来的一个友好的竞争对手。
他于1948年获得加州理工学院数学学士学位，1951年获得普林斯顿大学数学博士学位。分别短暂地为普林斯顿大学、斯坦福大学、达特茅斯学院和麻省理工学院供职后，麦卡锡于1962年-2000年底在斯坦福担任教授，退休后成为名誉教授。
约翰·麦卡锡时常在网络论坛上对时事作出右翼倾向的评论。
约翰·麦卡锡 - 人工智能之父
麦卡锡是一个天赋很高的人，还在上初中时，他就弄了一份加州理工大学的课程目录，按目录自学了大学低年级的高等数学教材，做了教材上的所有练习题。这使他1944年进入加州理工学院以后可以免修头两年的数学，并使他虽因战时环境(第二次世界大战当时正在进行之中，美国也在珍珠港事件后宣布参战)要在军队中充任一个小职员，占去了部分时间，仍得以·在1948年按时完成学业。然后到普林斯顿大学研究生院深造，于1951年取得数学博士学位。麦卡锡留校工作两年以后转至斯坦福大学，也只呆了两年就去达特茅斯学院任教(达特茅斯学院位于新罕布什尔州的汉诺威)。在那里，他发起了并成功举办了成为人工智能起点的有历史意义的“达特茅斯会议”。
1958年麦卡锡到MIT任职，与明斯基(L．Minsky，1969年图灵奖获得者)一起组建了世界上第一个人工智能实验室，并第一个提出了将计算机的批处理方式改造成为能同时允许数十甚至上百用户使用的分时方式(6me-sharing)的建议，并推动MIT成立组织开展研究。其结果就是实现了世界上最早的分时系统——基于IBM 7094的CTSS和其后的MULTICS。麦卡锡虽因与主持该课题的负责人产生矛盾而于1962年离开MIT重返斯坦福，未能将此项目坚持到底，但学术界仍公认他是分时概念的创始人。麦卡锡到斯坦福后参加了一个基于DECPDP—1的分时系统的开发，并在那里组建了第二个人工智能实验室。
麦卡锡对人工智能的兴趣始于他当研究生的时候。1948年9月，他参加了一个“脑行为机制”的专题讨论会，会上，冯·诺伊曼发表了一篇关于自复制自动机的论文，提出了可以复制自身的机器的设想，这激起了麦卡锡的极大兴趣和好奇心，自此就开始尝试在计算机上模拟人的智能。1949年他向冯·诺伊曼谈了自己的想法，后者极表赞成和支持，鼓励他搞下去。在达特茅斯会议前后，麦卡锡的主要研究方向是计算机下棋。下棋程序的关键之一是如何减少计算机需要考虑的棋步。麦卡锡经过艰苦探索，终于发明了著名的α-β搜索法，使搜索能有效进行。在。-p搜索法中，麦卡锡将结点的产生与求评价函数值(或称返上值或倒推值)两者巧妙地结合起来，从而使某些子树结点根本不必产生与搜索(这谓之“修剪"--pruning或cutoff)。之所以称为。—p搜索法，是因为将处于取最大值级的结点的返上值或候选返上值PBV(Provisional Back-up Value)称为该结点的α值，而将处于取最小值级的结点的候选返上值或返上值称为该结点的p值。这样，在求得某结点的。值时，就可与其先辈结点的p值相比较，若。≥p，则可终止该结点以下的搜索，即从该结点处加以修剪，这叫p修剪；而在求得某结点的p值时，就可与其先辈结点的α值相比较，若p≤。，则可终止该结点以下的搜索，即从该结点处加以修剪，这叫。修剪。为了说明。-p修剪，我们举一个最简单的例子。设在取火柴棍的游戏中，A、B两人轮流从N根火柴中取1根或2根，不得多取，也不能不取。取走最后一根火柴者胜。用A(n)、B(n)表示轮到A或B时有n根火柴的状态，当n：5时轮到A取，则如下图所示，A有两种可能，一是取2根火柴进入B(3)，另一是取1根火柴进入B(4)。显然，进入B(3)后，不管B取几根，A必胜，故A必走这一步，余下的分支不必再搜索了。。-p搜索法至今仍是解决人工智能问题中一种常用的高效方法。
至于达特茅斯会议，当东道主的麦卡锡是主要发起人，另外3个发起人是当时在哈佛大学的明斯基(1969年图灵奖获得者)，IBM公司的罗杰斯特(N．Rochster)，信息论的创始人香农。麦卡锡发起这个会议时的目标非常宏伟，是想通过10来个人2个月的共同努力设计出一台具有真正智能的机器。会议的经费是洛克菲勒基金会资助的，包括每个代表1 200美元加上外地代表的往返车票。会议的原始目标虽然由于不切实际而不可能实现，但由于麦卡锡在下棋程序尤其是α—β搜索法上所取得的成功，以及卡内基—梅隆大学的西蒙(H．A．Simon)和纽厄尔(A．Newell，这两人是1975年图灵奖获得者)带来了已能证明数学名著《数学原理》一书第二章52个定理中的38个定理的启发式程序“逻辑理论家”LT(10sicTheorist)，明斯基带来的名为Snarc的学习机的雏形(主要学习如何通过迷宫)，这使会议参加者仍能充满信心地宣布“人工智能”这一崭新学科的诞生。
约翰·麦卡锡 - LISP语言的发明人
1959年，麦卡锡基于阿隆索·邱奇(Alonzo Church)的l-演算和西蒙、纽厄尔首创的“表结构”，开发了著名的LISP语言(List Processing language)，成为人工智能界第一个最广泛流行的语言。LISP是一种函数式的符号处理语言，其程序由一些函数子程序组成。在函数的构造上，和数学上递归函数的构造方法十分类似，即从几个基本函数出发，通过一定的手段构成新的函数。LISP语言还具有自编译能力。具体说来，LISP有以下几个主要特点：
1. 计算用的是符号表达式而不是数；
2．具有表处理能力，即用链表形式表示所有的数据；
3．控制结构基于函数的复合，以形成更复杂的函数；
4．用递归作为描述问题和过程的方法；
5．用LISP语言书写的EVAL函数既可作为LISP语言的解释程序，又可以作为语言本身的形式定义；
6．程序本身也同所有其他数据一样用表结构形式表示。
已经证明，LISP的这些特点是解决人工智能核心问题的关键。此外，精巧的表机制也是进一步简化LISP程序设计的方便而有力的工具，因此，LISP自发明以来，已经被广泛用于数学中的符号微积分计算，定理证明，谓词演算，博奕论等领域。它和后来由英国伦敦大学的青年学生柯瓦连斯基(R．Kowaliski)提出、由法国马赛大学的考尔麦劳厄(A．Colmerauer)所领导的研究小组于1973年首先实现的逻辑式语言PROLOG(PROgramming in LOGic)并称为人工智能的两大语言，对人工智能的发展起了十分深远的影响。LISP所蕴含的丰富的思想和深刻的意义也吸引了负责设计Algol语言的国际委员会，麦卡锡因此而被吸收为该委员会的成员。Algol中后来采纳了LISP关于递归和条件表达式这些思想。
约翰·麦卡锡 - 主要著作
麦卡锡的主要著作有：
《自动机研究》(Automata Studies，Princeton Uni．Pr.，1956，与香农合编)
《信息学：科学美国人之书》(1nformation：A Scientific American Book，Freeman，1966)
《形式化的常识：麦卡锡论文选集》(Formalizing Common Sense：Papersby John McCarthy，Ablex Pub．Co.，1990，由V．Lifschitz编辑)
除了获得图灵奖以外，麦卡锡在1988年获得由日本INAMORI基金会所设立的KYOTO奖，这个奖主要奖励在高科技方面作出杰出贡献的科学家，麦卡锡是这个奖的第5位获得者。1990年麦卡锡获得美国全国科学奖章(National Medal of Science)。
麦卡锡的图灵奖演说题为“人工智能研究的现状”(The Present State of Research on Artificial Intelligence)。但不知什么原因，这篇演说没有发表。在《前20年的图灵奖演说集》(ACM Turing Award Lectures The First 20 Years：1966—1985，ACM h．)中，则以“附录”(postscript)的形式约请麦卡锡另写了一篇“人工智能的一般原理”(Generality in Artificial Intelligence)，刊于该书257—268页。