然后简述使之实现的方法。沿着这一思路，我将简要说明这方案所假定的意义理论，并对另外一些理论作出批评。
- 方案总览
这一方案要为物理世界中大量存在的普通日常知识构造一个形式化。举例来说，这种形式化有可能是一阶逻辑形式体系中若干推断的集合，或是KRL“单元”的集合，或是一个微型规划程序，或是许许多多别的什么东西中的一个。本方案并不打算建立新的形式体系来表达这种知识。尽管我们承认，形式体系也许在适当的时候有必要作大刀阔斧的改进，但是我们相信，已有的、大家熟知的形式体系尚有许多未曾发掘的潜力。本方案不打算用形式体系的方式编写能够解决问题、制定行动计划或做其他事情的程序。我有意地忽略了对执行过程细节的考虑，虽然控制和搜索问题，简单说就是计算问题，是必须重视的。我们一再看到，由于过早地考虑计算问题，在AI的表述问题方面的严肃工作被转移方向或全面受阻。
我们认为形式体系应具备以下特征(详细说明见后)：
- 彻底性它应当涵盖日常物理现象的整个范围，例如，不仅仅局限于积木世界。既然从某个重要的角度来看，世界(甚至日常世界)包含着无限丰富的潜在现象，所以这种彻底性永远不会完美无缺。然而，我们应当尽量把所有重要的空位填满，至少应确认其存在。
- 精确性 应当对它作详细推敲。例如，在对积木世界的描述以及支撑关系中，一块积木的诸方面，如形状、材料、重量、刚度和表面组织，都应是可获得的概念。同时，由于世界可以无限细分，完全精确是不可能的，但是比起普通“玩具型问题”公理化那种十分粗劣的精确性，我们应当尽力做得更好些。例如在这种公理化中，一块积木位于另一积木“上方”的关系只是一个局部编序，这样才可能以整数作为公理的模型。
人工智能哲学
\* P·J·海斯“朴素物理学宣言”一文，选自D·米基编辑的《微电子时代的专家系统》（爱丁堡大学出版社，1979)，第242—270页。
P·J.海斯(PatrickJ. Hayes)，施乐公司研究中心的高级科学家。
184