《人工智能第0章讲义》课件.ppt

* * * 更年少者是计算机象棋比赛冠军，似乎比更弗里茨厉害。 * 绘画，钢琴，爬山，旅行 司马贺 * 在高速公路上，该汽车可以自动识别道路，自动躲避障碍物 在最近的实验中，平均速度为100公里，最高速度达到了150公里，达到了世界先进水平。 智能汽车 * 足球机器人 两个组织： RoboCup( 机器人足球世界杯 ) FIRA(国际机器人足球联盟) 设有仿真组、小型组、中型组和有腿组 控制方式：FIRA采用集中控制，而RoboCup采用分布式控制 清华大学获得2001、2002年RoboCup世界冠军、2003年亚军（仿真组） 清华大学获得2003年RoboCup小型组全国冠军 * 小型组 有腿组 * 智能机器人 作为计算机视觉通道的传感器 具有人工智能的新型机器人 * 智能机器人 ????????????????????? 我国的水下机器人“探索者” * 索尼智能机器狗 * 历史上的人工智能大师 下面介绍图灵和几位获得图灵奖的人工智能大师 * 阿伦?图灵（Alan Turing） 计算机科学理论的创始人 * 阿伦?图灵（Alan Turing） 1912年出生于英国伦敦，1954年去世 1936年24岁发表论文“论可计算数及其在判定问题中的应用”，提出图灵自动机理论, 把研究会思维的机器和计算机的工作大大向前推进了一步,他也因此被称为人工智能之父。 1950年发表论文“计算机与智能”，阐述了计算机可以具有智能的想法，提出图灵测试 1966年为纪念图灵的杰出贡献，ACM设立图灵奖 * 马文?明斯基（Marniv Lee Minsky） 人工智能之父 框架理论的创立者 首位获得图灵奖的人工智能学者 * 马文?明斯基（Marniv Lee Minsky） 1927年出生于美国纽约 1951年提出思维如何萌发并形成的基本理论 1956年达特茅斯会议的发起人之一 1958年在MIT创建世界上第一个AI实验室 1969年获得图灵奖 1975年首创框架理论 * 约翰?麦卡锡（John McCarthy） 人工智能之父 LISP语言的发明人 首次提出AI的概念 * 约翰?麦卡锡（John McCarthy） 1927年出生于美国波士顿 1956年发起达特茅斯会议，并提出“人工智能”的概念 1958年与明斯基一起创建世界上第一个人工智能实验室 发明α－β剪枝算法 1959年开发LISP语言 开创逻辑程序研究，用于程序验证和自动程序设计 1971年获得图灵奖 * 赫伯特?西蒙（Herbert A. Simon） 符号主义学派的创始人 爱好广泛的全能科学家 中国科学院外籍院士 * 赫伯特?西蒙(Herbert A. Simon） 1916年出生于美国的威斯康辛州 1943年在匹兹堡大学获政治学博士学位 1969年因心理学方面的贡献获得杰出科学贡献奖 1975年和他的学生艾伦?纽厄尔共同获得图灵奖 1978年获得诺贝尔经济学奖 1986年因行为学方面的成就获得美国全国科学家奖章 * 50年代至60年代初开发了世界上最早的启发式程序“逻辑理论家”LT，证明了《数学原理》第二章中的全部52个定理，开创了机器定理证明这一新的学科领域 57年开发了IPL(Information Processing Language)语言，是最早的AI语言。 60年开发了“通用问题求解系统”GPS 66年开发了最早的下棋程序之一MATER 70年发展与完善了语义网络的概念和方法 70年代提出了“物理符号系统假说” 70年代提出决策过程模型，成为DSS的核心内容 * 艾伦?纽厄尔（Allen Newell） 符号主义学派的创始人之一 西蒙的学生与同事 1975年与西蒙同获图灵奖 * 查理德?卡普（Richard M. Karp） 发明“分枝界限法”的三栖学者 * 查理德?卡普（Richard M. Karp） 1935年出生于美国波士顿 是加州大学伯克利分校三个系的教授： 电气工程和计算机系 数学系 工业工程和运筹学系 60年代提出“分枝界限法”，成功求解含有65个城市的旅行商问题，创当时的记录 1985年获得图灵奖 * 爱德华?费根鲍姆（Edward A. Feigenbaum） 知识工程的提出者 大型人工智能系统的开拓者 * 爱德华?费根鲍姆（Edward A. Feigenbaum） 1936年出生于美国的新泽西州 通过实验和研究，证明了实现智能行为的主要手段是知识 1977年提出知识工程，使人工智能从理论转向应用 名言：知识蕴藏着力量 1994年和劳伊?雷迪共同获得图灵奖 * 1963年主编了《计算机与思想》