Sciweavers

Share
COSIT
2011
Springer

CLP(QS): A Declarative Spatial Reasoning Framework

9 years 11 months ago
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.
Mehul Bhatt, Jae Hee Lee, Carl Schultz
Added 18 Dec 2011
Updated 18 Dec 2011
Type Journal
Year 2011
Where COSIT
Authors Mehul Bhatt, Jae Hee Lee, Carl Schultz
Comments (0)
books