还要指出一点：使用统一的米制坐标框架系，实质上是偷偷摸摸地恢复了不受限制的概括。因为通过采用恰当的坐标，我们就能描述三维空间的任何部分(空中走廊就是一例，它根本没有自然边界)，或是时空的任何部分，或是流体的任何部分(例如，在1962年5月24日19时30分06.8秒，有个一立方厘米的物体，它顶部的东北端比某条河流中的某一地点的表面低5厘米)。具有本体上的自由和统一，恐怕是坐标系在(实际)科学中如此有用的原因之一。
- 为什么需要这样做
我认为构造一个可以被看作是具备常识的程序，显然最后必然要以这种或那种方式包含形式化和像朴素物理学(当然还有朴素心理学，朴素认识论等等)这样的常识性知识。虽然有些人不同意这一点，例如那些认为简单统一的学习过程最终也许表现出智能的人，但是他们的先于理论的假定与大多数AI工作者所作假定差别之大，使我认为把这些研究看成属于基本不同的领域，更为合适。无论怎样，我不打算在这里进一步讨论这个特殊问题。
然而，方法论的分歧表现为实际的差距。AI内部最流行的观点看来是：为了证明人们关于表述的思想是行之有效的，必须构造一个“完善”的程序。那些展示出令人印象深刻的全部行为的工作系统被当作成功的最终判据。可以说，这一要求非常受重视，以致在许多研究部门，如果一个学生没有完成这种令人印象深刻的工作程序，就很难获取博士学位。正如本文所述，朴素物理学方案有意回避了这种完善程序的编制。我们的目标是构造一个形式化，由它对启发方式恰当的可行推理搜索空间作出定义。确切地说，怎样搜索这一空间的问题，解释程序的控制问题，信息恢复和互联的问题一那些或可称为计算问题的问题，以及数据结构的选择问题，怎样实现快速搜索，编程语言的选择—那些或可称为实现问题的问题，都将被有意地忽略掉。
8 朴素物理学宣言
213