Results 1  10
of
120
Qualitative Spatial Representation and Reasoning: An Overview
 FUNDAMENTA INFORMATICAE
, 2001
"... The paper is a overview of the major qualitative spatial representation and reasoning techniques. We survey the main aspects of the representation of qualitative knowledge including ontological aspects, topology, distance, orientation and shape. We also consider qualitative spatial reasoning inclu ..."
Abstract

Cited by 264 (18 self)
 Add to MetaCart
The paper is a overview of the major qualitative spatial representation and reasoning techniques. We survey the main aspects of the representation of qualitative knowledge including ontological aspects, topology, distance, orientation and shape. We also consider qualitative spatial reasoning including reasoning about spatial change. Finally there is a discussion of theoretical results and a glimpse of future work. The paper is a revised and condensed version of [33, 34].
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus
 Artificial Intelligence
, 1997
"... The computational properties of qualitative spatial reasoning have been investigated to some degree. However, the question for the boundary between polynomial and NPhard reasoning problems has not been addressed yet. In this paper we explore this boundary in the "Region Connection Calculus&quo ..."
Abstract

Cited by 144 (23 self)
 Add to MetaCart
(Show Context)
The computational properties of qualitative spatial reasoning have been investigated to some degree. However, the question for the boundary between polynomial and NPhard reasoning problems has not been addressed yet. In this paper we explore this boundary in the "Region Connection Calculus" RCC8. We extend Bennett's encoding of RCC8 in modal logic. Based on this encoding, we prove that reasoning is NPcomplete in general and identify a maximal tractable subset of the relations in RCC8 that contains all base relations. Further, we show that for this subset pathconsistency is sufficient for deciding consistency. 1 Introduction When describing a spatial configuration or when reasoning about such a configuration, often it is not possible or desirable to obtain precise, quantitative data. In these cases, qualitative reasoning about spatial configurations may be used. One particular approach in this context has been developed by Randell, Cui, and Cohn [20], the socalled Region Connecti...
Spatial Reasoning with Topological Information
 Ph.D. thesis, Institut fur Informatik, AlbertLudwigsUniversitat Freiburg
, 1998
"... . This chapter summarizes our ongoing research on topological spatial reasoning using the Region Connection Calculus. We are addressing different questions and problems that arise when using this calculus. This includes representational issues, e.g., how can regions be represented and what is the re ..."
Abstract

Cited by 62 (2 self)
 Add to MetaCart
(Show Context)
. This chapter summarizes our ongoing research on topological spatial reasoning using the Region Connection Calculus. We are addressing different questions and problems that arise when using this calculus. This includes representational issues, e.g., how can regions be represented and what is the required dimension of the applied space. Further, it includes computational issues, e.g., how hard is it to reason with the calculus and are there efficient algorithms. Finally, we also address cognitive issues, i.e., is the calculus cognitively adequate. 1 Introduction When describing a spatial configuration or when reasoning about such a configuration, often it is not possible or desirable to obtain precise, quantitative data. In these cases, qualitative reasoning about spatial configurations may be used. Different aspects of space can be treated in a qualitative way. Among others there are approaches considering orientation, distance, shape, topology, and combinations of these. A summary o...
Spatiotemporal representation and reasoning based on RCC8
 In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000
, 2000
"... this paper is to introduce a hierarchy of languages intended for qualitative spatiotemporal representation and reasoning, provide these languages with topological temporal semantics, construct effective reasoning algorithms, and estimate their computational complexity. ..."
Abstract

Cited by 60 (10 self)
 Add to MetaCart
(Show Context)
this paper is to introduce a hierarchy of languages intended for qualitative spatiotemporal representation and reasoning, provide these languages with topological temporal semantics, construct effective reasoning algorithms, and estimate their computational complexity.
A Canonical Model of the Region Connection Calculus
 Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR98
, 1997
"... Canonical models are very useful for determining simple representation formalism for qualitative relations. Allen's interval relations, e.g., can thereby be represented using the start and the end point of the intervals. Such a simple representation was not possible for regions of higher dim ..."
Abstract

Cited by 51 (5 self)
 Add to MetaCart
