一、John McCarthy
John McCarthy 于 1927 年 9 月 4 日出生在美国马萨诸塞州波士顿,2011 年 10 月 24 日逝世。他是一位杰出的计算机科学家与认知科学家。学术方面,1948 年在加州理工学院获数学学士学位,1951 年于普林斯顿大学取得数学博士学位,先后在普林斯顿大学、斯坦福大学、达特茅斯学院和麻省理工学院等知名学府任职。他在计算机科学,尤其是人工智能领域成就斐然。
John McCarthy 成长于一个政治色彩浓厚且鼓励学习与批判性思维的家庭,父亲是爱尔兰天主教移民,母亲是立陶宛犹太移民。中学时他自学加州理工大学低年级微积分课程,大学时能免修头两年数学课程,学术兴趣被冯・诺依曼的报告激发,踏上人工智能探索之路。
二、John McCarthy 的主要成就
-
人工智能概念的提出
-
1955 年为达特茅斯会议撰写建议书(与他人合作),提出 “Artificial Intelligence”,被视为人工智能学科诞生标志。1956 年达特茅斯会议确立研究目标,使其从模糊概念成为独立经验科学。
-
-
Lisp 编程语言的发明
-
1958 年发明 Lisp 编程语言,1960 年发表设计。Lisp 是最早广泛用于人工智能的编程语言,基于 λ- 演算,有独特特性,为人工智能编程提供灵活性,被广泛使用,其创新被其他语言借鉴。
-
-
推动项目发展与实验室建立
-
助力麻省理工学院的 MAC 项目,1962 年到斯坦福大学,协助建立斯坦福人工智能实验室,1964 年成为主任,提出情景演算理论。
-
-
技术概念的倡导
-
1960 年左右提出计算机分时概念,是现代计算机操作系统多任务处理等特性的先驱。1959 年发表《具有常识的程序》,向常识逻辑推理难题进发。
-
三、John McCarthy 对计算机科学的影响
-
对人工智能学科发展的奠基性影响
-
20 世纪中叶提出人工智能概念,为计算机科学开辟新方向,吸引众多科学家研究,使其成为重要分支,涉及众多子领域,在科技发展中举足轻重,应用广泛。
-
-
对编程语言发展的深远影响
-
Lisp 语言为函数式编程语言树立标杆,启发新语言设计,带动人工智能编程发展,为后续编程框架及工具奠定基础,其特性对其他语言有启示作用。
-
-
在计算机理论和概念革新方面的突出贡献
-
分时概念改变计算机资源使用观念,提高效率,推动操作系统发展,成为现代操作系统设计重要组成部分。对计算机常识推理的研究为其向更高级能力发展提供早期理论基础和思想引领。
-
四、John McCarthy 的相关著作
以论文形式呈现成果,如 1959 年《具有常识的程序》,图灵奖演说题为人工智能,对人工智能研究和探索有重要价值。
五、John McCarthy 的生平故事
-
早期学习与启发
-
青少年时期自学大学低年级微积分课程,1944 年入学免修前两年数学课程,1948 年获数学学士学位。在校期间参加研讨会,受诺伊曼报告激发,攻读普林斯顿大学数学博士学位并研究机器智能。
-
-
人工智能概念的萌芽与发展
-
1955 年联合他人发起达特茅斯项目,提出 “人工智能” 概念,1956 年项目启动,虽未解决具体问题但确立目标,此后他持续钻研,发明 Lisp 语言,发布《具有常识的程序》,应对常识逻辑推理难题。
-
-
工作经历与机构建设
-
在多所学府工作,推动麻省理工学院的 MAC 项目,后到斯坦福大学协助建立实验室,担任主任,提出情景演算理论,在此期间开展多项研究,影响学术氛围和研究方向,培养人才,使实验室成为前沿阵地。
-
六、John McCarthy 获得的奖项
-
图灵奖
-
1971 年因在人工智能领域多方面贡献获奖,是对其成就的高度认可,象征卓越地位,推动行业发展,激励后人探索。
-
-
美国国家科学奖
-
1991 年获奖,是美国授予科学家的最高荣誉之一,彰显其研究成果和贡献的影响力,表明其对计算机科学技术体系构建的贡献获国家和科学界认可。
-
-
IJCAI 颁发的第一届 Research Excellence Award
-
1985 年获奖,是国际人工智能联合大会的奖励,肯定其在国际人工智能界的影响力和长期贡献,证明其权威地位,激励年轻从业者。
-