·在机器学习方面：塞缪尔于1950年研制出了 跳棋程序，1959年击败设计者，1962年击败 州冠军 ·在定理证明方面：美籍华人数理逻辑学家王 浩于1958年在IBM-740机上用了35min证明 了《数学原理》中的有关命题 ·在模式识别方面：1959年塞尔夫里奇推出了 一个模式识别程序，1965年罗伯特编制出了 可分辩积木构造的程序 ·在问题求解方面：1960年纽厄尔等人在总结 心理学试验的基础上，编制了通用问题求解 程序GPS• 在机器学习方面：塞缪尔于1950年研制出了 跳棋程序,1959年击败设计者，1962年击败 州冠军 • 在定理证明方面：美籍华人数理逻辑学家王 浩于1958年在IBM-740机上用了3—5min证明 了《数学原理》中的有关命题 • 在模式识别方面：1959年塞尔夫里奇推出了 一个模式识别程序，1965年罗伯特编制出了 可分辩积木构造的程序 • 在问题求解方面：1960年纽厄尔等人在总结 心理学试验的基础上，编制了通用问题求解 程序GPS