(Show Context)
Canonical models are very useful for determining simple representation formalism for qualitative relations. Allen's interval relations, e.g., can thereby be represented using the start and the end point of the intervals. Such a simple representation was not possible for regions of higher dimension as used by the Region Connection Calculus. In this paper we present a canonical model which allows regions and relations between them to be represented as points of the topological space and information about their neighbourhoods. With this formalism we are able to prove that whenever a set of RCC8 formulas is consistent there exists a realization in any dimension, even when the regions are constrained to be (sets of) polytopes. For three and higher dimensional space this is also true for internally connected regions. Using the canonical model we give algorithms for generating consistent scenarios. 1 Introduction The Region Connection Calculus (RCC) is a topological approach t...
How qualitative spatial reasoning can improve strategy game AIs
 IEEE Intelligent Systems
, 2001
"... Spatial reasoning is a major source of difficulties for strategy game AIs. We conjecture that qualitative spatial reasoning techniques can help overcome these difficulties. We briefly review the relevant qualitative reasoning ideas, and outline four potential advantages of our approach. We desc ..."
Abstract

Cited by 49 (4 self)
 Add to MetaCart
(Show Context)
Spatial reasoning is a major source of difficulties for strategy game AIs. We conjecture that qualitative spatial reasoning techniques can help overcome these difficulties. We briefly review the relevant qualitative reasoning ideas, and outline four potential advantages of our approach. We describe two explorations in progress: How visual routines can be used to quickly compute qualitative spatial descriptions for war games, and how qualitative descriptions can help in pathfinding. Introduction Creating good strategy game AIs is hard. Spatial reasoning is a major source of difficulties: Terrain is of vital importance in war games, and geography is key in Civilizationstyle empire/trading games. Since today's strategy AI's are tightly bound to the underlying game world simulation, it is hard to start their development before the game world is up and running, and harder still to reuse the algorithms and representations in a new game, unless the underlying engine is extremely s...
Cognitive models of geographical space
, 1999
"... This paper reviews research in geographical cognition that provides part of the ..."
Abstract

Cited by 47 (0 self)
 Add to MetaCart
This paper reviews research in geographical cognition that provides part of the
Constructing Qualitative Event Models Automatically from Video Input
 Image and Vision Computing
, 1999
"... We describe an implemented technique for generating event models automatically based on qualitative reasoning and a statistical analysis of video input. Using an existing tracking program which generates labelled contours for objects in every frame, the view from a fixed camera is partitioned into s ..."
Abstract

Cited by 43 (13 self)
 Add to MetaCart
(Show Context)
We describe an implemented technique for generating event models automatically based on qualitative reasoning and a statistical analysis of video input. Using an existing tracking program which generates labelled contours for objects in every frame, the view from a fixed camera is partitioned into semantically relevant regions based on the paths followed by moving objects. The paths are indexed with temporal information so objects moving along the same path at different speeds can be distinguished. Using a notion of proximity based on the speed of the moving objects and qualitative spatial reasoning techniques, event models describing the behaviour of pairs of objects can be built, again using statistical methods. The system has been tested on a traffic domain and learns various event models expressed in the qualitative calculus which represent human observable events. The system can then be used to recognise subsequent selected event occurrences or unusual behaviours. 1 Introduction D...
Qualitative Spatial Reasoning about Line Segments
 ECAI 2000. Proceedings of the 14th European Conference on Artifical Intelligence
, 2000
"... . Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic orientation information by specifying qualitative relations between oriented line segments, the simplest possible spatial entitie ..."
Abstract

Cited by 42 (12 self)
 Add to MetaCart
. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic orientation information by specifying qualitative relations between oriented line segments, the simplest possible spatial entities being extended and having an intrinsic direction. We identify a set of 24 atomic relations which form a relation algebra and for which we compute relational compositions based on their algebraic semantics. Reasoning over the full algebra turns out to be NPhard. Potential applications of the calculus are motivated with a small example which shows the reasoning capabilities of the dipole calculus using constraintbased reasoning methods. 1 Introduction Qualitative representation of space abstracts from the physical world and enables computers to make predictions about spatial relations, even when precise quantitative information is not available [2]. Different aspects of space can be repr...