人工智能50年-智能科学.ppt

  1. 1、本文档共40页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
人工智能50年-智能科学

人工智能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

文档评论(0)

zhuwo + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档