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}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|