身体的智能：4智能理论的前提条件

1935年，生于奥地利的英国哲学家，科学哲学论界的泰斗Karl Popper，撰写了一本具有影响力的著作《科学发现的逻辑》（The Logic of Scientific Discovery），最初，该书用德文书写并出版（德文的题目为Logik der Forschung）。书中他认为，虽然科学理论是不能被证实的，但是它可以被反驳或者被证明为假。在他的观点中理论这个东西只有暂时的状态，即理论只在它们所做的预测还未被试验证据证明为假时成立。这正是他所提出的怎样区别科学理论和伪科学理论的方法。对于Popper来说，爱因斯坦的广义相对论被摆在了科学理论的位置，然而，马克思的经济理论，弗洛伊德的心理分析理论却被摆在了伪科学的位置，因为它们缺乏可被证明为假性。根据Popper的理论，只要新的证据出现，如对弗洛伊德的心理学理论来说，一个新的临床上的观察报告或者一个症状和行为不符合理论的患者不适合于这个理论，这些都会在某种程度上被“调整”，甚至可能被用来巩固，而不是反驳这个理论。然而应该注意到的是，虽然心理分析学缺乏可被证明为假性，但是心理分析学在现代思想领域中已经对现代思想拥有深远的影响力，这种影响力甚至比Popper的思想更深远。

Popper的主张对所谓什么是好的科学方法论这个问题有着重要的影响，但是这种毫无争议的状态并没有持续多久。出生于奥地利的，被认为是科学哲学论领域的直言不讳者Paul Feyerabend，非常尖锐地批评了Popper的立场。尽管作为Popper的弟子之一，他已经被Popper的成果所深深影响，但他后来成为了Popper的最强烈的反对者。在他所撰写富有争议的著作《反对方法》（Against
Method）中，Feyerabend 指出Popper的观点有太多的局限性，且主张在下列的严格的规制下，科学不可能通过遵循严格的规则而取得进步。他指出通常当取得真正的科学进步时，相关的科学家并没有遵循什么精确的规则。“怎么都行（Anything goes）”是他的无政府主义倾向的格言。因为本书是关于人工智能而非关于科学哲学原理的，所以，在这里我们不会深刻探讨Popper 派和Feyerabend派的科学观点。相反的，将像我们通常所做的，我们更加强调真相极可能存在于中间地带：一些规律和被普遍接受的一般方法论是必需的，但是过于盲目地依从它们会阻碍进步。本书中，正是在这个中间地带里，我们期待着勾画出智能理论。

人工智能不像物理学，心理学或生物学，它是一个年轻的，未成熟的学科；至今为止它缺乏一个坚实的基础。因为其相对短暂的历史，同时还考虑到其智能背景和它的跨学科本质，我们不能期望会有一般被接受的方法论。此外，人工智能在本质上与其他科学不同，它不仅仅是一个关于理解自然的学科，如物理学、生物学、心理学和神经科学等分析科学，而且还是关于设计和制造的学科：它是综合性的。我们将探讨的理论将会体现这个重要的特征。我们在第二部分的引言中提及的有关智能理论的大部分内容具有纯粹的分析性质，因此更适应Popper的严格标准。然而，举例来说，来自人工智能领域的Minsky和Newell，都将这个设计观点包括在他们的理论之中。最后，在综合性背景中建立的人造物（程序或机器人）之所以引人注目，并不仅是因为作为生物的模型，更是因为它们本身。所以，我们能看到像Popper所提倡的狭隘观点是不可能在人工智能领域起作用的。

在本章，我们将介绍以下内容。首先，我们会讨论我们期望达成的理论，这个理论将以一组设计原理的形式表现。然后，我们会简述一些需要重点考虑的事项和一些构成我们理论框架的“元原则（metaprinciples）”。