Abstract
Qualitative relations between spatial regions play an importantrole in the representation and manipulation of spatial knowledge.The RCC5 and RCC8 systems of relations,used in the Region-Connection Calculus, are of fundamentalimportance. These two systems deal with ideal regions havingprecisely determined location. However,in many practical examples of spatial reasoning,regions are represented by finite approximations rather than known precisely.Approximations may be given by describing how a regionrelates to cells forming a partition of the space underconsideration. Although the RCC5 and RCC8 systems have beengeneralized to ``egg-yolk'' regions, in order to modelcertain types of vagueness, their extension to regionsapproximated in this way has not been discussed before.This paper presents two methods, the syntactic and the semantic, by which the RCC5 and RCC8 systemsmay be defined for approximate regions. The syntactic uses algebraicoperations on approximate regions which generalize operations on preciseregions. The semantic method makes use of the set of preciseregions which could be the intended interpretation of anapproximate region. Relationships between these two methods arediscussed in detail.alternative to navigation training with a map.
Similar content being viewed by others
References
Bittner, T. (to appear).Approximate qualitative temporal reasoning.Annals of Mathematics and Artificial Intelligence.
Bittner, T. and Smith, B. (2001a).A Taxonomy of Granular Partitions.In: D.R. Montello (ed.), '01, Lecture Notes in Computer Science (2205: pp. 28–43).
Bittner, T. and Smith, B. (2001b).Vague reference and approximating judgments.Technical report, Department of Computer Science, Northwestern University.
Bittner, T. and Stell, J.G. (1998).A Boundary-Sensitive Approach to Qualitative Location.Annals of Mathematics and Artificial Intelligence 24: 93–114.
Bittner, T. and Stell, J.G. (to appear).Geoinformatica.Vagueness and Rough Location.
Burrough, P. and Frank, A.U. (eds.) (1995).Geographic Objects with Indeterminate Boundaries, GISDATA Series II.London: Taylor and Francis.
Cohn, A., Bennett, B., Goodday, J. and Gotts, N. (1997).Qualitative Spatial Representation and Reasoning with the Region Connection Calculus.Geoinformatica 1(3): 1–44.
Cohn, A. and Gotts, N. (1996).The “Egg-Yolk” Representation of Regions with Indeterminate Boundaries.In P. Burrough and A.U. Frank (eds.), Geographic Objects with Indeterminate Boundaries, GISDATA Series II (pp. 171–187).London: Taylor and Francis.
Fine, K. (1975).Vagueness, Truth and Logic.Synthese 30: 265–300.
Goodchild, M.F. and Proctor, J. (1998).Scale in a digital geographic world.Geographical and Environmental Modelling 1(1): 5–23.
Goodday, J. and Cohn, A. (1994).Conceptual Neighborhoods in Temporal and Spatial Reasoning.ECAI-94 Spatial and Temporal Reasoning Workshop.
Gotts, N.M. (1996).An Axiomatic Approach to Topology for Spatial Information Systems.Technical Report 96.25, School of Computer Studies.
Halmos, P. (1963).Lectures on Boolean Algebras.Princeton, New Jersey: D. van Nostrand Company.
Knauff, M., Rauh, R. and Renz, J. (1997).A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation.In S. Hirtle and A. Frank (eds.), Spatial Information TheoryA Theoretical Basis for GIS, International Conference COSIT '97, Laure Highlands, PA, Lecture Notes in Computer Science (1329: pp. 193–206).Berlin: Springer-Verlag Vol.
Knauff, M., Rauh, R. and Schlieder, C. (1995).Preferred mental models in qualitative spatial Reasoning: A cognitive assessment of Allen's calculus.Seventeenth Annual Conference of the Cognitive Science Society.
Marr, D. (1982).Vision: A Computational Investigation into the Human Representation and Processing of Visual Information.W. H. Freeman and Company.
Miller, G.A. (1956).The magical number seven, plus or minus two: Some limits on our capacity for processing information.Psychological Review 63: 81–97.
Müller, J.C., Lagrange, J.P. and Weibel, R. (eds.) (1995).GIS and Generalisation: Methodology and Practice.London: Taylor and Francis.
Randall, D., Cui, Z. and Cohn, A. (1992).A Spatial Logic Based on Regions and Connection.In B. Nebel, C. Rich and W. Swartout (eds.), Principles of Knowledge Representation and Reasoning. Proceedings of the Third International Conference (KR92) (pp. 165–176).
Renz, J., Rauh, R. and Knauff, M. (2000).Towards Cognitive Adequacy of Topological Spatial Relations.In C. Freksa, W. Brauer, C. Habel, and K.F. Wender (eds.), Spatial Cognition II - Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications, Lecture Notes in Computer Science (1849: pp. 184–197).Berlin: Springer-Verlag.
Roy, A.J. and Stell, J.G. (2001).Spatial Relations between Indeterminate Regions.International Journal of Approximate Reasoning 27: 205–234.
Smith, B. (1995).On Drawing Lines on a Map.In A. Frank and W. Kuhn (eds.), Conference on Spatial Information Theory, COSIT, 988. Semmering, Austria: Springer-Verlag.
Smith, B. (1997).Boundaries, An Essay in Mereotopology.In L. Hahn (ed.), The Philosophy of Roderick Crisholm.Library of Living Philosophers.
Smith, B. and Brogaard, B. (2001).A Unified Theory of Truth and Reference.Logique et Analyse.
Smith, B. and Brogaard, B. (to appear).Quantum Mereotopology. Annals of Mathematics and Artificial Intelligence.
Stell, J.G. (2000).The Representation of Discrete Multi-Resolution Spatial Knowledge.In A.G. Cohn, F. Giunchiglia and B. Selman (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000) (pp. 38–49).
Stevens, A. and Coupe, P. (1978).Distortions in Judged Spatial Relations.Cognitive Psychology 10: 422–437.
Thompson, S. (1999).Haskell: The Craft of Functional Programming.Addison-Wesley, 2 edition.
van Fraassen, B.C. (1966).Singular Terms, Truth-Value Gaps, and Free Logic.Journal of Philosophy.
Varzi, A. (2001).Vagueness in Geography.Philosophy and Geography.
Worboys, M.F. (1998a).Computation with Imprecise Geospatial Data.Computers, Environment and Urban Systems 22: 85–106.
Worboys, M.F. (1998b).Imprecision in Finite Resolution Spatial Data.GeoInformatica 2: 257–279.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bittner, T., Stell, J.G. Approximate qualitative spatial reasoning. Spatial Cognition and Computation 2, 435–466 (2000). https://doi.org/10.1023/A:1015598320584
Issue Date:
DOI: https://doi.org/10.1023/A:1015598320584