空间智能原理与应用
上QQ阅读APP看书,第一时间看更新

1.2.2 形成

这个阶段主要是指1956—1969年。1956年夏季,由当时达特茅斯(Dartmouth)大学的年轻数学助教、现任斯坦福大学教授麦卡锡(T. McCarthy)联合哈佛大学年轻数学和神经学家、麻省理工学院教授明斯基(M. L. Minsky),IBM公司信息研究中心负责人洛切斯特(N. Rochester),贝尔实验室信息部数学研究员香农(C. E. Shannon)共同发起,邀请普林斯顿大学的莫尔(T. Moore)和IBM公司的塞缪尔(A. L. Samuel)、麻省理工学院的塞尔夫里奇(O. Selfridge)和索罗莫夫(R. Solomonff)以及兰德(RAND)公司和卡内基梅隆大学的纽厄尔(A. Newell)、西蒙(H. A. Simon)等在美国达特茅斯大学召开了一次为时两个月的学术研讨会,讨论关于机器智能的问题。会上经麦卡锡提议正式采用了“人工智能”这一术语。麦卡锡因而被称为人工智能之父。这是一次具有历史意义的重要会议,它标志着人工智能作为一门新兴学科正式诞生了。此后,美国形成了多个人工智能研究组织,如纽厄尔和西蒙的Carnegie RAND协作组,明斯基和麦卡锡的MIT研究组,塞缪尔的IBM工程研究组等。

自这次会议之后的10多年间,人工智能的研究在机器学习、定理证明、模式识别、问题求解、专家系统及智能语言等方面都取得了许多引人注目的成就,举例如下。

① 在机器学习方面,1957年Rosenblatt研制成功了感知机。这是一种将神经元用于识别的系统,它的学习功能引起了广泛的兴趣,推动了连接机制的研究,但人们很快发现了感知机的局限性。

② 在定理证明方面,数理逻辑学家王浩于1958年在IBM-704机器上用3~5分钟证明了《数学原理》中有关命题演算的全部定理(220条),并且证明了谓词演算中150条定理的85%;1965年鲁宾孙(J. A. Robinson)提出了归结原理,为定理的机器证明做出了突破性的贡献。

③ 在模式识别方面,1959年塞尔夫里奇推出了一个模式识别程序;1965年罗伯特(Roberts)编制出了可分辨积木构造的程序。

④ 在问题求解方面,1960年纽厄尔等通过心理学实验总结出了人们求解问题的思维规律,编制了通用问题求解程序GPS,可以用来求解11种不同类型的问题。

⑤ 在专家系统方面,美国斯坦福大学的费根鲍姆(E. A. Feigenbaum)领导的研究小组自1965年开始专家系统DENDRAL的研究,1968年完成并投入使用。

⑥ 在智能语言方面,1960年麦卡锡研制出了人工智能语言LISP,成为建造专家系统的重要工具。

1969 年成立的国际人工智能联合会议(International Joint Conferences on Artificial Intelligence, IJCAI)是人工智能发展史上一个重要的里程碑,它标志着人工智能这门新兴学科得到了世界的肯定和认可。1970年创刊的国际性人工智能杂志Artificial Intelligence对推动人工智能的发展,促进研究者的交流起到了重要的作用。