Raisonnement qualitatif sur l’espace et le temps : un tour d’horizon
Raisonnement qualitatif sur l’espace et le temps : un tour d’horizon
Gérard Ligozat - (LIMSI, Université Paris-Sud, Orsay)
Résumé :
Il y aura bientôt une trentaine d’années, J. Allen, dans un article très remarqué, proposait un formalisme de représentation du temps qui innovait sous plusieurs aspects : choix des intervalles plutôt que des instants comme entités temporelles, possibilité de représentation de l’indétermination, existence d’une structure algébrique pour les relations permettant l’utilisation des méthodes de propagation de contraintes.
Depuis lors, de très nombreux formalismes de représentation de l’espace et du temps sont apparus. Beaucoup peuvent être considérés comme des descendants du formalisme d’Allen (calcul des rectangles, calculs des directions cardinales, RCC-8, etc.), et un nombre considérable de travaux ont été réalisés pour étudier leurs propriétés théoriques, en particulier leur expressivité et leurs complexité, ainsi que les problèmes pratiques que pose leur mise en œuvre dans des applications concrètes.
C’est un panorama de ces travaux que nous allons donner dans cet exposé.