CLP(QS): A declarative spatial reasoning framework

Bhatt, M; Lee, JH; Schultz, C

CLP(QS): A declarative spatial reasoning framework

Bhatt, M Lee, JH

Schultz, C

Permalink

Publication Type:: Conference Proceeding
Citation:: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6899 LNCS pp. 210 - 230
Issue Date:: 2011-09-26

Closed Access

	Filename	Description	Size
	978-3-642-23196-4.pdf	Published version	562.92 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Bhatt, M	en_US
dc.contributor.author	Lee, JH https://orcid.org/0000-0001-9840-780X	en_US
dc.contributor.author	Schultz, C	en_US
dc.date.issued	2011-09-26	en_US
dc.identifier.citation	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6899 LNCS pp. 210 - 230	en_US
dc.identifier.isbn	9783642231957	en_US
dc.identifier.issn	0302-9743	en_US
dc.identifier.uri	http://hdl.handle.net/10453/120467
dc.description.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. © 2011 Springer-Verlag.	en_US
dc.relation.ispartof	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	en_US
dc.relation.isbasedon	10.1007/978-3-642-23196-4_12	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	CLP(QS): A declarative spatial reasoning framework	en_US
dc.type	Conference Proceeding
utslib.citation.volume	6899 LNCS	en_US
utslib.for	08 Information and Computing Sciences	en_US
utslib.for	0801 Artificial Intelligence and Image Processing	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US
pubs.volume	6899 LNCS	en_US

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. © 2011 Springer-Verlag.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/120467