Communication Dans Un Congrès Année : 2017

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

Résumé

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.

Fichier principal
Vignette du fichier
ijcai17.pdf (242.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01579030 , version 1 (30-08-2017)
hal-01579030 , version 2 (21-03-2018)

Licence

Identifiants

Citer

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, ⟨10.24963/ijcai.2017/137⟩. ⟨hal-01579030v2⟩
356 Consultations
296 Téléchargements

Altmetric

Partager

  • More