Combining topological and size information for spatial reasoning
Artificial Intelligence
Spatial Agents Implemented in a Logical Expressible Language
RoboCup-99: Robot Soccer World Cup III
Qualitative spatial relation database for semantic web
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Hi-index | 0.00 |
Abstract: We examine a variety of representations for storing and reasoning about spatial information and distinguish between quantitative representations grounded in numerical coordinate systems and qualitative representations, based on a high-level conceptual vocabulary for the description of spatial situations. We suggest that qualitative languages, can add powerful functionality to spatial information systems, which have traditionally processed only quantitative data. Trade-offs between expressive power, computational tractability and 'naturalness' are considered for several qualitative formalisms. We explain how a significant class of topological relations can be described by a 1st-order language and how these can be encoded into 0-order intuitionistic logic to yield an effective reasoning algorithm. We discuss ways of combining qualitative and quantitative information within a coherent architecture and describe an implementation of a hybrid spatial information system, incorporating three types of spatial information: quantitative data-structures are employed in a database of polygonal regions; a qualitative relational language is used to express high-level queries; and intuitionistic propositional logic is used to compute the inferences needed to answer these queries.