历史上的人工智能大师.ppt

1、历史上的自动智能达人阿兰图灵、计算机科学理论的奠基者、阿兰图灵，1912年出生于英吉利伦敦，1954年去世的1936年发表了论文“可订正数及其在判定问题上的应用”。 阐述了计算机可以拥有智能的想法，图灵测试于1966年纪念图灵的杰出贡献，ACM设立了图灵奖，马文明牛鼻子(Marniv Lee Minsky )，自动智能父亲信息帧理论的缔造者是第一位获得图灵奖的自动智能学者， 提出马文明牛鼻子(Marniv Lee Minsky )的1927年在美国纽约出生的1951年思考如何萌芽， 提出是否形成的基本理论1956年达特茅斯会议的发起人之一，1958年在麻省理工学院设立世界第一个AI实验室，19

2、69年获得图灵奖，1975年首次获得信息帧理论，约翰麦卡锡(John McCarthy )，自动智能父亲LISP语言的发明者首次提出AI的概念约翰麦卡锡(John McCarthy )于1927年出生于美国波士顿，1956年召开达特茅斯会议，提出“自动智能”的概念，1958年与敏斯牛鼻子一起制作世界第一个自动智能实验室发明剪枝算法，1959年开发LISP语言开始逻辑计程仪项目研究， 程序验证和自动编程1971年获得图灵奖的赫伯特西蒙(Herbert A. Simon )，象征符主义学派的奠基者是广泛的无所不能科学家中国科学院外籍院士、和赫伯特西蒙(Herbert A. Simon )， 191

3、6年出生于美国的威斯康星州，1943年在匹兹堡高等院校获得政治学博士学位，1969年因心理学贡献获得优秀科学贡献奖，1975年获得他的学生丙二烯纽尔和图灵奖，1978年获得诺贝尔经济学奖，1986年以行为学成果获得美国全国科学家奖从50年代到六十年代研制出世界上最早的启发式文明棍计程仪“逻辑理论家”LT，证明了数学原理第二章的全52定理，在57年研制出机械定理证明这一新学科领域IPL (信息处理语言)语言，是最早的AI60年开发了“通用问题解决系统”的GPS开发了66年最早的象棋计程仪计划之一mater 70，70年发展了语义网络的概念和方法，在完善的70年代提出了“物理符号系统假说”，成为D

4、SS核心内容的丙二烯新威尔(Allen Newell )、 符号主义学派的奠基者之一西蒙的学生与同事于1975年获得西蒙和图灵奖，查理德卡普(Richard M. Karp )、发明了分枝定界法的三栖学者、查理德卡普(Richard M. Karp )， 1935年出生于美国波士顿的是加利福尼亚大学伯克利分校的教授：电气工程专业和计算机类数学系的工业工程和运输系向六十年代提交了分支定界法，成功解决了包括65个城市在内的推销员问题，并创造了当时的记录1985年获得图灵奖， 爱德华费根鲍姆(Edward A. Feigenbaum )知识工程的提交人大型自动智能系统的拓荒者，爱德华费根鲍姆(Edward A. Feigenbaum )，1936年在美国出生的新泽西州通过实验和研究， 实现智能行为的主要手段是在知识1977年提出知识工程，把自动智能从理论转换为应用名言：知识蕴藏力1994年和拉威雷迪联合在1963年编纂了一部关于计算机和思想的书，世界第一部关于自动智能的经典专着1965年开发了世界第一部专门人才系统， MYCIN 80年代开发了著名的专门人才系统，开设了4卷自动智能手册，是世界上第一家开发和商品化的专门人才系统公司。 劳雷迪(Raj Reddy )、大型自动智能系统的拓荒者、劳雷迪(Raj Reddy