符号人工智能论文

On Computable Numbers, with an Application to the Entscheidungsproblem（论可计算数及其在判定问题上的应用）图灵1936年的这篇论文用一台抽象机器定义了「可计算数」，这台机器后来被称为图灵机；论文还证明，不存在能判定任意数学命题是否可证的通用方法。
A Logical Calculus of the Ideas Immanent in Nervous Activity（神经活动中内在思想的逻辑演算） 1943年，麦卡洛克与皮茨描述了一个简化的神经元模型，并证明由这种单元组成的网络可以进行逻辑推理，这是大脑模型与计算之间的早期联系。
Computing Machinery and Intelligence（计算机器与智能） 1950年，图灵在《计算机器与智能》中以「模仿游戏」取代了「机器能思考吗」这个他认为过于模糊的问题，即后来的图灵测试，并逐一回应了对机器智能的主要反对意见。
《Programs with Common Sense》（论常识程序）麦卡锡 1959 年的论文提出「建议接受者」：一个在形式语言中操作句子来解题、推出祈使句便执行相应动作的程序，被视为逻辑式人工智能的早期纲领。
《Some Studies in Machine Learning Using the Game of Checkers》（用跳棋进行机器学习的若干研究） A. L. Samuel 1959 年发表的论文，报告用跳棋进行的机器学习实验：程序只拿到游戏规则和一组符号、权重均未知的参数，在 8 到 10 小时的机器对弈时间里学会下棋，并胜过了写它的人。
《Steps Toward Artificial Intelligence》（迈向人工智能的若干步） Marvin Minsky 1961 年发表于《Proceedings of the IRE》的综述，把启发式编程分为搜索、模式识别、学习、规划与归纳五个领域，并指出机器需要借助归纳建立环境的模型。
Perceptrons: An Introduction to Computational Geometry（感知机）《Perceptrons》是 Marvin Minsky 与 Seymour Papert 于 1969 年出版的著作，用数学证明划定单层感知机的计算边界，长期被认为影响了 20 世纪 70 年代神经网络研究的走向。
《ELIZA——一个用于研究人机自然语言交流的计算机程序》 1966年1月，Joseph Weizenbaum 发表论文，介绍在 MIT 的 MAC 分时系统上运行的 ELIZA：它用关键词触发的分解规则和重组规则，实现某些人机自然语言对话。