1960 年 社会心理学家利克里德（J. C. R. Licklider）提出“人机共生理论”（Man-Computer Symbiosis），认为不久的将来，人类的一部分思维活动将由机器代替，引起了公众的广泛争议和讨论。
1961 年 明斯基的学生詹姆斯·斯拉格尔（James Slagle）使用 LISP 语言编写了第一个符号推理程序“ SAINT”，它可以自动解决大学新生常见的微积分问题。
1961 年 英国哲学家约翰·卢卡斯（John Lucas）出版《心灵、机器和哥德尔》（Minds，Machines and Gödel）一书，根据哥德尔不完备定理，从逻辑上断定不存在智能机器的可能性。
附录 人工智能历史大事记
407