Catalogue of Artificial Intelligence Techniques
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)'.
- Allen, J., Toward a general model of action and time Artificial Intelligence 23 (1984), 123--154.