Results 1  10
of
108
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 204 (17 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].
The `EggYolk' Representation Of Regions with Indeterminate Boundaries
, 1995
"... The paper proposes an approach to representing and reasoning about spatial regions with undetermined boundaries, using an adaptation of `RCCtheory', a regionbased system for representing qualitative spatial relations developed over the last few years (Randell, Cui and Cohn 1992, Cohn, Randell ..."
Abstract

Cited by 136 (11 self)
 Add to MetaCart
(Show Context)
The paper proposes an approach to representing and reasoning about spatial regions with undetermined boundaries, using an adaptation of `RCCtheory', a regionbased system for representing qualitative spatial relations developed over the last few years (Randell, Cui and Cohn 1992, Cohn, Randell and Cui 1994). The approach proposed is referred to as the `eggyolk' representation: a region with undetermined boundaries (a `vague region') is represented by a pair of concentric regions with determinate boundaries (`crisp regions'), which provide limits (not necessarily the tightest limits possible) on the range of indeterminacy. 1 Introduction The topic of this paper is how best to deal with vagueness in spatial representation and reasoning, particularly within the framework of `RCCtheory', (Randell, Cui and Cohn 1992, Cohn et al. 1994), which provides a representation of topological properties and relations in which regions rather than points are taken as primitive. We are concern...
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 125 (22 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...
Qualitative Spatial Representation and Reasoning Techniques
, 1997
"... . The field of Qualitative Spatial Reasoning is now an active research area in its own right within AI (and also in Geographical Information Systems) having grown out of earlier work in philosophical logic and more general Qualitative Reasoning in AI. In this paper (which is an updated version o ..."
Abstract

Cited by 111 (9 self)
 Add to MetaCart
(Show Context)
. The field of Qualitative Spatial Reasoning is now an active research area in its own right within AI (and also in Geographical Information Systems) having grown out of earlier work in philosophical logic and more general Qualitative Reasoning in AI. In this paper (which is an updated version of [25]) I will survey the state of the art in Qualitative Spatial Reasoning, covering representation and reasoning issues as well as pointing to some application areas. 1 What is Qualitative Reasoning? The principal goal of Qualitative Reasoning (QR) [129] is to represent not only our everyday commonsense knowledge about the physical world, but also the underlying abstractions used by engineers and scientists when they create quantitative models. Endowed with such knowledge, and appropriate reasoning methods, a computer could make predictions, diagnoses and explain the behaviour of physical systems in a qualitative manner, even when a precise quantitative description is not available 1 ...
Modal Logics for Qualitative Spatial Reasoning
, 1996
"... Spatial reasoning is essential for many AI applications. In most existing systems the representation is primarily numerical, so the information that can be handled is limited to precise quantitative data. However, for many purposes the ability to manipulate highlevel qualitative spatial information ..."
Abstract

Cited by 87 (12 self)
 Add to MetaCart
Spatial reasoning is essential for many AI applications. In most existing systems the representation is primarily numerical, so the information that can be handled is limited to precise quantitative data. However, for many purposes the ability to manipulate highlevel qualitative spatial information in a flexible way would be extremely useful. Such capabilities can be proveded by logical calculi; and indeed 1storder theories of certain spatial relations have been given [20]. But computing inferences in 1storder logic is generally intractable unless special (domain dependent) methods are known. 0order modal logics provide an alternative representation which is more expressive than classical 0order logic and yet often more amenable to automated deduction than 1storder formalisms. These calculi are usually interpreted as propositional logics: nonlogical constants are taken as denoting propositions. However, they can also be given a nominal interpretation in which the constants stand...
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus
 PROCEEDINGS OF THE DIMACS INTERNATIONAL WORKSHOP ON GRAPH DRAWING, 1994. LECTURE NOTES IN COMPUTER SCIENCE
, 1997
"... This paper surveys the work of the qualitative spatial reasoning group at the University of Leeds. The group has developed a number of logical calculi for representing and reasoning with qualitative spatial relations over regions. We motivate the use of regions as the primary spatial entity and show ..."
Abstract

Cited by 85 (3 self)
 Add to MetaCart
This paper surveys the work of the qualitative spatial reasoning group at the University of Leeds. The group has developed a number of logical calculi for representing and reasoning with qualitative spatial relations over regions. We motivate the use of regions as the primary spatial entity and show how a rich language can be built up from surprisingly few primitives. This language can distinguish between convex and a variety of concave shapes and there is also an extension which handles regions with uncertain boundaries. We also present a variety of reasoning techniques, both for static and dynamic situations. A number of possible application areas are briefly mentioned.
Calculi for Qualitative Spatial Reasoning
, 1996
"... . Although Qualitative Reasoning has been a lively subfield of AI for many years now, it is only comparatively recently that substantial work has been done on qualitative spatial reasoning; this paper lays out a guide to the issues involved and surveys what has been achieved. The papers is gener ..."
Abstract

Cited by 78 (9 self)
 Add to MetaCart
. Although Qualitative Reasoning has been a lively subfield of AI for many years now, it is only comparatively recently that substantial work has been done on qualitative spatial reasoning; this paper lays out a guide to the issues involved and surveys what has been achieved. The papers is generally informal and discursive, providing pointers to the literature where full technical details may be found. 1 What is Qualitative Reasoning? The principal goal of Qualitative Reasoning (QR) [86] is to represent not only our everyday commonsense knowledge about the physical world, but also the underlying abstractions used by engineers and scientists when they create quantitative models. Endowed with such knowledge, and appropriate reasoning methods, a computer could make predictions, diagnoses and explain the behaviour of physical systems in a qualitative manner, even when a precise quantitative description is not available 1 or is computationally intractable. The key to a qualitative ...
Representing And Reasoning With Qualitative Spatial Relations About Regions
"... . This chapter surveys the work of the qualitative spatial reasoning group at the University of Leeds. The group has developed a number of logical calculi for representing and reasoning with qualitative spatial relations over regions. We motivate the use of regions as the primary spatial entity and ..."
Abstract

Cited by 59 (5 self)
 Add to MetaCart
. This chapter surveys the work of the qualitative spatial reasoning group at the University of Leeds. The group has developed a number of logical calculi for representing and reasoning with qualitative spatial relations over regions. We motivate the use of regions as the primary spatial entity and show how a rich language can be built up from surprisingly few primitives. This language can distinguish between convex and a variety of concave shapes and there is also an extension which handles regions with uncertain boundaries. We also present a variety of reasoning techniques, both for static and dynamic situations. A number of possible application areas are briefly mentioned. 1. Introduction Qualitative Reasoning (QR) has now become a mature subfield of AI as its tenth annual international workshop, several books (e.g. (Weld and De Kleer 1990, Faltings and Struss 1992)) and a wealth of conference and journal publications testify. QR tries to make explicit our everyday commonsense kno...
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 58 (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 Connection Based Approach to Commonsense Topological Description and Reasoning
, 1995
"... The standard mathematical approaches to topology, pointset topology and algebraic topology, treat points as the fundamental, undefined entities, and construct extended spaces as sets of points with additional structure imposed on them. Pointset topology in particular generalises the concept of ..."
Abstract

Cited by 52 (9 self)
 Add to MetaCart
The standard mathematical approaches to topology, pointset topology and algebraic topology, treat points as the fundamental, undefined entities, and construct extended spaces as sets of points with additional structure imposed on them. Pointset topology in particular generalises the concept of a `space' far beyond its intuitive meaning. Even algebraic topology, which concentrates on spaces built out of `cells' topologically equivalent to ndimensional discs, concerns itself chiefly with rather abstract reasoning concerning the association of algebraic structures with particular spaces, rather than the kind of topological reasoning which is required in everyday life, or which might illuminate the metaphorical use of topological concepts such as `connection' and `boundary'. This paper explores an alternative to these approaches, RCC theory, which takes extended spaces (`regions') rather than points as fundamental. A single relation, C (x; y) (read `Region x connects with reg...