Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

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)'.



Add Comment

No comments.