Algèbre des intervalles d'Allen

En logique, l'algèbre des intervalles d'Allen est un calcul pour les raisonnements spatio-temporels créé par James F. Allen en 1983. Cette algèbre définit les relations possibles entre des intervalles de temps et propose une table de composition. Elle peut être utilisée comme base pour des raisonnements portant sur la description temporelle d'événements.

Description formelle

Relations

L'algèbre des intervalles d'Allen définit 13 relations, qui représentent toutes les relations possibles entre deux intervalles.

Relation	Illustration	Interprétation
$X<Y$ $Y>X$		X se déroule avant Y (before et after)
$X\mathrm{m}Y$ $Y\mathrm{mi}X$		X rencontre Y (meets) (i signifie inverse)
$X\mathrm{o}Y$ $Y\mathrm{oi}X$		X chevauche Y (overlaps)
$X\mathrm{s}Y$ $Y\mathrm{si}X$		X démarre Y (starts)
$X\mathrm{d}Y$ $Y\mathrm{di}X$		X se déroule pendant Y (during)
$X\mathrm{f}Y$ $Y\mathrm{fi}X$		X termine Y (finishes)
$X\mathrm{=}Y$		X est égal à Y

Avec cette algèbre, des évènements peuvent être formalisés et utilisés pour effectuer des raisonnements automatisés. Les relations entre les intervalles sont formalisées par un sous-ensemble de ces 13 relations.

Ainsi la phrase Modèle:Citation sera formalisée ainsi par l'algèbre des intervalles d'Allen :

$\text{journal }\mathbf{\{}\mathrm{d},\mathrm{s},\mathrm{f}\mathbf{\}}\text{ dîner}$

$\text{dîner }\mathbf{\{}<,\mathrm{m}\mathbf{\}}\text{ sommeil}$

Généralement, le nombre de relations possibles entre n intervalles est 1, 1, 13, 409, 23917, 2244361... OEIS A055203. Le cas précédent s'applique avec n=2.

Composition de relations entre des intervalles

Pour raisonner sur les relations entre des intervalles temporels, l'algèbre des intervalles d'Allen propose une table de composition. Étant données les relations entre $X$ et $Y$, ainsi que les relations entre $Y$ et $Z$, la table de composition permet de déduire les relations possibles entre $X$ et $Z$. Avec la composition de relations, ainsi qu'une opération d'inversion, l'algèbre des intervalles d'Allen est définie comme une algèbre relationnelle.

Par exemple, il est possible d'inférer $\text{journal }\mathbf{\{}<,\mathrm{m}\mathbf{\}}\text{ sommeil}$.

Extensions

L'algèbre des intervalles d'Allen peut être utilisée à la fois pour décrire des intervalles temporels et des configurations spatiales. Dans le second cas, les relations sont considérées comme décrivant la position relative d'objets dans l'espace. Cela est aussi possible pour des objets en 3 dimensions en listant séparément les relations pour chaque coordonnée.

Implémentation

• Modèle:En Une bibliothèque Java qui implémente l'algèbre des intervalles d'Allen ainsi qu'un algorithme de propagation de contrainte pour l'opération de composition
• Une bibliothèque Java qui implémente l'algèbre des intervalles d'Allen (y compris pour les données et les structures d'index, par exemple arbre d'intervalles)
• GQR est un outil pour raisonner sur l'algèbre des intervalles d'Allen (et d'autres)
• qualreas est un cadriciel Python pour le raisonnement qualitatif sur les réseaux d'algèbres relationnelles, telles que RCC-8 ou l'algèbre des intervalles d'Allen.
• SparQ est un outil pour raisonner sur l'algèbre des intervalles d'Allen (et d'autres)

Références

• Modèle:Article
• Modèle:Article
• Modèle:Article

Articles connexes

• Logique temporelle
• Logique