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

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