LISP 在人工智能中还有另一个优势，即它可以很好地把麦卡锡设想的“符号推理能够从已知的知识推理出新的知识，乃至自我改进推理系统自身的行为”实现出来，LISP 中程序（行为）和数据（符号）是高度相似且可以互相转化的，麦卡锡把两者分别描述为“ M- 表达式”和“ S- 表达式”（现代 LISP 编程中只使用 S- 表达式了），其中 M 指“ Meta”，而 S 指“ Symbolic”。LISP 的重要特点“元编程”（Meta Programme）就源于它的数据可以变为程序、符号可以修改自身的行为这种能力，使用这个特性，程序可以很方便地实现新知识改进程序本身这个目标。
麦卡锡提出的常识编程即使以今天的视角来看也完全看不到实现的希望，很有可能人类的思维就不是逻辑推理能够模拟的。但麦卡锡为了验证常识编程而提出的 LISP 却将他在计算机编程语言领域的地位推向了一个几乎可以与“人工智能之父”这个头衔媲美的程度，可谓失之东隅，收之桑榆。
3.3.2 物理符号系统
物理符号系统是纽厄尔和司马贺提出的一套尝试解释智能来源机制的理论，它试图模拟人类如何获取、存储、传播和处理信息，并提供了一种将这个过程中的各种现象模型化，迁移到计算机中实现的途径。从人类心理的智能活动中提炼出智能机制是“认知派”的一贯研究思路，而将这种思想公开、完整、系统性地总结出来，则可以追溯到纽厄尔和司马贺 1975 年获得图灵奖时发表的演讲稿《作为经验主义探究的计算机科学：符号和查询》<sup>○一</sup>（“Computer
82
第二部分 学派争鸣
○一 演讲稿下载地址：http://dl.acm.org/citation.cfm?id=360022。