人工智能概论人工智能简史.docxVIP

优秀文档 优秀文档 PAGE PAGE5 优秀文档 PAGE 人工智能简史 当20世纪40~50年头数字计算机研制成功时，几位研究者就编写了可以完 成原始推理工作的程序。其中突出的是第一个可以下国际象棋 [Shannon1950  ， N ewell，ShawSimon1958]  、肩负实验员  [Samuel1959,Samuel1967]  和证明 平面几何定理  [Gelernter1959] 的计算机程序。  1956年，JohnMcCarthy  和Claude Shannon合作编著了一本名为《AutomataStudies》〔自动机研究〕的书[Shannon McCarthy1956]。由于对书中主要针对automata的数学理论感觉遗憾，所以 McCarthy选择把1956年的Dartmouth会议用人工智能来命名。在该次会 议上发表了好多重要论文，包括由 AllenNewell、CliffShaw和HerbertSimon 编 写的名为《LogicTheorist》〔逻辑理论家〕[Newell,ShawSimon1957] 的程序， 它可以证明命题逻辑中的定理。只管人们试着用好多其他称呼来为该局限命名，包 括错乱信息办理、机器智能、启示式编程和认知技术，但人工智能这一个称最终保 留住来。毫无疑问，这主要归因于一系列的教科书、大学课程、会讲和期刊均用