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 subclasses containing all basic relations.
Cite
Text
Cohen-Solal et al. "Temporal Sequences of Qualitative Information: Reasoning About the Topology of Constant-Size Moving Regions." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/137Markdown
[Cohen-Solal et al. "Temporal Sequences of Qualitative Information: Reasoning About the Topology of Constant-Size Moving Regions." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/cohensolal2017ijcai-temporal/) doi:10.24963/IJCAI.2017/137BibTeX
@inproceedings{cohensolal2017ijcai-temporal,
title = {{Temporal Sequences of Qualitative Information: Reasoning About the Topology of Constant-Size Moving Regions}},
author = {Cohen-Solal, Quentin and Bouzid, Maroua and Niveau, Alexandre},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {986-992},
doi = {10.24963/IJCAI.2017/137},
url = {https://mlanthology.org/ijcai/2017/cohensolal2017ijcai-temporal/}
}