人工智能50年11.ppt

人工智能50年 李 德 毅 ziqinli@public2.bta.net.cn 2005年6月10日 一、 50年人工智能发展里程碑 人工智能的诞生 1956年的Dartmouth会议，一个长达2个月的暑期研讨班，与会者有数学家、逻辑学家、认知学家、心理学家、神经生理学家、计算机科学家10人。会上Marvin Minsky的神经网络模拟器、John Mccarthy的搜索法、以及Herbert Simon和Allen Newell的“逻辑理论家”成为3个亮点，分别讨论如何穿过迷宫、如何搜索推理和如何证明数学定理。 在Dartmouth会议上， John Mccarthy提出用“人工智能”作为这一交叉学科的名称。 杰出人物 20世纪40位图灵奖获得者中有6位人工智能学者： Marvin Minsky（1969年） John Mccarthy（1971年） Herbert Simon和Allen Newell（1975年） Edward Feigenbaum和Raj Reddy （1994年） 可见人工智能学科在信息科学中的地位。 人工智能的顶尖人物 Herbert Simon 1978年获得诺贝尔经济学奖 建立了机器证明数学定理的启发式搜索法，提出有限理论对经济决策活动的影响 Daniel Kahneman 2002年获得诺贝尔经济学奖 研究不确定情况下的决策，解释人类决策行为，系统偏离基本概率理论和标准经济理论的原因。 重要会议 1969年第一届国际人工智能联合会议（International Joint Conference on AI）召开, 此后每两年开一次，成为人工智能界最高级别的学术盛会。 1979年成立美国人工智能联合会（American Association for Artificial Intelligence），到2004年已经召开了第19届全国性会议， 重要刊物 1970年起，IJCAI定期出版：《International Journal of AI》 1979年起，AAAI定期出版： 《AI Magazine》， 国内重要会议 1981年成立中国人工智能学会（CAAI），今年10月将召开第11届全国人工智能学术年会（CAAI—11）。 1989年首次召开中国人工智能控制联合会议（CJCAI），至今也已召开7次。 智能标准：图灵测试和对图灵测试的理解 如果一台机器的表现（Act）、反应(React)、以及相互作用（Interact），都和有意识的人类个体一样，那么它就应该被认为是有意识的，具有智能的。 代表著作： 由费根鲍姆主编的《Computers and Thought》是世界上第一本人工智能的经典专著，含21篇著名论文，1963年出版。 80年代出版的1-4卷《The Handbook of Artificial Intelligence》是人工智能的杠鼎之作。 二、 人工智能的理论、方法与成就 符号主义方法 西蒙和纽厄尔为代表的物理符号系统假说（physical symbol system hypothesis） 由一组称为符号的实体组成系统，这些符号可作为组分出现在另一符号实体中。任何时候系统内部均有一组符号结构，以及作用在这些符号结构上生成其他符号结构的一组过程。任一物理符号系统如果是有智能的，则必能执行对符号的输入、输出、存储、复制、条件转移和建立符号结构这样6种操作。反之，能执行这6种操作的任何系统，也就一定能够表现出智能符号主义学派： 符号主义方法 认知基元是符号，智能行为通过符号操作来实现,以美国科学家Robinson提出的归结原理为基础，以Lisp和Prolog语言为代表 着重问题求解中的启发式搜索和推理过程，在逻辑思维的模拟方面取得成功，如自动定理证明和专家系统。 符号主义方法 1977年吴文俊院士给出了一类平面几何问题的机械化证明理论,在计算机上证明了一大批平面几何定理。1984年科学出版社出版了他的《几何定理机器证明的基本原理》一书，被称为吴方法。 联结主义方法 J.J.Hopfield为代表的人工神经网络方法，思维的基元是神经元，把智能理解为相互联结的神经元竞争与协作的结果,其中以反向传播网络模型和Hopfield网络模型更为突出。着重结构模拟，研究神经元特征、神经元网络拓朴、学习规则、网络的非线性动力学性质和自适应的协同行为。 联结主义方法 1975年，John Holland提出遗传算法，模仿生物染色体中基因的选择(selection)、交叉(crossove