The Logic Theorist (LT), created by Allen Newell, J. C. Shaw, and Herbert Simon in 1955-1956, is widely regarded as the first artificial intelligence program. While the original conceptual model was described in 1956, it underwent several iterations as the underlying Information Processing Language (IPL) evolved. Here I describe the construction of a new IPL-V interpreter, written in Common Lisp, and the faithful reanimation of the Logic Theorist from code transcribed directly from Stefferud's 1963 RAND technical report. Stefferud's version represents a pedagogical re-coding of the original heuristic logic into the standardized IPL-V. The reanimated LT successfully proves 16 of 23 attempted theorems from Chapter 2 of Principia Mathematica, results that are historically consistent with the original system's behavior within its search limits. To the author's knowledge, this is the first successful execution of the original Logic Theorist code in over half a century.

翻译：逻辑理论家（Logic Theorist，简称LT）由Allen Newell、J. C. Shaw和Herbert Simon于1955-1956年创建，被公认为第一个人工智能程序。虽然其原始概念模型于1956年发表，但随着底层信息处理语言（Information Processing Language，简称IPL）的演进，该程序经历了多次迭代。本文描述了一个用Common Lisp编写的新型IPL-V解释器的构建过程，以及基于Stefferud 1963年兰德公司技术报告直接转录代码对逻辑理论家进行的精确复原。Stefferud版本代表了对原始启发式逻辑程序按照标准化IPL-V进行的教学性重编码。复原后的LT成功证明了《数学原理》第二章中23个定理中的16个，该结果在历史维度上与原始系统在其搜索限制内的表现一致。据作者所知，这是半个多世纪以来首次成功运行原始逻辑理论家代码。