Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract)

Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract)

John Grant, Maria Vanina Martinez, Cristian Molinaro, Francesco Parisi

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
Journal Track. Pages 5742-5746. https://doi.org/10.24963/ijcai.2022/802

We define and investigate new inconsistency measures that are particularly suitable for dealing with inconsistent spatio-temporal information, as they explicitly take into account the spatial and temporal dimensions, as well as the dimension concerning the identifiers of the monitored objects. Specifically, we first define natural measures that look at individual dimensions (time, space, and objects), and then propose measures based on the notion of a repair. We then analyze their behavior w.r.t. common postulates defined for classical propositional knowledge bases, and find that the latter are not suitable for spatio-temporal databases, in that the proposed inconsistency measures do not often satisfy them. In light of this, we argue that also postulates should explicitly take into account the spatial, temporal, and object dimensions, and thus define ``dimension-aware'' counterparts of common postulates, which are indeed often satisfied by the new inconsistency measures. Finally, we study the complexity of the proposed inconsistency measures.
Keywords:
Knowledge Representation and Reasoning: Qualitative, Geometric, Spatial, Temporal Reasoning