Qualitative modeling.

Qualitative modeling concerns the representations and reasoning that people use to understand continuous aspects of the world. Qualitative models formalize everyday notions of causality and provide accounts of how to ground symbolic, relational representations in perceptual processes. This article surveys the basic ideas of qualitative modeling and their applications from a cognitive science perspective. It describes the basic principles of qualitative modeling, and a variety of qualitative representations that have been developed for quantities and for relationships between them, providing a kind of qualitative mathematics. Three ontological frameworks for organizing modeling knowledge (processes, components, and field) are summarized, along with research on automatically assembling models for particular tasks from such knowledge. Qualitative simulation and how it carves up time into meaningful units is discussed. We discuss several accounts of causal reasoning about dynamical systems, based on different choices of qualitative mathematics and ontology. Qualitative spatial reasoning is explored, both in terms of relational systems and visual reasoning. Applications of qualitative models of particular interest to cognitive scientists are described, including how they have been used to capture the expertise of scientists and engineers and how they have been used in education. Open questions and frontiers are also discussed, focusing on relationships between ideas developed in the qualitative modeling community and other areas of cognitive science. WIREs Cogni Sci 2011 2 374-391 DOI: 10.1002/wcs.115 For further resources related to this article, please visit the WIREs website.

[1]  Eleanor H. Warnock,et al.  Reasoning from Incomplete Knowledge. , 1975 .

[2]  Albert C. Stevens,et al.  Distortions in judged spatial relations , 1978, Cognitive Psychology.

[3]  B. Tversky.  Distortions in memory for maps , 1981, Cognitive Psychology.

[4]  Donald D. Hoffman,et al.  Parts of recognition , 1984, Cognition.

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

[6]  Benjamin Kuipers,et al.  Causal Reasoning in Medicine: Analysis of a Protocol , 1984 .

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

[8]  Herbert A. Simon,et al.  Causality in Device Behavior , 1989, Artif. Intell..

[9]  Boi Faltings.  Qualitative Kinematics in Mechanisms , 1987, IJCAI.

[10]  S. Kosslyn.  Seeing and imagining in the cerebral hemispheres: a computational approach. , 1987, Psychological review.

[11]  Paul C. Schutte,et al.  FAULTFINDER: A DIAGNOSTIC EXPERT SYSTEM WITH GRACEFUL DEGRADATION FOR ONBOARD AIRCRAFT APPLICATIONS , 1988 .

[12]  Steven R. LeClair,et al.  Qualitative process automation: self-directed manufacture of composite materials , 1989, Artif. Intell. Eng. Des. Anal. Manuf..

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

[14]  Olivier Raiman,et al.  Order of Magnitude Reasoning , 1986, Artif. Intell..

[15]  Dennis DeCoste,et al.  Dynamic Across-Time Measurement Interpretation , 1990, Artif. Intell..

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

[17]  L. Hedges,et al.  Categories and particulars: prototype effects in estimating spatial location. , 1991, Psychological review.

[18]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[19]  P. Pandurang Nayak,et al.  Causal Approximations , 1992, Artif. Intell..

[20]  Gérard Ligozat,et al.  Qualitative Triangulation for Spatial Reasoning , 1993, COSIT.

[21]  Leo Joskowicz,et al.  Automated modeling and kinematic simulation of mechanisms , 1993, Comput. Aided Des..

[22]  Max J. Egenhofer,et al.  Deriving the Composition of Binary Topological Relations , 1994, J. Vis. Lang. Comput..

[23]  Joseph Krajcik,et al.  Making Dynamic Modeling Accessible to Precollege Science Students , 1994, Interact. Learn. Environ..

[24]  M. Chi,et al.  From things to processes: A theory of conceptual change for learning science concepts , 1994 .

[25]  E. Bradley.  AUTONOMOUS EXPLORATION AND CONTROL OF CHAOTIC SYSTEMS , 1995 .

[26]  Boi Faltings,et al.  FAMING: Supporting innovative mechanism shape design , 1996, Comput. Aided Des..

[27]  Thomas F. Stahovich,et al.  Generating Multiple New Designs from a Sketch , 1996, Artif. Intell..

[28]  Bruce W. Porter,et al.  Automated Modeling of Complex Systems to Answer Prediction Questions , 1997, Artif. Intell..

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

[30]  Jonathan Baron,et al.  Regular ArticleProtected Values , 1997 .

[31]  Eliseo Clementini,et al.  Qualitative Representation of Positional Information , 1997, Artif. Intell..

[32]  Kenneth D. Forbus.  CyclePad: An Articulate Virtual Laboratory for Engineering Thermodynamics , 1999, Artif. Intell..

[33]  Kenneth D. Forbus,et al.  Using a Geographic Information System for Qualitative Spatial Reasoning about Trafficability , 1999 .

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

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

[36]  Mary Hegarty,et al.  The Roles of Mental Animations and External Animations in Understanding Mechanical Systems , 2003 .

[37]  Anthony G. Cohn,et al.  Towards an Architecture for Cognitive Vision Using Qualitative Spatio-temporal Representations and Abduction , 2003, Spatial Cognition.

[38]  M. Hegarty.  Mechanical reasoning by mental simulation , 2004, Trends in Cognitive Sciences.

[39]  Anthony G. Cohn,et al.  Protocols from perceptual observations , 2005, Artif. Intell..

[40]  Ross D. King,et al.  On the use of qualitative reasoning to simulate and identify metabolic pathway , 2005, Bioinform..

[41]  Bert Bredeweg,et al.  Qualitative models about stream ecosystem recovery: Exploratory studies , 2006 .

[42]  Pat Langley,et al.  Ability, Breadth, and Parsimony in Computational Models of Higher-Order Cognition , 2008, Cogn. Sci..