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

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.

Domaines: Intelligence artificielle [cs.AI]; Complexité [cs.CC]; Algorithme et structure de données [cs.DS]

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⟩