Allen's Interval Algebra

From Wikipedia, the free encyclopedia

Allen's Interval Algebra is a calculus for temporal reasoning that has been introduced by James F. Allen in 1983.

The calculus defines possible relations between time intervals and provides a composition table that can be used as a basis for reasoning about temporal descriptions of events.

Contents

[edit] Formal description

[edit] Relations

The following 13 base relations capture the possible relations between two intervals.

Relation Illustration Interpretation
X \mathbf{\operatorname{<}} Y

Y \mathbf{\operatorname{>}} X

 X takes place before Y X takes place before Y
X \mathbf{\operatorname{m}} Y

Y \mathbf{\operatorname{mi}} X

 X meets Y X meets Y (i stands for inverse)
X \mathbf{\operatorname{o}} Y

Y \mathbf{\operatorname{oi}} X

 X overlaps with Y X overlaps with Y
X \mathbf{\operatorname{s}} Y

Y \mathbf{\operatorname{si}} X

 X starts with Y X starts Y
X \mathbf{\operatorname{d}} Y

Y \mathbf{\operatorname{di}} X

 X during Y X during Y
X \mathbf{\operatorname{f}} Y

Y \mathbf{\operatorname{fi}} X

 X finishes with Y X finishes Y
X \mathbf{\operatorname{=}} Y X is equal to Y X is equal to Y

Using this calculus, given facts can be formalized and then used for automatic reasoning. Relations between intervals are formalized as sets of base relations.

The sentence

During dinner, Peter reads newspaper. Afterwards, he goes to bed.

is formalized in Allen's Interval Algebra as follows:

\mbox{newspaper } \mathbf{\{ \operatorname{d}, \operatorname{s}, \operatorname{f} \}} \mbox{ dinner}

\mbox{dinner } \mathbf{\{ \operatorname{<}, \operatorname{m} \}} \mbox{ bed}

[edit] Composition of relations between intervals

For reasoning about the relations between temporal intervals, Allen's Interval Algebra provides a composition table. Given the relation between X and Y and the relation between Y and Z, the composition table allows for concluding about the relation between X and Z. Together with a converse operation, this turns Allen's Interval Algebra into a relation algebra.

For the example, one can infer \mbox{newspaper } \mathbf{\{ \operatorname{m}, \operatorname{<} \}} \mbox{ bed}.

[edit] Extensions

Allen's Interval Algebra can be used for the description of both temporal intervals and spatial configurations. For the latter use, the relations are interpreted as describing the relative position of spatial objects. This also works for three-dimensional objects by listing the relation for each coordinate separately.

[edit] See also

[edit] References

  • James F. Allen: Maintaining knowledge about temporal intervals. In: Communications of the ACM. 26/11/1983. ACM Press. S. 832-843, ISSN 0001-0782
Languages