Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes

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

Authors

• Carl Schultz 0001
• Mehul Bhatt

Keywords

No keywords are indexed for this paper.