[BibTeX] [RIS]
CLP(QS): A Declarative Spatial Reasoning Framework
Type of publication: Inproceedings
Citation: cosit-11-bhatt-et-al
Booktitle: Proceedings of the 10th International Conference on Spatial Information Theory (COSIT 2011), Belfast, Maine.)
Series: Lecture Notes in Computer Science
Year: 2011
Publisher: Springer
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.
Userfields: pdfurl={http://dl.dropbox.com/u/17077973/mypapers/seer/COSIT-2011-CLP-S.pdf}, project={R3-QShape}, status={Reviewed},
Authors Bhatt, Mehul
Lee, Jae Hee
Schultz, Carl
  • http://dl.dropbox.com/u/170779...