一般化事件

10.3.6 一般化事件

到目前为止，我们已经看到了两个主要的概念：行动和对象。现在是来看看它们如何归入无所不包的本体论中的时候了，在这个本体论中，行动和对象都可以被视为物理宇宙的一个方面。我们把某个特定的宇宙看作具有空间维和时间维。Wumpus 世界的空间维部分是二维格子，时间是离散的；我们的世界有三维空间和一维时间[37]，它们都是连续的。一个一般化事件是由某个“时空片断”——多维时空宇宙的一部分——的各个方面所构成的。这个抽象将我们迄今为止已经看到的大多数概念都一般化了，包括行动、位置、事件、流和物理对象。图10.3给出了一个一般概念。从现在开始，我们将用简单术语“事件”来指代一般化事件。

例如，第二次世界大战（简称为“二战”——译者注）是一个发生在许多时空点上的事件，如不规则形状的灰色块所示。我们可以将它分解为子事件（subevent）：[38]

SubEvent(BattleOfBritain, WorldWarII)

类似地，二战（WorldWarII）是20世纪的一个子事件：

SubEvent(WorldWarII, TwentiethCentury).

20世纪是一个时间区间（interval）。区间指的是包括两个时间点之间全部空间的时空片断。函数Period(e)表示包含事件 e 的最小区间。Duration(i)是区间占据的时间长度，所以我们可以说Duration(Period(WorldWarII))＞Years(5)。

图10.3 一般化事件。一个宇宙有时间维和空间维；在图中，我们只表示了单一的空间维。所有事件都是宇宙的PartOf（一部分）。一个事件，如WorldWarII（二战），发生在时空的一部分中，其边界是有些任意的和随时间变化的。一个Interval(区间)，诸如TwentiethCentury（20世纪），具有固定的、有限的时间外延和最大的空间外延，而一个Place（地方），诸如澳大利亚，具有粗略固定的空间外延和最大的时间外延

澳大利亚是一个地方（place）；具有某个固定空间边界的片断。由于地理或政治变动，边界可能会随时间变化。当某事件的空间投影是另一个的PartOf（一部分）时，我们用谓词In来表示这种子事件关系：

In(Sydney, Australia)

函数Location(e)表示包含事件e的最小地方。

同其它种类的对象一样，事件也能用类别来进行分组。例如，WorldWarII属于类别Wars（战争）。为了表示17世纪40年代英格兰发生了一场内战，我们可以说

∃w w∈ CivilWars ∧ SubEvent(w,1640s) ∧ In(Lacation(w),England)

事件类别的概念回答了一个问题，一个当我们在第10.3节中描述行动效果时我们回避了的问题：诸如Go([1, 1], [1, 2])这样的逻辑项确切地说指代了什么？它们是事件吗？答案或许令人吃惊，不是。考虑一个有两个“相同”行动的规划，我们就能看清这一点，比如

[Go([1, 1], [1, 2]), Go([1, 2], [1, 1]), Go([1, 1], [1, 2])]

在这个规划中，Go([1, 1], [1, 2])不可能是一个事件的名称，因为有两个不同的事件发生在不同的时间。替代地，Go([1, 1], [1, 2])是一个事件类别的名称——所有智能体从[1, 1]走到[1, 2]事件的类别。那个三步规划说明了这3个事件类别的实例将会发生。

注意这是我们第一次看到类别由复合项命名，而不只是常量符号。这并不会产生新的困难；实际上，为了方便我们可以用参数结构的方法来处理。消除参数会创建更一般的类别：

Go(x,y)⊆ GoTo(y)　　　　　Go(x,y)⊆ GoFrom(x)

类似地，我们可以通过增加参数来创造更为具体的类别。例如，为了描述其它智能体的行动，我们可以加上一个智能体参数。这样，为了说明Shankar昨天从纽约（New York）飞到了新德里（New Delhi），我们可以这样写：

∃e e ∈ Fly(Shankar, NewYork, NewDelhi) ∧ SubEvent(e, Yesterday)

这种形式的公式如此常用以至于我们要为此创造一个缩写：E(c, i)表示事件类别c的一个元素是事件或区间i的一个子事件：

E(c, i) ⇔ ∃e e ∈ c ∧ SubEvent(e, i)

这样，我们就有：

E(Fly(Shanker, NerYork, NewDelhi), Yesterday)