esb世博摘要：智能机械在现实生活中应用越来越广泛，随着工业水平的提高和科技技术的发展，智 能机械的应用已经渗透到生产和生活中的方方面面。特别是智能机械在航空航天方面的应用e）的数学定理证明程 序。当时该程序证明了

　　《数学原理》一书第二 章的38个定理（1963修订的程序在大机器 上终于证明了该章中全部52个定理）。后来 他们又揭示了人在解题时的思维过程大致可 归结为3个阶段：

　　2根据记忆中的公理、定理、和推理规 则组织解题过程；进行方法和目的的分析， 修正解题计划。这种思维活动不仅求解数学 题时如此，解决其他活动时也大致如此。基 于这一思想，他们于1960年又编制了能解 10中类型不同课程的通用问题的求解程序 GPS（general problem solving）。另外,还发明 了编程的表处理技术和NSS国际象棋机。和 这些工作有联系的还包括Newell关于自适 应象棋机的论文，这些也是当时信息处理研 究方面的巨大成就。后来他们的学生还做了 许多工作，如人的口语学****和记忆的EPAM模 式（1959）、早期自然语言理解程序SAD-SAM 等。此外他们还对启发式求解方法进行了探 讨。

　　1956年，Samuel研究的具有自学****自 组织、自适应能力的西洋跳棋程序是IBM小 组有影响的工作。这个程序可以像一个优秀 的棋手那样，向前看几步下棋。它还能学****棋谱esb世博网·(中国区)官方网站，分析大约175000 不同的棋局后，可 猜测出书上所有的走步，准确度达48%,这 是机器人模拟人类学****过程卓有成就的探 索。1959年这个程序战胜设计者本人，1962 年还击败了美国一个州的跳棋大师。

　　在MIT小组，1959年McCarthy发明的 表（符号）处理语言LISP,成为智能机械中 人工智能设计的主要语言，此后一直被广泛 采用。1958年Seifrige等人的模式识别系统 程序等，都对智能机械的研究产生有益的影 响。

　　20世纪80年代以来，智能机械的研究 活动越来越受到重视。为了提示智能的有关 原理，研究者们相继对问题求解、博弈、定 理证明、程序设计、机器视觉、自然语言理 解等领域的课题进行了深入研究。

　　美国是现代智能机械的诞生地，早在 1962年就研制出世界上第一台工业智能机 械，比起号称”智能机械王国”的日本起步至 少要早五六年。经过30多年的发展，美国现 已成为世界上的智能机械强国之一，基础雄 厚，技术先进。综观它的发展史，道路是曲 折的，不平坦的。由于美国政府从60年代到 70年代中的十几年期间，并没有把工业智能 机械列入重点发展项目，只是在几所大学和 少数公司开展了一些研究工作。对于企业来 说，在只看到眼前利益，政府又无财政支持 的情况下，宁愿错过良机，固守在使用刚性 自动化装置上esb世博网·(中国区)官方网站，也不愿冒着风险esb世博网·(中国区)官方网站，去应用或 制造智能机械。加上，当时美国失业率高达 6. 65%,政府担心发展智能机械会造成更多 人失业，因此不予投资，也不组织研制智能 机械，这不能不说是美国政府的战略决策错 误。70年代后期，美国政府和企业界虽有所 重视，但在技术路线上仍把重点放在研究智 能机械软件及军事、宇宙、海洋