HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01577782
Contributor : Tiago de Lima Connect in order to contact the contributor
Submitted on : Wednesday, March 21, 2018 - 8:24:08 PM
Last modification on : Wednesday, November 3, 2021 - 5:06:59 AM
Long-term archiving on: : Thursday, September 13, 2018 - 8:42:47 AM

File

IAF Cohen-Solal Bouzid Niveau....
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01577782⟩

Share

Metrics

Record views

106

Files downloads

17