CLP(QS): A Declarative Spatial Reasoning Framework

Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP(QS) is a general framework, we demonstrate its applicability for the domain of Computer Aided Architecture Design. With CLP(QS) serving as a prototype, we position declarative spatial reasoning as a general paradigm open to other formalizations, reinterpretations, and extensions. We argue that the accessibility of qualitative spatial representation and reasoning mechanisms via the medium of high-level, logic-based formalizations is crucial for their utility toward solving real-world problems.

• Type: Journal
• Year: 2011
• Where: COSIT
• Authors: Mehul Bhatt, Jae Hee Lee, Carl Schultz
• Keywords: Constraint Logic Programming, COSIT 2011, GIS, Logic Programming Framework, Qualitative Spatial Representation