Séquences temporelles d’informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante

Quentin Cohen-Solal 1 Maroua Bouzid 1 Alexandre Niveau 1
1 Equipe MAD - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
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.
Type de document :
Communication dans un congrès
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. 2017, 〈https://pfia2017.greyc.fr/iaf/〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01577782
Contributeur : Tiago De Lima <>
Soumis le : mercredi 21 mars 2018 - 20:24:08
Dernière modification le : jeudi 7 février 2019 - 17:47:23
Document(s) archivé(s) le : jeudi 13 septembre 2018 - 08:42:47

Fichier

IAF Cohen-Solal Bouzid Niveau....
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01577782, version 1

Citation

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. Séquences temporelles d’informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante . 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. 2017, 〈https://pfia2017.greyc.fr/iaf/〉. 〈hal-01577782〉

Partager

Métriques

Consultations de la notice

138

Téléchargements de fichiers

14