历史上的人工智能大师

历史上的人工智能大师阿伦•图灵（AlanTuring）计算机科学理论的创始人阿伦•图灵（AlanTuring）•1912年出生于英国伦敦，1954年去世•1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论•1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试•1966年为纪念图灵的杰出贡献，ACM设立图灵奖马文•明斯基（MarnivLeeMinsky）人工智能之父框架理论的创立者首位获得图灵奖的人工智能学者马文•明斯基（MarnivLeeMinsky）•1927年出生于美国纽约•1951年提出思维如何萌发并形成的基本理论•1956年达特茅斯会议的发起人之一•1958年在MIT创建世界上第一个AI实验室•1969年获得图灵奖•1975年首创框架理论约翰•麦卡锡（JohnMcCarthy）•人工智能之父•LISP语言的发明人•首次提出AI的概念约翰•麦卡锡（JohnMcCarthy）•1927年出生于美国波士顿•1956年发起达特茅斯会议，并提出“人工智能”的概念•1958年与明斯基一起创建世界上第一个人工智能实验室•发明α－β剪枝算法•1959年开发LISP语言•开创逻辑程序研究，用于程序验证和自动程序设计•1971年获得图灵奖赫伯特•西蒙（HerbertA.Simon）符号主义学派的创始人爱好广泛的全能科学家中国科学院外籍院士赫伯特•西蒙(HerbertA.Simon）•1916年出生于美国的威斯康辛州•1943年在匹兹堡大学获政治学博士学位•1969年因心理学方面的贡献获得杰出科学贡献奖•1975年和他的学生艾伦•纽厄尔共同获得图灵奖•1978年获得诺贝尔经济学奖•1986年因行为学方面的成就获得美国全国科学家奖章•50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT，证明了《数学原理》第二章中的全部52个定理，开创了机器定理证明这一新的学科领域•57年开发了IPL(InformationProcessingLanguage)语言，是最早的AI语言。•60年开发了“通用问题求解系统”GPS•66年开发了最早的下棋程序之一MATER•70年发展与完善了语义网络的概念和方法•70年代提出了“物理符号系统假说”•70年代提出决策过程模型，成为DSS的核心内容艾伦•纽厄尔（AllenNewell）•符号主义学派的创始人之一•西蒙的学生与同事•1975年与西蒙同获图灵奖查理德•卡普（RichardM.Karp）发明“分枝界限法”的三栖学者查理德•卡普（RichardM.Karp）•1935年出生于美国波士顿•是加州大学伯克利分校三个系的教授：–电气工程和计算机系–数学系–工业工程和运筹学系•60年代提出“分枝界限法”，成功求解含有65个城市的推销员问题，创当时的记录•1985年获得图灵奖爱德华•费根鲍姆（EdwardA.Feigenbaum）知识工程的提出者大型人工智能系统的开拓者爱德华•费根鲍姆（EdwardA.Feigenbaum）•1936年出生于美国的新泽西州•通过实验和研究，证明了实现智能行为的主要手段是知识•1977年提出知识工程，使人工智能从理论转向应用•名言：知识蕴藏着力量•1994年和劳伊•雷迪共同获得图灵奖•1963年主编了《计算机与思想》一书，被认为是世界上第一本有关人工智能的经典性专著•1965年开发出世界上第一个专家系统•开发出著名的专家系统MYCIN•80年代合著了四卷本的《人工智能手册》•开设Teknowledge和IntelliGenetics两个公司，是世界上第一家以开发和将专家系统商品化的公司劳伊•雷迪（RajReddy）大型人工智能系统的开拓者劳伊•雷迪（RajReddy）•37年出生于印度，66年在美国获得博士•1994年于费根鲍姆共同获得图灵奖•主持过一系列大型AI系统的开发–Navlab能在道路行驶的自动车辆项目–LISTEN用于扫盲的语音识别系统–以诗人但丁命名的火山探测机器人项目–自动机工厂项目，提出“白领机器人学”