34、ETALIS：基于规则的事件处理推理技术解析

ETALIS：基于规则的事件处理推理技术解析

1. 事件关系规则

在事件处理中，常常需要判断不同事件之间的关系，下面介绍几种常见的事件关系规则。
- 起始关系（starts） ：规则（12）用于检查两个时间间隔的起始是否相等，并且第一个事件的结束时间是否小于第二个事件的结束时间。

starts(TI1,TI2) : −
TI1 = [TI1 S,TI1 E],validTimeInterval(TI1),
TI2 = [TI2 S,TI2 E],validTimeInterval(TI2),
TI1 S = TI2 S,TI1 E@ < TI2 E.
(12)

• 相等关系（equals） ：当两个事件在同一时间发生时，它们被认为是相等的。规则（13）实现了这种关系。

equals(TI1,TI2) : −
TI1 = [TI1 S,TI1 E],validTimeInterval(TI1),
TI2 = [TI2 S,TI2 E],validTimeInterval(TI2),
TI1 S = TI2 S,TI1 E = TI2 E.
(13)

• 结束关系（finishes） ：如果第一个事件的结束时间与第二个事件的结束时间相同，但开始时间较晚，则称第一个事件结束了第二个事件。规则（14）用于检查此条件。