3. 3人工智能的诞生 1956年的Dartmouth会议,一个长达2个月的暑期研讨班,与会者有数学家、逻辑学家、认知学家、心理学家、神经生理学家、计算机科学家10人。会上Marvin Minsky的神经网络模拟器、John Mccarthy的搜索法、以及Herbert Simon和Allen Newell的“逻辑理论家”成为3个亮点,分别讨论如何穿过迷宫、如何搜索推理和如何证明数学定理。
在Dartmouth会议上, John Mccarthy提出用“人工智能”作为这一交叉学科的名称。
4. 4杰出人物 20世纪40位图灵奖获得者中有6位人工智能学者:
Marvin Minsky(1969年)
John Mccarthy(1971年)
Herbert Simon和Allen Newell(1975年)
Edward Feigenbaum和Raj Reddy (1994年)
可见人工智能学科在信息科学中的地位。
6. 61963澳大利亚艾克尔斯(Eccles.J.C.1903~)神经元兴奋与抑制的离子机制英国霍奇金(Hodgkin.A.L.1914~)英国赫胥黎(Huxley.A.F.1917~)1970英国卡兹(Katz.B.1911~ ) 神经末梢的化学递质的发现及递质的储藏、释放、活等机制的研究瑞典欧拉(Euler.U.S.von. 1905~1983)美国阿克塞尔罗德(Axelrod.J.1912~)1977美国吉尔曼(Guillemin.R.1924~)下丘脑促垂体激素的研究美国沙利(Schally.A.V.1927~)1981美国斯佩里(Sperry.R.1913~)关于大脑两半球功能特异性的研究2000美国卡尔松(Carlsoon.A. 1923~)神经系统的信号传导美国格林加德(Greengard.P. 1925~)美国坎德尔(Kandel.E. R. 1929~)获得诺贝尔奖的脑科学与神经生物学家(续)
7. 7人工智能的顶尖人物Herbert Simon
1978年获得诺贝尔经济学奖
建立了机器证明数学定理的启发式搜索法,提出有限理论对经济决策活动的影响
Daniel Kahneman
2019年获得诺贝尔经济学奖
研究不确定情况下的决策,解释人类决策行为,系统偏离基本概率理论和标准经济理论的原因。
8. 8重要会议 1969年第一届国际人工智能联合会议(International Joint Conference on AI)召开, 此后每两年开一次,成为人工智能界最高级别的学术盛会。
1979年成立美国人工智能联合会(American Association for Artificial Intelligence),到2019年已经召开了第19届全国性会议,
9. 9重要刊物1970年起,IJCAI定期出版:《International Journal of AI》
1979年起,AAAI定期出版:
《AI Magazine》,
12. 12代表著作: 由费根鲍姆主编的《Computers and Thought》是世界上第一本人工智能的经典专著,含21篇著名论文,1963年出版。
80年代出版的1-4卷《The Handbook of Artificial Intelligence》是人工智能的杠鼎之作。
13. 13二、 人工智能的理论、方法与成就人工智能50年
14. 14符号主义方法西蒙和纽厄尔为代表的物理符号系统假说(physical symbol system hypothesis)
由一组称为符号的实体组成系统,这些符号可作为组分出现在另一符号实体中。任何时候系统内部均有一组符号结构,以及作用在这些符号结构上生成其他符号结构的一组过程。任一物理符号系统如果是有智能的,则必能执行对符号的输入、输出、存储、复制、条件转移和建立符号结构这样6种操作。反之,能执行这6种操作的任何系统,也就一定能够表现出智能符号主义学派: