可执行考古学：从 IPL-V 源码重现逻辑理论家
人工智能
2026-03-17 v1 计算机科学中的逻辑
编程语言
符号计算
摘要
逻辑理论家（Logic Theorist, LT），由 Allen Newell、J. C. Shaw 和 Herbert Simon 于 1955-1956 年创建，被广泛认为是第一个人工智能程序。虽然原始概念模型于 1956 年描述，但随着底层信息处理语言（Information Processing Language, IPL）的演变，经历了多次迭代。本文描述了从 Stefferud 于 1963 年 RAND 技术报告中直接转录的代码构建的新的 IPL-V 解释器，以及对逻辑理论家的忠实重现。Stefferud 的版本代表了对原始启发式逻辑进行的教学式重新编码，以标准化的 IPL-V 实现。重现的逻辑理论家成功证明了 Principia Mathematica 第 2 章 23 个尝试的定理中的 16 个，结果在其搜索限制内与原始系统的行为相符。据作者所知，这是首次在五十余年间成功执行原始逻辑理论家代码。
引用
@article{arxiv.2603.13514,
title = {Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source},
author = {Jeff Shrager},
journal= {arXiv preprint arXiv:2603.13514},
year = {2026}
}