Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

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

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.
Fichier principal
Vignette du fichier
ijcai17.pdf (242.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
209 View
137 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More