Classification topologique des ensembles convexes de Allen
Résumé
Représenter et raisonner sur des informations temporelles qualitatives, incomplètes et imprécises constitue une partie essentielle de nombreux travaux en intelligence artificielle. Les modèles de représentation de ces informations temporelles reposent soit sur le concept d'intervalle, soit sur celui de point. Raisonner dans l'algèbre d'intervalle d'Allen est un problème connu comme NP-difficile. C'est pourquoi la recherche de sous-classes traitables est si importante. La classe traitable la plus utilisée, dû au concept cognitif de voisinage, est la classe des 83 relations convexes, ensemble des relations de Allen traduisibles en conjonction d'inéquations linéaires sur l'ensemble de leurs extrémités (points). Nous proposons dans cet article, une taxonomie de cette sous-classe fondée sur l'ensemble des ordres sur au plus 4 points préservant la notion d'intervalle. Nous en avons déduit un outil graphique d'aide à la spécification et à la résolution des contraintes temporelles qualitatives.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...