|
|
- Contours Actifs Paramétriques Multi-Cibles pour le Support de la Représentation de Domaines Ontologiques.
Joanna Isabelle Olszewska
- Ontologies et relations spatiales dans une image : application aux images de lettrines.
Mickaël Coustaty, Alain Bouju, Georges Louis, Norbert Tsopze, Karell Bertet, Jean-Marc Ogier
|
|
|
- Trente ans de raisonnement qualitatif sur le temps et l'espace
Gérard Ligozat
Résumé :
Publié en 1983, l'article d'Allen sur l'algèbre des intervalles introduisait dans le raisonnement temporel les techniques de propagation des contraintes. Durant la trentaine d'années qui ont suivi, de nombreux travaux se sont attachés à étudier les propriétés du formalisme ainsi défini, ainsi qu'à proposer, sur le modèle proposé par Allen, toute une gamme de formalismes permettant de raisonner de manière qualitative sur le temps et sur l'espace.
Dans ces travaux, la recherche de sous-ensembles polynomiaux de relations a occupé une place centrale, conduisant au développement d'approches géométriques et syntaxiques. La définition d'un cadre général, fondé sur la notion de schéma de partition, a permis de mieux comprendre les propriétés des formalismes, et de clarifier des questions comme celle de leur expressivité, et de la nature de leurs modèles. Les liens de ces formalismes avec le domaine des CSP ont été mis à profit, tant sur le plan formel que pour proposer des techniques efficaces de résolution. Des extensions diverses, telles que des versions floues des formalismes, ont été développées.
Nous dresserons un tableau des principaux acquis du domaine en dégageant les grandes lignes d'évolution, et décrirons les perspectives qui s'ouvrent pour les recherches à venir.
|
