Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes
Carl Peter Leslie Schultz, Bhatt Mehul · Frontiers in artificial intelligence and applications · 2014
We present a formal framework and implementation for declarative spatial representation and reasoning about the topological relationships between boolean combinations of regions (i.e., union, intersection, difference, xor). Regions of space here correspond to arbitrary axis aligned n-polytope objects, with geometric parameters either fully grounded, partially grounded, or completely unspecified. The framework is implemented in the context of CLP(𝒬𝒮)CLP(𝒬𝒮): A Declarative Spatial Reasoning System. www.spatial-reasoning.com