第一个，是以我最近解决“液体”问题的经验为基础的，我一直认为这是“表述理论”中最困难的问题之一(Hayes1975)。使我感到惊讶的是，使得这些重要问题得以顺利解决的，是对(由物理边界定义的)空间区域而不是对液体区域进行量化的思想。这里的关键之点是找到区分液态物体的正确方式：一个借以表示这类东西的判据。我相信，对区分判据的类似的考虑，也可能在另外一些簇的研究方面取得很大的进展。例如在认识的形式化方面，麦卡锡(私人通信1977)已开始采用一个以“概念”区分为基础的新方法，亦即对人们头脑里的思想作出区分。
乐观主义的第二个原因，来自前已略述的关于历程的思想。我认为，由于对变化和动作所取的不恰当的本体论，多年来使得物理世界的形式化遇到阻力，而历程将提供一个绕过这一主要障碍的方法。
第三个原因基于已经论述过的不编程的方法论。直截了当地说，几乎没有人试图建立一个大型的、启发方式恰当的形式化。我们可能发现，从完成行为方式程序的前提中解放出来之后，它会比我们想象的要容易些。
第四个原因是，有一个显然可实现它的方法论。近年来，在许多领域内，已证明这一方法论是相当成功的。
- 怎样去做
有一个经过验证的正确方法，可以把知识从人头脑里取出来并变为形式化。在 AI中，费根鲍姆(Feigenbaum 1977)把它称作“知识工程”，然而，语言学家基本上也在使用同样的方法。其做法如下：对“专家”作咨询时(专家就是那些脑袋里装有知识的人；人们知道这一点，因为他能完成人们所关切的任务)，根据专家对他们头脑里的知识所作的内省说明，建立一个初步的形式化。然后，该形式化以特定的方式实施行为，并将它的行为方式同专家的做法加以比较。一般情况下，它的行为方式相当差劲。专家仔细观察了形式化的行为方式之后，常常能够更准确地指出第一次内省说明中的不当之处，并能提出更详细的修正版本。这个版本又经形式化、评判和修正，如此进行下去。专家不断地面对他所作内省的形式结果，随着时间的推移，一般来说，他变得更加善于作细致的内省。
8 朴素物理学宣言
217