Article

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

Computing Research Repository - CORR 04/2011; DOI: 10.5591/978-1-57735-516-8/IJCAI11-165
Source: arXiv

ABSTRACT We investigate (quantifier-free) spatial constraint languages with equality,
contact and connectedness predicates as well as Boolean operations on regions,
interpreted over low-dimensional Euclidean spaces. We show that the complexity
of reasoning varies dramatically depending on the dimension of the space and on
the type of regions considered. For example, the logic with the
interior-connectedness predicate (and without contact) is undecidable over
polygons or regular closed sets in the Euclidean plane, NP-complete over
regular closed sets in three-dimensional Euclidean space, and ExpTime-complete
over polyhedra in three-dimensional Euclidean space.

Download full-text

Full-text

Available from: Roman Kontchakov, Aug 28, 2015
0 Followers
 · 
92 Views
  • Source
    • "A qualitative constraint has the form (xRy), which specifies that the two variables x, y are related by the relation R. The consistency problem is to decide whether a set of qualitative constraints can be satisfied simultaneously. The consistency problem has been investigated in depth for many qualitative calculi in the literature, see e.g., [51] [50] [33] [40] [39] [43] [42] [14] [55] [37] [28] [35] [45] [30]. "
  • Source
    • "A qualitative constraint has the form (xRy), which specifies that the two variables x, y are related by the relation R. The consistency problem is to decide whether a set of qualitative constraints can be satisfied simultaneously. The consistency problem has been investigated in depth for many qualitative calculi in the literature, see e.g., [51] [50] [33] [40] [39] [43] [42] [14] [55] [37] [28] [35] [45] [30]. "
  • Source
    • "Results (ii) and (iii) were announced, without proofs, in [28] [24]. "
    [Show abstract] [Hide abstract]
    ABSTRACT: We consider the quantifier-free languages, Bc and Bc0, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of n-dimensional Euclidean space (n greater than 1) and, additionally, over the regular closed polyhedral sets of n-dimensional Euclidean space. The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric "Qualitative Spatial Reasoning." We prove that the satisfiability problem for Bc is undecidable over the regular closed polyhedra in all dimensions greater than 1, and that the satisfiability problem for both languages is undecidable over both the regular closed sets and the regular closed polyhedra in the Euclidean plane. However, we also prove that the satisfiability problem for Bc0 is NP-complete over the regular closed sets in all dimensions greater than 2, while the corresponding problem for the regular closed polyhedra is ExpTime-complete. Our results show, in particular, that spatial reasoning over Euclidean spaces is much harder than reasoning over arbitrary topological spaces.
    ACM Transactions on Computational Logic 10/2011; DOI:10.1145/2480759.2480765 · 0.64 Impact Factor
Show more