约翰·麦卡锡(John McCarthy)为计算机科学领域做过的重要贡献有哪些

补充一个晚年最后的,现在识货的人也很少 Elephant 2000: A Programming Language Based on Speech Acts http://www-formal.stanford.edu/jmc/elephant/elephant.html现有公开的PL本质都是lisp,可能麦卡锡也感到丧气吧,一个菜鸟满天下的世界
■网友
为什么要我回答。。。果断搜索了。。。 约翰·麦卡锡(John McCarthy),计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上,正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念。 麦卡锡发明了LISP并于1960年将其设计发表在《美国计算机学会通讯》上。他帮助推动了麻省理工学院的MAC项目。然而,他在1962年了离开麻省理工学院,前往斯坦福大学并在那里协助建立了斯坦福人工智能实验室,成为MAC项目多年来的一个友好的竞争对手。 -1956年Dartmouth会议的发起人(该会议被视为AI作为一门学科诞生的标志) -1955年在为该会议写的建议书中提出Artificial Intelligence一词,从而被视为“人工智能之父” -1958,发明Lisp编程语言(该语言至今仍在人工智能领域广泛使用) -1960左右,提出计算机分时(time-sharing)概念 -1971因对AI的贡献获图灵奖 –1985获得IJCAI(the International Joint Conference on Artificial Intelligence)颁发的第一届”Research Excellence Award”(可看作是AI的终身成就奖) -1990年获得“美国国家科学奖”(National Medal of Science Award) 为了减少计算机需要考虑的棋步,麦卡锡发明了著名的α-β搜索法,这一关键问题的解决有效减少了计算量,使其至今仍是解决人工智能问题中一种常用的高效方法。 一场会议中诞生的人工智能 1952年,麦卡锡认识了贝尔实验室的香农(信息论创始人),在人工智能方面的若干深入探讨之后,他们萌生召开一次研讨会的共识。在洛克菲勒基金会的一笔微薄的赞助下,他们邀请到当时哈佛大学的明斯基和IBM工程师罗彻斯特等几位学者,参加这次具有里程碑达意义的达特茅斯会议。达特茅斯会议历时两个多月,首次提出“人工智能”这一术语,并确立了可行的目标和方法,这使得人工智能成为电脑科学一个独立的重要分支,获得了科学界的承认。 Lisp语言和分时概念创始人 1958年,麦卡锡组建了世界上第一个人工智能实验室。同年,麦卡锡发明了Lisp语言,这是人工智能界第一个最广泛流行的语言,至今仍有着广泛应用。Lisp语言与后来由1973年实现的逻辑式语言PROLOG并称为人工智能的两大语言。麦卡锡另一个卓越贡献是1960年左右第一次提出将计算机批处理方式改造成分时方式,这使得计算机能同时允许数十甚至上百用户使用,极大地推动接下来的人工智能研究。他的研究成果最终实现了世界上最早的分时系统——基于IBM7094的CTSS和其后的MULTICS。 如今,人工智能已经从实验室走进日常生活,成为一门严肃经验科学,引发了计算机使用方式的一场变革,其中McCarthy功不可没,他深刻地改变了人们与电脑和互联网的互动方式。 如今这位计算机大师已经离去,我们缅怀他、感谢他! 我搜索得真好


    推荐阅读