阿伦·图灵(AlanTuring)——计算机科学理论创始人。1912年出生于英国伦敦,1954年去世。1936年发表论文“论可计算数及其在判定问题中的应用”,提出图灵机理论。1950年发表论文“计算机与智能”,阐述了计算机可以具有智能的想法,提出图灵测试。1966年,为纪念图灵的杰出贡献,ACM(国际计算机协会)设立图灵奖。 

马文·明斯基(MarnivLee Minsky)——人工智能之父,框架理论的创立者,首位获得图灵奖的人工智能学者。1927 年出生于美国纽约。1951年提出思维如何萌芽并形成的基本理论。1956年Dartmouth会议的发起人之一。1958年在MIT创建世界上第一个人工智能实验室。1969年获得图灵奖,1975年首创框架理论。

约翰·麦卡锡(John McCarthy)——人工智能之父,LISP语言(一种人工智能语言)的发明人,首次提出AI的概念。1927年出生于美国波士顿。1956年发起Dartmouth会议,并提出了“人工智能”的概念。1958年与明斯基一起创建世界上第一个人工智能实验室,并发明а-β剪枝算法。1959年开发LISP语言,开创逻辑程序研究,用于程序验证和自动程序设计。1971年获得图灵奖。 

赫伯特·西蒙(HerbertA.Simon)——符号主义学派的创始人,爱好广泛的全能科学家,×××外籍院士。1916年出生于美国的威斯康辛州。1943年在匹兹堡大学获政治学博士学位,1969年因心理学方面的贡献获得杰出科学贡献奖。1975年和他的学生艾伦·纽厄尔共同获得图灵奖。1978年获得诺贝尔经济学奖。1986年因行为学方面的成就获得美国全国科学家奖章。 

20世纪50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT,证明了《数学原理》第二章中的全部定理,共计52个,开创了机器定理证明这一新的学科领域。1957年开发了IPL(Information Processing Language)语言,是最早的AI语言。1960年开发了“通用问题求解系统”GPS。1966年开发了最早的下棋程序之一MATER。1970年发展与完善了语义网络的概念和方法。1970年提出了“物理符号系统假说”。70年代提出决策过程模型,该模型成为DSS(决策支持系统)的核心内容。 

艾伦·纽厄尔(AllenNewell)——符号主义学派的创始人之一,西蒙的学生与同事,1975年与西蒙同获图灵奖。 

爱德华·费根鲍姆(EdwardA.Feigenbaum)——知识工程的提出者,大型人工智能系统的开拓者。

冯诺依曼--提到计算机之父,大多数人都会想到冯·诺依曼,然而冯·诺依曼自己却把计算机之父的荣誉颁给阿兰·图灵,今年的端午节,就是这位冯·诺依曼眼中的计算机之父诞辰100周年纪念日,生于1912年的图灵,在整个计算机历史画卷中,无疑留下了一抹浓重的色彩,图灵被后人称为“计算机科学之父、人工智能之父”。而其对德国英格玛情报的破译,对二战战局的影响也不容忽视。