为什么 Lisp 大多用于人工智能领域？

由来有趣stella

我看许多人在说lisp时都这么说的，是不是他在某一方面会优于像C、java那种类型的语言，使其更适合人工智能的开发？ lisp主要用于AI方面，这话倒过来后是否还成立？（也就是AI开发主要是用lisp)

vicky_qu

关于这个问题Paul Graham的On Lisp一书中是这么解释的：Lisp was invented by John McCarthy, who also invented the term "artificial intelligence". His students and colleagues wrote their programs in Lisp, and so it began to be spoken of as an AI language. This line was taken up and repeated so often during the brief AI boom in the 1980s that it became almost an institution. 简要概括下就是Lisp的发明者John McCarthy（就是前一段去世那位）恰好是AI学科的发明者，所以他的同事和学生都用Lisp写程序。这里用词是写程序（"wrote their programs"），所以把Lisp当和AI挂钩有点像是一个凑巧。后面Paul Graham当然还提到Lisp不止可以用于AI。      至于后一个命题，AI开发是不是主要是用lisp，我觉得倒不是。AI的应用面挺广的，如果说游戏的AI的话，用lua的就挺多的；其他的方面，感觉用C或者C++的也绝不在少数。     
至于Lisp在AI开发上是否比其他语言有好处，如果问一个Lisp程序员，他可能会告诉Lisp在几乎任何方面都比其他语言有好处。 ：）

weiyingxian

徐宥的编程珠玑番外篇里探究过这个问题
  传送门：
  http://blog.youxu.info/2009/08/31/lisp-and-ai-1/
  http://blog.youxu.info/2010/02/10/lisp-and-ai-2/
  我估计这里的答案基本不会比这两篇文章讲得更清楚了
  延伸阅读：http://stackoverflow.com/questions/130475/why-is-lisp-used-for-ai

小天鹰-pb

麦卡锡在有关人工智能的论文中这样写到：

“lisp采用双重演算的方法，在lisp编程语言中，一个变量的值就是另一个lisp表达式，而在逻辑中一个变量的值，通常是指相对于形式体系本身的某个外部对象。我们需要单一的“变量”定义，既容许它（在逻辑中）作说明使用，也容许它（在编程中）作过程使用。”

“尽管现有程序不能用“餐馆”符号表示“餐馆”的意义（因为它同餐馆，食物之类的东西没有因果联系），但是它的内部符号和过程确实实现了对另一些特定事物的某种最低程度的理解，例如对两个形成结构进行比较的意义。人们可能感到，这种例子中包括的“理解”是如此之少，以致这个词根本不应该使用。”



这是我之前读书笔记摘录的，不知对你有无帮助，我不会lisp，不能深入。麦卡锡的这篇论文是收录在玛格丽特.博登的《人工智能哲学》中，中文版已出，有兴趣可以买来读读。

xined

能你写了一些AI程序后就会明白，很多（早期）AI算法都是在一个树形的状态空间中搜索的，而Lisp的递归非常适合树这样的数据结构。顺便说一下，支持递归的语言写编译器也是特别地顺手