解释意指依赖行动的特定形式：已知一个表达式，系统就可以完成所指定的过程，也就是说，它能根据指称这些过程的表达式而再现和执行它所拥有的过程。
根据上述理解，一个具备指称和解释能力的系统必然也满足若干新增的必备条件，具有完备性和封闭性。由于篇幅的关系，我们只能简单谈这些。所有这些都是重要的，而且有着十分深远的影响。
- 符号可以用来指称任何一种表达式。就是说，给出一个符号时，并没有事先规定它能指称什么表达式。这种任意性仅仅是对符号而言的，而符号标记和它们的相互关系则决定着一个复杂表达式所指称的是什么对象。
- 存在着一些表达式是指称计算机所能完成的每一过程的。
- 存在着一些过程是以任意方式建立任何表达式并修正任何表达式的。
- 表达式具有稳定性，它们一旦建立，在明确地被修改或被取消之前，会一直存在下去。
- 系统所能拥有的表达式个数基本上是无限制的。
我们刚刚定义的这种系统是计算机科学家们所熟悉的。从其属性来看，它与一切通用计算机极为相似。如果采用符号处理语言，如LISP语言，来定义一台机器，那么其亲缘关系就真的变得像同胞一样了。我们策划这种系统的意图并不是要提出某种新东西，恰恰相反，我们是要表明，对于符合这种特征的系统，我们现在已知什么，又作出了什么假设。
现在我们可以阐述一个一般性的科学假设了—符号系统的定性结构定律：
物理符号系统假设对一般智能行动来说，物理符号系统具有必要的和充分的手段。
所谓“必要的”是指，任何表现出一般智能的系统都可以经分析证明是一个物理符号系统。所谓“充分的”是指，任何足够大的物理符号系统都可以通过进一步的组织而表现出一般智能。我们想用“一般智能行动”来表示与我们所看到的人类行动范围相同的智能：在任一真实情境中，对该系统目的来说是恰当的、并与环境要求相适应的行为，会在一定的速率和复杂性的限度之内发生。
5 作为经验探索的计算机科学：符号和搜索
119