Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions - Archive ouverte HAL
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)
Loading...

Dates et versions

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

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⟩
252 Consultations
178 Téléchargements

Altmetric

Partager

More