A fuzzy sets theoretic approach to approximate spatial reasoning

Relational composition-based reasoning has become the most prevalent method for qualitative reasoning since Allen's 1983 work on temporal intervals. Underlying this reasoning technique is the concept of a jointly exhaustive and pairwise disjoint set of relations. Systems of relations such as RCC5 and RCC8 were originally developed for ideal regions, not subject to imperfections such as vagueness or fuzziness which are found in many applications in geographic analysis and image understanding. This paper, however, presents a general method for classifying binary topological relations involving fuzzy regions using the RCC5 or the RCC8 theory. Our approach is based on fuzzy set theory and the theory of consonant random set. Some complete classifications of topological relations between fuzzy regions are also given. Furthermore, two composition operators on spatial relations between fuzzy regions are introduced in this paper. These composition operators provide reasonable relational composition-based reasoning engine for spatial reasoning involving fuzzy regions.

[1]  Ivo Düntsch,et al.  A tutorial on relation algebras and their application in spatial reasoning , 1999 .

[2]  Anthony G. Cohn,et al.  Qualitative and Topological Relationships in Spatial Databases , 1993, SSD.

[3]  Hans W. Guesgen,et al.  Fuzzifying spatial relations , 2002 .

[4]  James M. Keller,et al.  Quantitative analysis of properties and spatial relations of fuzzy image regions , 1993, IEEE Trans. Fuzzy Syst..

[5]  P. Burrough,et al.  Geographic Objects with Indeterminate Boundaries , 1996 .

[6]  F. Benjamin Zhan,et al.  Approximate analysis of binary topological relations between geographic regions with indeterminate boundaries , 1998, Soft Comput..

[7]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[8]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

[9]  Michael F. Worboys,et al.  Imprecision in Finite Resolution Spatial Data , 1998, GeoInformatica.

[10]  Hans-Jürgen Zimmermann,et al.  Fuzzy Set Theory - and Its Applications , 1985 .

[11]  Ivo Düntsch,et al.  A relation - algebraic approach to the region connection calculus , 2001, Theor. Comput. Sci..

[12]  Thomas Bittner,et al.  Approximate qualitative spatial reasoning , 2001, Spatial Cogn. Comput..

[13]  M. Gupta,et al.  FUZZY INFORMATION AND DECISION PROCESSES , 1981 .

[14]  Lars Kulik,et al.  A Geometric Theory of Vague Boundaries Based on Supervaluation , 2001, COSIT.

[15]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[16]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[17]  John G. Stell,et al.  Spatial relations between indeterminate regions , 2001, Int. J. Approx. Reason..

[18]  Anthony G. Cohn,et al.  Computing Transivity Tables: A Challenge For Automated Theorem Provers , 1992, CADE.

[19]  Anthony G. Cohn.  The challenge of qualitative spatial reasoning , 1995, CSUR.

[20]  Markus Schneider,et al.  Uncertainty Management for Spatial Data in Databases: Fuzzy Spatial Data Types , 1999, SSD.

[22]  Thomas Bittner,et al.  Rough Sets in Approximate Spatial Reasoning , 2000, Rough Sets and Current Trends in Computing.

[23]  Janusz Zalewski,et al.  Rough sets: Theoretical aspects of reasoning about data , 1996 .

[24]  Eliseo Clementini,et al.  Approximate topological relations , 1997, Int. J. Approx. Reason..

[25]  Marie-Christine Jaulent,et al.  A general approach to parameter evaluation in fuzzy digital pictures , 1987, Pattern Recognit. Lett..

[26]  Sanjiang Li,et al.  Extensionality of the RCC8 Composition Table , 2002, Fundam. Informaticae.

[27]  Sanjiang Li,et al.  Region Connection Calculus: Its models and composition table , 2003, Artif. Intell..

[28]  Fangju Wang,et al.  Fuzzy Representation of Geographical Boundaries in GIS , 1996, Int. J. Geogr. Inf. Sci..

[29]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

[30]  Z. Pawlak.  Rough Sets: Theoretical Aspects of Reasoning about Data , 1991 .

[31]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[32]  Azriel Rosenfeld,et al.  Fuzzy Digital Topology , 1979, Inf. Control..

[33]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[34]  Jochen Renz,et al.  Qualitative Spatial Reasoning with Topological Information , 2002, Lecture Notes in Computer Science.

[35]  Isabelle Bloch,et al.  Fuzzy Relative Position Between Objects in Image Processing: A Morphological Approach , 1999, IEEE Trans. Pattern Anal. Mach. Intell..

[36]  David Altman,et al.  Fuzzy Set Theoretic Approaches for Handling Imprecision in Spatial Analysis , 1994, Int. J. Geogr. Inf. Sci..

[37]  Anthony G. Cohn,et al.  The ‘Egg-Yolk’ Representation of Regions with Indeterminate Boundaries , 2020 .

[38]  Soumitra Dutta,et al.  Qualitative Spatial Reasoning: A Semi-quantitative Approach Using Fuzzy Logic , 1989, SSD.