5 作为经验探索的计算机科学：符号和搜索
A·纽厄尔和H·A·西蒙\*
计算机科学是对围绕计算机的现象所作的研究。这一领域的创立者们深知这一点，所以他们自称为计算机器协会。机器不仅是指硬件，而且是指带程序的活生生的机器—就是我们所研究的有机体。
这是第十次图灵讲座。在我们之前，已经有九位人物在这一讲座上就计算机科学提出了九种不同的观点。因为我们的有机体，即机器，可以在多种层次上并从多种角度进行研究。我们今天在这里提出另一种观点，深感荣幸，这一观点已经渗透在我们因之而受表彰的科学研究中。我们想把计算机科学称为经验探索。
我们的观点只是诸多观点中的一种，以前的讲座可以说明这一点。然而，即使将这些讲座汇总起来，也并不能涵盖这门科学的整个范围。这门科学的许多基本方面尚未在这十次荣誉讲座中提及。当罗盘转动了一圈，计算机科学的每个方面都已讨论过的时候，如果这一天到来一—当然这不会太快，那么新一轮循环又会开始。讲演者必须像兔子那样，年复一年地追逐那些一小步一小步增长的积累—在持续不断的比赛中乌龟所取得的科学和技术的进步。每一年都有新的差距出现，都在召唤新的冲刺，因为在科学中是没有终点的。
计算机科学是一门经验学科。我们也可以把它叫作实验科学，但是像天文学、经济学和地质学一样，它的某些独特的观察方式和实验方式已跳出实验方法狭隘的旧框框。然而，它们是实验。每制造一台新的机器都是一次实验。事实上，建造机器是对自然界的提问，同时我们也通过对运作中的机器进行观察和用一切有效的分析和测量手段对它进行分析，来听取答案。每编制一个新程序都是一次实验，它是向自然界提出一个问题，而它的行为为获得答案提供了线索。无论机器还是程序都不是黑盒子，而是已经设计出来的人工制品，既有硬件也有软件，我们可以打开它们，朝里看一看。我们可以把它们的结构同它们的行为联系起来，并从单个的实验中得到许多有用的东西。我们不必制造1(0)个比如说定理证明程序的复制品，用统计学方式证明它尚未克服因按期望的方式进行搜索而出现的组合激增。借助于一些运行过程来查看程序，揭示出它的缺陷，我们就可进行下一个尝试。
113