人工智能与智能系统的先驱人物

阿伦·图灵（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年的图灵，在整个计算机历史画卷中，无疑留下了一抹浓重的色彩，图灵被后人称为“计算机科学之父、人工智能之父”。而其对德国英格玛情报的破译，对二战战局的影响也不容忽视。