然而，在提出这些问题时，我们也许并不是在避开搜索过程。我们只是把搜索从可能问题解答空间移置到了可能表述空间。无论如何，在问题求解研究领域中，从一种表述方式转移到另一种表述方式，以及发现和评价这些表述方式的整个过程，基本上是一块尚未开发的土地。支配表述方式的定性结构定律还有待于发现。几乎可以肯定，在未来的10)年中，搜索它们的工作将受到极大的关注。
结 论
以上是我们就符号系统和智能所作的论述。从柏拉图的《美诺篇》到今天，走过了一条漫长的道路，然而或许令人鼓舞的是，在这条路途上的大部分进展是进入20世纪后取得的，而其中很大的部分又是在20)世纪中叶以后取得的。思维在被现代形式逻辑解释为形式标记的处理之前，一直是不可捉摸和难以名状的东西。在计算机教我们知道符号如何能由机器加工之前，它看来主要仍是存在于柏拉图的理念王国里，或是在同样模糊不清的人类心灵空间里。本世纪中叶，在这些发展处于转折点上的时候，图灵作出了伟大的贡献一—将现代逻辑引入了计算机。
物理符号系统对逻辑和计算机的研究已向我们揭示出：智能存在于物理符号系统之中。这是计算机科学最基本的定性结构定律。
符号系统是许多模式和过程的集合体，而后者能够产生前者，并破坏和修正前者。模式最重要的特性是，它们能指称对象、过程或其他模式，而当它们指称过程时，它们就能得到解释。解释的意思就是完成被指称的过程。在我们所了解的符号系统中，有两类的意义最为重大，即人类和计算机。
正如前面指出的那样，我们目前对符号系统的理解是经历了一系列阶段才增长起来的。形式逻辑使我们熟悉了符号，把符号看作思维的原材料，以句法方式来处理它们，同时也使我们熟悉了根据仔细定义的形式过程来处理符号的观念。图灵机真正以机器的方式完成了对符号的句法加工，同时也证实了严格定义的符号系统的潜在普适性。计算机的存储程序思想再次证实了已经隐含在图灵机中的符号的可解释性。表处理把符号的指称能力推到最前面，同时它定义符号加工的方式可使其独立于基础层次物质机器固定结构。到1956年时，所有这些思想都已完成，同时也获得了实现它们的硬件。对于符号系统的智能—这个人工智能的主题——的研究可以开始了。
人工智能哲学
140