Séquences temporelles d’informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante
Résumé
Nous présentons une approche générale pour le raison-nement sur des séquences temporelles d'informations quali-tatives. Cette approche, qui s'appuie sur le cadre récemment introduit des multialgèbres, est de façon générale plus effi-cace computationnellement que les techniques de la littéra-ture. Nous appliquons notre approche au cas spécifique des séquences d'informations topologiques sur des régions de taille constante ; nous montrons que le formalisme obtenu dispose d'une procédure complète pour la décision de la co-hérence, et nous identifions ses trois sous-classes maximales contenant toutes les relations basiques. Abstract Relying on the recently introduced multi-algebras, we present a general approach for reasoning about temporal sequences of qualitative information that is generally compu-tationally more efficient than existing techniques. Applying our approach to the specific case of sequences of topolog-ical information about constant-size regions, we show that the resulting formalism has a complete procedure for deciding consistency, and we identify its three maximal tractable subclasses containing all basic relations.
Domaines
Intelligence artificielle [cs.AI]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...