AB  - 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. © 2011 Springer-Verlag.
AU  - Bhatt, M
AU  - Lee, JH
AU  - Schultz, C
DA  - 2011/09/26
DO  - 10.1007/978-3-642-23196-4_12
EP  - 230
JO  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PY  - 2011/09/26
SP  - 210
TI  - CLP(QS): A declarative spatial reasoning framework
VL  - 6899 LNCS
Y1  - 2011/09/26
Y2  - 2026/06/30
ER  -