1956年Samuel研制了跳棋程序，它在1959年击败了Samuel本人，又在1962年打败了美国一个州的跳棋冠军而荣获州级冠军。也在1956年，Selfridge研制出第一个字符识别程序，又在1959年推出功能更强的模式识别程序。 　　1960年，McCarthy建立了人工智能程序设计语言LISP。从1957年开始，Newell、Shaw和Simon等人就开始研究一种不依赖于具体领域的通用解题程序GPS（持续研究了十年，69年发表最后版本）。 　　1963年，Green公布了BASEBALL（有关美国棒球赛的问答系统）。 　　1963年Slagle发表了符号积分程序SAINT，用86道积分题做实验（其中54道选自麻省理工学院的大学考题），结果做出了其中的84道（1967年Mosis以他的SIN程序再创记录，效率比SAINT提高了约三倍）。 　　1965年Roberts编制了可以分辨积木构造的程序，开创了计算机视觉的新领域。 　　1965年Robinson独辟蹊径，提出了与传统的自然演绎法完全不同的消解法，当时被认为是一项重大突破，掀起了研究计算机定理证明的又一高潮。