图灵奖获得者简介.pptVIP

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