# Catalogue of Artificial Intelligence Techniques

View Maths as: Images | MathML

## Interval Calculus

### Categories: Inference and Reasoning , Knowledge Representation

Author(s): **K. Sundermeyer**

Interval calculus stands for a description of temporal relationships in which time is treated in terms of intervals. There are 13 possible primitive relations between pairs of intervals, e.g., `X before Y', `X meets Y'. The relationships between intervals are maintained in a network where the nodes represent individual intervals and the arcs label possible relations between the intervals. This allows one to construct non-primitive relations. There are rules of transitivity, allowing a computationally effective inference process, e.g., `if (X during Y) and (Y meets Z) then (X before Z)'.

### References:

- Allen, J.,
*Toward a general model of action and time*Artificial Intelligence**23**(1984), 123--154.

### Comments:

No comments.