Carsten Lutz ; Frank Wolter - Modal Logics of Topological Relations

lmcs:2253 - Logical Methods in Computer Science, June 22, 2006, Volume 2, Issue 2 - https://doi.org/10.2168/LMCS-2(2:5)2006
Modal Logics of Topological RelationsArticle

Authors: Carsten Lutz ; Frank Wolter ORCID

    Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the Egenhofer-Franzosa (or RCC8) relations between regions in topological spaces such as the real plane. We investigate the expressive power and computational complexity of logics obtained in this way. It turns out that our modal logics have the same expressive power as the two-variable fragment of first-order logic, but are exponentially less succinct. The complexity ranges from (undecidable and) recursively enumerable to highly undecidable, where the recursively enumerable logics are obtained by considering substructures of structures induced by topological spaces. As our undecidability results also capture logics based on the real line, they improve upon undecidability results for interval temporal logics by Halpern and Shoham. We also analyze modal logics based on the five RCC5 relations, with similar results regarding the expressive power, but weaker results regarding the complexity.


    Volume: Volume 2, Issue 2
    Published on: June 22, 2006
    Submitted on: November 24, 2005
    Keywords: Computer Science - Logic in Computer Science,Computer Science - Artificial Intelligence,Computer Science - Computational Complexity,F.4.1,H.2.8,I.2.4

    16 Documents citing this article

    Consultation statistics

    This page has been seen 938 times.
    This article's PDF has been downloaded 262 times.