人工智能大师.docVIP

人工智能大师 　　　 阿伦·图灵（Alan Turing）——计算机科学理论创始人。1912年出生于英国伦敦，1954年去世。1936年发表论文“论可计算数及其在判定问题中的应用”，提出图灵机理论。1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试。1966年，为纪念图灵的杰出贡献，ACM（国际计算机协会）设立图灵奖。 ? 　　 马文·明斯基（Marniv Lee Minsky）——人工智能之父，框架理论的创立者，首位获得图灵奖的人工智能学者。1927年出生于美国纽约。1951年提出思维如何萌芽并形成的基本理论。1956年Dartmouth会议的发起人之一。1958年在MIT创建世界上第一个人工智能实验室。1969年获得图灵奖，1975年首创框架理论。 ? 　　 约翰·麦卡锡（John McCarthy）——人工智能之父，LISP语言（一种人工智能语言）的发明人，首次提出AI的概念。1927年出生于美国波士顿。1956年发起Dartmouth会议，并提出了“人工智能”的概念。1958年与明斯基一起创建世界上第一个人工智能实验室，并发明а-β剪枝算法。1959年开发LISP语言，开创逻辑程序研究，用于程序验证和自动程序设计。1971年获得图灵奖。 　　 赫伯特·西蒙（Herbert A.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(决策支持系统)的核心内容。　　艾伦·纽厄尔(Allen Newell)——符号主义学派的创始人之一，西蒙的学生与同事，1975年与西蒙同获图灵奖。　　 爱德华·费根鲍姆(Edward A.Feigenbaum)——知识工程的提出者，大型人工智能系统的开拓者。 ?