从I到R：人工智能语言简史

语言的界限就是我与世界的界限。
——维特根斯坦

编程语言之所以能持续吸引新用户，大多并非源于语言自身特性，而是因其成为了某种流行系统的一部分。AI编程语言的历史亦大抵如此。

史前时代

高级语言出现前，人们就已经在开发复杂的AI应用程序，比如IPL（Information Processing Language），仅比机器语言略高级（国际象棋程序NSS、Logic Theorist和General Problem Solver，都是使用IPL在IBM计算机上开发）。

IPL引入的大量特性如今仍在使用，比如列表、递归、高阶函数、符号，甚至能将元素列表映射到一个迭代并处理该列表的函数的生成器。

尽管IPL大获成功并广泛部署在当时的计算机架构上，但它很快被一种更高级的语言所取代，在几乎60年后仍在使用。

LISP叱咤六十年

彼时，许多AI问题都被视为搜索问题，1956年，John McCarthy创建了一种称为alpha-beta剪枝的树搜索剪枝模式。资源有限的早期计算机系统上，内存和计算能力受到严重限制，但这项技术，使开发人员能编写逻辑复杂的程序。当时AI游戏应用程序，普遍应用了alpha-beta剪枝算法。

LISP是从AI研发中孕育出来的——因为AI对应用程序有独特需求，不断有语言被创造出来。

这年8月的达特茅斯会议，虽没有达成普遍的共识，但是却为会议讨论的主题起了一个名字：人工智能。因此，1956年也被称为人工智能元年。

达特茅斯会议之后，McCarthy致力于为AI工作开发一种专注于IBM 704平台的语言（IBM是当时对AI研究有大量资助）。1957年，在同一平台上引入了FORTRAN，而IBM用一种称为FORTRAN List Processing Language (FLPL) 的语言将FORTRAN扩展用于列表处理，成功用于IBM的平面几何学项目，但作为FORTRAN的扩展，FLPL缺少一些关键特性，例如递归、条件表达式。

LISP的演化，经历了三个阶段：

1. 1956至1958年夏天，John McCarthy完成了对LISP的大部分构想（部分基于FLP

原文链接：https://zhuanlan.zhihu.com/p/56944516