5.2  情景命题和绝对命题

除了（i）沿命题内关系遍历（见3.5.1）和（ii）沿个例行遍历（见5.1.3）之外，还有另一种思考方式，即（iii）推理。数据库语义学当中，和情景命题相对的绝对命题构成推理的基础。

绝对命题表示的是不受任何STAR（见2.6.2）限制的内容，如科学或者数学知识以及与个人信念有关的内容，如“Mary takes a nap after lunch”。情景命题则要求说明具体的STAR，以便对命题内容进行正确编码。注65

数据库语义学当中，情景命题和绝对命题的属性“prn”的值不同。下面举例说明。以下是命题“A dog is an animal”（绝对命题）和“the dog is tired”（情景命题）当中的各个命题因子。

5.2.1  词库中的绝对命题和情景命题（语境层）

除了属性“prn”的值（这里是a-11和e-23）不同以外，绝对命题和情景命题的区别还在于绝对命题的核心属性值是一个概念类型，而情景命题的核心属性值是一个概念个例：

5.2.2  概念类型和概念个例充当核心属性值

这样，相关的主记录间接地对语境层的情景命题因子的核心属性值进行了分类。

绝对问题和情景问题之间的区别要求把词库的两个部分，即语境层和语言层，都再进一步分成两个不同的区域：

5.2.3  词库里的情景命题区和绝对命题区

要在语境层和语言层之间获得绝对命题和情景命题的匹配界面，绝对命题和情景命题需要在概念上分成两层，如下图所示：

5.2.4  匹配界面的三维展示：

把绝对命题因子放在情景命题因子之上，是因为多次出现的表达同一内容的情景命题最终会转变为绝对命题，如下所示：

5.2.5  从情景命题到绝对命题

情景命题代表孤立的事件，有其特定的STAR。如果它们的STAR是多次重复的，就把它们归纳为一个绝对命题。绝对命题的STAR忽略不计。

从技术角度看，我们有必要强调一下，5.2.4所示词库的结构完全是概念性的，并不影响实际操作过程中的存储位置，因为命题因子之间的关系只通过属性和属性值来编码。