Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions

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
Abstract : Relying on the recently introduced multi-algebras, we present a general approach for reasoning about temporal sequences of qualitative information that is generally more efficient than existing techniques. Applying our approach to the specific case of sequences of topological 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 sub-classes containing all basic relations.
Type de document :
Communication dans un congrès
Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.986 - 992, 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. 〈10.24963/ijcai.2017/137〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01579030
Contributeur : Quentin Cohen-Solal <>
Soumis le : mercredi 21 mars 2018 - 20:58:23
Dernière modification le : mardi 5 juin 2018 - 10:14:42

Fichier

ijcai17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions. Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.986 - 992, 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. 〈10.24963/ijcai.2017/137〉. 〈hal-01579030v2〉

Partager

Métriques

Consultations de la notice

132

Téléchargements de fichiers

44