5、论关于机器智能的有关问题,再会上,McCarthy提议正式采用人工智能这一术语。1956-1969形成阶段;(1)1956年,Samuel研究出了具有自学能力的西洋跳棋程序。(2)1957年,A.Newell、J.Shaw和H.Simon等人的心理学小组编制出一个称为逻辑理论机(The Theory Machine)的数学定理证明程序。(3).1957年,A.Newell、J.Shaw和H.Simon等人揭示了人在解题时的思维过程大致可归结为3个阶段:先想出大致的解题计划;根据记忆中的公理、定理和推理规则组织解题过程;进