Qualitative Spatial Reasoning Extracting and Reasoning with Spatial Aggregates

Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and protein structure databases. Such applications often require the identification and manipulation of qualitative spatial representations, for example, to detect whether one “object” will soon occlude another in a digital image, or to efficiently determine relationships between a proposed road and wetland regions in a geographic data set. Qualitative spatial reasoning (QSR) provides representational primitives (a spatial “vocabulary”) and inference mechanisms for these tasks. This paper first reviews representative work on QSR for data-poor scenarios, where the goal is to design representations that can answer qualitative queries without much numerical information. It then turns to the data-rich case, where the goal is to derive and manipulate qualitative spatial representations that efficiently and correctly abstract important spatial aspects of the underlying data, for use in subsequent tasks. This paper focuses on how a particular QSR system, Spatial Aggregation (SA), can help answer spatial queries for scientific and engineering data sets. A case study application of weather analysis illustrates the effective representation and reasoning supported by both data-poor and data-rich forms of QSR.

[1]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..

[2]  Ulrich Junker,et al.  History-based Interpretation of Finite Element Simulations of Seismic Wave Fields , 1995, IJCAI.

[3]  Kenneth Yip Reasoning about Fluid Motion I: Finding Structures , 1995, IJCAI.

[4]  William L. Briggs,et al.  A multigrid tutorial, Second Edition , 2000 .

[5]  Lawrence J. Rosenblum,et al.  Scientific visualization : advances and challenges , 1994 .

[6]  William E. Lorensen,et al.  Marching cubes: a high resolution 3D surface construction algorithm , 1996 .

[7]  Feng Zhao,et al.  Imagistic reasoning , 1995, CSUR.

[8]  Feng Zhao,et al.  STA: Spatio-Temporal Aggregation with Applications to Analysis of Diffusion-Reaction Phenomena , 2000, AAAI/IAAI.

[9]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[10]  Feng Zhao,et al.  Spatial Aggregation: Theory and Applications , 1996, J. Artif. Intell. Res..

[11]  Chris Bailey-Kellogg,et al.  Ambiguity-Directed Sampling for Qualitative Analysis of Sparse Data from Spatially-Distributed Physical Systems , 2001, IJCAI.

[12]  Kenneth D. Forbus,et al.  Qualitative Spatial Reasoning: The Clock Project , 1991, Artif. Intell..

[13]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[14]  David Haussler,et al.  Mining scientific data , 1996, CACM.

[15]  Monika Lundell,et al.  A Qualitative Model of Physical Fields , 1996, AAAI/IAAI, Vol. 2.

[16]  Theodosios Pavlidis,et al.  Segmentation of Plane Curves , 1974, IEEE Transactions on Computers.

[17]  Usama M. Fayyad,et al.  SKICAT: A Machine Learning System for Automated Cataloging of Large Scale Sky Surveys , 1993, ICML.

[18]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[19]  Chris Bailey-Kellogg,et al.  Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis , 1998, AAAI/IAAI.

[20]  Feng Zhao,et al.  Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces , 1991, IJCAI.

[21]  Chris Bailey-Kellogg,et al.  Sampling strategies for mining in data-scarce domains , 2002, Computing in Science & Engineering.

[22]  Beng Chin Ooi,et al.  Discovery of General Knowledge in Large Spatial Databases , 1993 .

[23]  Monika Lundell A Qualitative Model of Gradient Flow in a Spatially Distributed Parameter , 1995 .

[24]  Pietro Perona,et al.  Automating the hunt for volcanoes on Venus , 1994, 1994 Proceedings of IEEE Conference on Computer Vision and Pattern Recognition.

[25]  Chris Bailey-Kellogg,et al.  Influence-Based Model Decomposition , 1999, AAAI/IAAI.

[26]  Benjamin Kuipers,et al.  The Spatial Semantic Hierarchy , 2000, Artif. Intell..

[27]  William E. Lorensen,et al.  Marching cubes: A high resolution 3D surface construction algorithm , 1987, SIGGRAPH.

[28]  Chris Bailey-Kellogg,et al.  Spatial Aggregation: Language and Applications , 1996, AAAI/IAAI, Vol. 1.

[29]  Chris Bailey-Kellogg,et al.  Influence-based model decomposition for reasoning about spatially distributed physical systems , 2001, Artif. Intell..

[30]  Leo Joskowicz,et al.  Computational Kinematics , 1991, Artif. Intell..

[31]  Kenneth Yip Structural Inferences from Massive Datasets , 1997, IJCAI.

[32]  Deborah Silver,et al.  Visualizing features and tracking their evolution , 1994, Computer.

[33]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[34]  Anthony G. Cohn,et al.  Qualitative Simulation Based on a Logical Formalism of Space and Time , 1992, AAAI.

[35]  Gerald J. Sussman,et al.  Intelligence in scientific computing , 1989, CACM.

[36]  TheOhio StateUniversity,et al.  Relation-based aggregation : finding objects in large spatial datasets , 2000 .

[37]  Charalabos C. Doumanidis,et al.  In-process control in thermal rapid prototyping , 1997 .

[38]  C. E. P. BROOKS Weather Elements , 1942, Nature.

[39]  M. Lings,et al.  Articles , 1967, Soil Science Society of America Journal.

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

[41]  William L. Briggs,et al.  A multigrid tutorial , 1987 .

[42]  Feng Zhao,et al.  Relation-based aggregation: finding objects in large spatial datasets , 2000, Intell. Data Anal..

[43]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[44]  Hisashi Nakamura,et al.  Fast Spatio-Temporal Data Mining of Large Geophysical Datasets , 1995, KDD.

[45]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[46]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[47]  Benjamin Kuipers,et al.  Navigation and Mapping in Large Scale Space , 1988, AI Mag..