Title
First-order qualitative spatial representation languages with convexity
Abstract
In recent years, there has been considerable interest within the AI community in qualitative descriptions of space. The idea is that a language in which we can say such things as ``region a is convex'' or ``region b is a part of region c'' might be sufficient for characterizing useful properties of everyday spatial arrangements, while avoiding complex and error-sensitive numerical coordinate descriptions. However, such qualitative representation languages are inevitably balanced on a semantic knife-edge: too little expressiveness, and they are useless for the everyday tasks we want them for; too much, and they exhibit the over-precision which motivated qualitative representation languages in the first place. The aim of this paper is to demonstrate how sharp that knife-edge is, and thus to establish some limits on what such qualitative spatial description languages might be like.
Year
DOI
Venue
1999
10.1023/A:1010037123582
Spatial Cognition & Computation
Keywords
Field
DocType
everyday spatial arrangement,qualitative representation language,semantic knife-edge,ai community,qualitative spatial description language,qualitative description,recent year,motivated qualitative representation language,first-order qualitative spatial representation,considerable interest,everyday task,affine geometry,mereology,first order,model theory,convexity,logic
Data mining,Affine geometry,Discrete mathematics,Convexity,Everyday tasks,Computer science,First order,Mereology,Spatial representation,Model theory,Linguistics,Qualitative reasoning
Journal
Volume
Issue
ISSN
1
2
1573-9252
Citations 
PageRank 
References 
13
0.93
12
Authors
1
Name
Order
Citations
PageRank
Ian Pratt15420506.92