图灵奖获得者简介

图灵奖获得者简介

ID:41184400

大小:229.01 KB

页数:14页

时间:2019-08-18

图灵奖获得者简介_第1页
图灵奖获得者简介_第2页
图灵奖获得者简介_第3页
图灵奖获得者简介_第4页
图灵奖获得者简介_第5页
资源描述:

《图灵奖获得者简介》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、图灵奖获得者阿伦·图灵(AlanTuring)1912年出生于伦敦,1954年去世1936年发表论文“论可计算数及其在判定问题中的应用”,提出图灵机理论1950年发表论文“计算与智能”,阐述了计算机可以具有智能的想法,提出图灵测试。1966年为纪念图灵的杰出贡献,ACM设立图灵奖马文.明斯基(MarvinLeeMinsky)1927年出生于美国纽约1951年提出了思维如何萌发并形成的理论1956年会议的发起人之一1958年在MIT创建世界上第一个AI实验室1969年获得图灵奖1975年首创框架理论约翰.麦卡锡(JohnMcCarthy)(1/

2、2)人工智能之父LISP语言的发明人首次提出AI的概念1927年出生于美国波士顿1956年发起会议,提出人工智能的概念1958年与明斯基一起创建世界上第一个人工智能实验室约翰.麦卡锡(JohnMcCarthy)(2/2)发明α-β剪枝算法1959年开发LISP开创逻辑程序研究,用于程序验证和自动程序设计1971年获得图灵奖赫伯特.西蒙(HerbertAlexanderSimon)(1/2)符号主义学派的创始人爱好广泛的全能科学家中国科学院外籍院士1916年出生于美国的威斯康辛州1943年在匹兹堡大学获政治学博士学位1969年因心理学方面的贡献

3、获得科学贡献奖赫伯特.西蒙(HerbertAlexanderSimon)(2/2)1978年获得诺贝尔经济学奖1986年因行为学方面的成就获得美国全国科学家奖章50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT,证明了《数学原理》第二章中的全部52个订立,开创了机器定理证明这一新的学科领域。57年开发了IPL语言,是最早的AI语言。60年代开发了“通用问题求解系统”GPS66年开发了最早的下棋程序之一MATER70年发展与完善了语义网络的概念和方法70年代提出了“物理符号系统假说”70年代提出了决策过程模型,成为DSS的核心内

4、容。艾伦.纽厄尔(AllenNewell)符号主义学派的创始人之一西蒙的学生与同事1975年获图灵奖理查德.卡普(RiehaMManningKarp)发明“分支界限法”1935年出生于波士顿加州大学伯克利分校三个系的教授电气工程和计算机系数学系工业工程和运筹学系60年代提出“分支界限法”,成功求解含有65个城市的旅行商问题,创当时的记录1985年获得图灵奖爱德华.费根堡姆(EdwardAlbertFeigenbaum)(1/2)知识工程的提出者大型人工智能的开拓者1936年出生于美国的新泽西州通过实验和研究,证明了智能行为的主要手段是知识19

5、77年提出知识工程,使人工智能从理论转向应用爱德华.费根堡姆(EdwardAlbertFeigenbaum)(2/2)名言:知识蕴藏着力量1994年和劳伊雷迪共同获得图灵奖1963年主编了《计算机与思想》一书,被认为是世界上第一本有关人工智能的经典性专著1965年开发出世界上第一个专家系统开发出著名的MYCIN80年代合著了四卷本《人工智能手册》开设了两个公司,是世界上第一家以开发和将专家系统商品化的公司。劳伊.雷迪(RaiReddy)(1/2)开发大型的人工智能系统1937年出生于印度,66年在美国获得博士1994年获得图灵奖劳伊.雷迪(R

6、aiReddy)(2/2)主持过一系列大型AI系统的开发Navlab能在道路行驶的自动车辆项目LISTEN能用于扫盲的语音识别系统以诗人但丁命名的火山探测机器人项目自动机工厂项目,提出:“白领机器人学”道格拉斯.恩格尔巴特(DouglasEngelbart)鼠标的发明人超文本研究的先驱1925年出生于美国俄勒冈州60年代提出了计算机是人类智力的放大器的观点1964年发明鼠标,67申请专利,70年取得专利对超文本技术作出了巨大贡献,以他的名字命名ACM超文本会议最佳论文奖。1997年获得图灵奖。

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。