赫伯特赫伯特••西蒙西蒙 (Herbert A. Simo(Herbert A. Simonn））

• 19161916 年出生于美国的威斯康辛州年出生于美国的威斯康辛州• 19431943 年在匹兹堡大学获政治学博士学位年在匹兹堡大学获政治学博士学位• 19691969 年因心理学方面的贡献获得杰出科年因心理学方面的贡献获得杰出科学贡献奖学贡献奖

• 19751975 年和他的学生艾伦年和他的学生艾伦••纽厄尔共同获得纽厄尔共同获得图灵奖图灵奖

• 19781978 年获得诺贝尔经济学奖年获得诺贝尔经济学奖• 19861986 年因行为学方面的成就获得美国全年因行为学方面的成就获得美国全国科学家奖章国科学家奖章

• 5050年代至年代至 6060年代初开发了世界上最早的启发式程年代初开发了世界上最早的启发式程序序““逻辑理论家逻辑理论家”” LTLT，证明了《数学原理》第二，证明了《数学原理》第二章中的全部章中的全部 5252个定理，开创了机器定理证明这一个定理，开创了机器定理证明这一新的学科领域新的学科领域

• 5757年开发了年开发了 IPL(Information Processing LangIPL(Information Processing Language)uage)语言，是最早的语言，是最早的 AIAI语言。语言。

• 6060年开发了年开发了““通用问题求解系统通用问题求解系统”” GPSGPS• 6666年开发了最早的下棋程序之一年开发了最早的下棋程序之一 MATERMATER• 7070年发展与完善了年发展与完善了””语义网络语义网络””的概念和方法的概念和方法• 7070年代提出了年代提出了““物理符号系统假说物理符号系统假说””

PSSH(Physical Symbol System Hypothesis)PSSH(Physical Symbol System Hypothesis)• 7070年代提出决策过程模型，成为年代提出决策过程模型，成为 DSSDSS的核心内容的核心内容

艾伦艾伦••纽厄尔（纽厄尔（ AllAllen Newellen Newell ））

• 符号主义学派的创始人之一符号主义学派的创始人之一• 西蒙的学生与同事西蒙的学生与同事• 19751975年与西蒙同获图灵奖年与西蒙同获图灵奖• 开发了最早的启发式程序开发了最早的启发式程序“逻辑理论家”和“通用问“逻辑理论家”和“通用问题求解器”题求解器”

• 19921992 年年 66 月，当时的美国月，当时的美国总统布什向他颁发了全国科总统布什向他颁发了全国科学奖章学奖章 (National Medal of (National Medal of Science)Science) 。。

查理德查理德••卡普卡普（（ Richard M. KRichard M. K

arparp ））发明发明““ Branch and Branch and Bound Method-Bound Method- 分分枝界限法枝界限法””的三栖学者的三栖学者

查理德查理德••卡普（卡普（ Richard M. KarRichard M. Karpp））

• 19351935年出生于美国波士顿年出生于美国波士顿• 是加州大学伯克利分校三个系的教授：是加州大学伯克利分校三个系的教授：

– 电气工程和计算机系电气工程和计算机系– 数学系数学系– 工业工程和运筹学系工业工程和运筹学系

• 6060年代提出年代提出““分枝界限法分枝界限法””，成功求解含有，成功求解含有 6565个城市的推销员问题，创当时的记录个城市的推销员问题，创当时的记录

• 19851985年获得图灵奖年获得图灵奖

爱德华爱德华••费根鲍姆费根鲍姆（（ Edward A. FeigenbauEdward A. Feigenbau

mm））知识工程的知识工程的提出者提出者大型人工智大型人工智能系统的开能系统的开拓者拓者

爱德华爱德华••费根鲍姆费根鲍姆（（ Edward A. FeigenbauEdward A. Feigenbau

mm））• 19361936 年出生于美国的新泽西州年出生于美国的新泽西州• 通过实验和研究，证明了实现智能行为通过实验和研究，证明了实现智能行为的主要手段是知识的主要手段是知识

• 19771977 年提出知识工程，使人工智能从理年提出知识工程，使人工智能从理论转向应用论转向应用

• 名言：知识蕴藏着力量名言：知识蕴藏着力量• 19941994 年和劳伊年和劳伊••雷迪共同获得图灵奖雷迪共同获得图灵奖

• 19631963 年主编了《计算机与思想》一书，年主编了《计算机与思想》一书，被认为是世界上第一本有关人工智能的被认为是世界上第一本有关人工智能的经典性专著经典性专著

• 19651965 年开发出世界上第一个专家系统年开发出世界上第一个专家系统• 开发出著名的专家系统开发出著名的专家系统 MYCINMYCIN• 8080 年代合著了四卷本的《人工智能手年代合著了四卷本的《人工智能手册》册》

• 开设开设 TeknowledgeTeknowledge 和和 IntelliGeneticsIntelliGenetics两个公司，是世界上第一家以开发和将两个公司，是世界上第一家以开发和将专家系统商品化的公司专家系统商品化的公司

劳伊劳伊••雷迪雷迪（（ Raj ReddyRaj Reddy ））

大型人工智能系统大型人工智能系统的开拓者的开拓者

劳伊劳伊••雷迪（雷迪（ Raj ReddyRaj Reddy ））

• 3737 年出生于印度，年出生于印度， 6666 年在美国获得博年在美国获得博士士

• 19941994 年于费根鲍姆共同获得图灵奖年于费根鲍姆共同获得图灵奖• 主持过一系列大型主持过一系列大型 AIAI 系统的开发系统的开发

– Navlab Navlab 能在道路行驶的自动车辆项目能在道路行驶的自动车辆项目– LISTEN LISTEN 用于扫盲的语音识别系统用于扫盲的语音识别系统– 以诗人以诗人””但丁但丁””命名的火山探测机器人项目命名的火山探测机器人项目– 自动机工厂项目，提出自动机工厂项目，提出““白领机器人学白领机器人学””

道格拉斯道格拉斯••恩格尔巴特恩格尔巴特（（ Douglas EngelbartDouglas Engelbart ））

鼠标的发明人鼠标的发明人

超文本研究的先驱超文本研究的先驱

道格拉斯道格拉斯••恩格尔巴特恩格尔巴特（（ Douglas EngelbartDouglas Engelbart ））

• 19251925 年出生于美国俄勒冈州年出生于美国俄勒冈州• 6060 年代提出计算机是人类智力的放大器的年代提出计算机是人类智力的放大器的

观点观点• 19641964 年发明鼠标，年发明鼠标， 6767 年申请专利，年申请专利， 7070 年年

取得专利 取得专利 • 对超文本技术作出了巨大贡献，以他的名对超文本技术作出了巨大贡献，以他的名

字命名字命名 ACMACM 超文本会议最佳论文奖超文本会议最佳论文奖

本课程主要学习的内容本课程主要学习的内容• 知识的表示方法（知识的表示方法（ ** ））• 搜索技术（搜索技术（ ** ））

– 盲目搜索方法 ； 启发式搜索方法盲目搜索方法 ； 启发式搜索方法– 与与 // 或图搜索方法； 博弈树搜索方法或图搜索方法； 博弈树搜索方法

• 经典逻辑理论（经典逻辑理论（ ** ）） • 产生式系统（产生式系统（ ** ））• 专家系统专家系统• 计算智能（ 计算智能（ * * ）蚁群算法、粒子群算法、）蚁群算法、粒子群算法、• 机器学习（机器学习（ ** ）归纳学习、决策树学习、）归纳学习、决策树学习、 ID3ID3 、、

神经网络神经网络• AIAI中的其它技术介绍中的其它技术介绍

教材教材

• 人工智能，马少人工智能，马少平，朱小燕编著，平，朱小燕编著，清华大学出版社，清华大学出版社，20042004 年年 88 月第一月第一版版

参考书目参考书目• 林尧瑞，马少平，人工智能导论，清林尧瑞，马少平，人工智能导论，清

华大学出版社华大学出版社• 蔡自兴，徐光佑，人工智能及其应用，蔡自兴，徐光佑，人工智能及其应用，

清华大学出版社（第三版）清华大学出版社（第三版）• 王文杰 叶世伟 人工智能原理与应用 王文杰 叶世伟 人工智能原理与应用 人民邮电出版社人民邮电出版社

• 陆汝钤，人工智能（上、下），科学陆汝钤，人工智能（上、下），科学出版社出版社

• 史忠植，高级人工智能，科学出版社史忠植，高级人工智能，科学出版社

网络资源网络资源

• ftp://211.87.224.149:2121/AI• 所有的课件、程序雏形、电影等材料所有的课件、程序雏形、电影等材料

（如有口令。。。）（如有口令。。。）