9 纯粹理性批判
D·麦克德莫特\*
P·海斯在1978年发表了《朴素物理学宣言》（此文最终得以刊印在霍布斯和莫尔 1985年主编的正式出版物中，Hobbs and Moore1985)，在这篇文章里，他提议为了使常识性知识形式化，可采用一阶逻辑作为标记法，为此需要作一番全面彻底的工作。这种努力可以追溯到更早的研究，特别是J·麦卡锡的工作，不过海斯方案的提法既新颖，又雄心勃勃。他认为，使用塔尔斯基的语义学，我们就可以摆脱计算机程序的限制，去研究内容庞大的知识表述问题。这个提议鼓动起一伙人，去实际地尝试用谓词演算的方式来记录所有(或大部分)常识性知识。海斯以自己关于“液体”的文章(也在霍布斯和莫尔1985年主编的书中)开始了这项工作，试图为现实领域确立本体论和标记法，这是一项很诱人的工作。这以后，有多篇同样思路的文章发表(Allen1984；Hobbs 1986；Shoham 1985)。我本人也曾是这一运动的热心鼓吹者，写过泛泛的宣传文章(McDermott1978)，也尝试做过一些具体工作(1982，1985)。我甚至以海斯的思想为蓝本与人合著过一本教科书(Charniak and McDermott 1985)。
由是，我是怀着切肤之痛来写这篇文章的，文中对于海斯的计划目前已有的和期待得到的进展，基本上取否定的态度。简言之，我认为目前看到的这种微不足道的进展，决非偶然，事实上，未来也很难有大的改观。其原因是，海斯在论证中没有言明的前提，即大量的推理可以作为演绎的或近似演绎的来分析，是错误的。
221