Qualitative modeling

Wiley Interdisciplinary Reviews: Cognitive Science

Volumn 2, Issue 4, 2011, Pages 374-391

  Forbus, Kenneth D ^a  

^a NORTHWESTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79961219566     PISSN: 19395078     EISSN: 19395086     Source Type: Journal    
DOI: 10.1002/wcs.115     Document Type: Review

References (108)

1. Gentner D, Stevens A, eds. Mental Models. Hillsdale, NJ: Lawrence Erlbaum Associates; 1983.
2. Cassimatis N, Bello P, Langley P. Ability, breadth, and parsimony in computational models of higher-order cognition. Cogn Sci 2008, 32:1304-1322.
3. Abbott KH, Schutte PC, Palmer MT, Ricks WR. Faultfinder: a diagnostic expert system with graceful degradation for onboard aircraft applications. 14th Symposium on Aircraft Integrated Monitoring Systems; 1987, 353-370.
4. de Kleer J, Brown JS. A qualitative physics based on confluences. Artif Intell 1984, 24:7-83.
5. Forbus K. Qualitative process theory. Artif Intell 1984, 24:85-168.
6. Kuipers B. Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. Cambridge, MA: MIT Press; 1994.
7. Raiman O. Order of magnitude reasoning. Artif Intell 1991, 51:11-38.
8. Dague P. Symbolic reasoning with relative orders of magnitude. In: Bajcsy R, ed. 13th International Joint Conference on Artificial Intelligence. San Mateo, CA: Morgan Kaufmann; 1993, 1509-1514.
9. Baron J, Spranca M. Protected values. Organ Behav Hum Decis Process 1997, 70:1-16.
10. Dehghani M, Tomai E, Forbus K, Iliev R, Klenk M, Moral DM. A computational model of moral decision-making. In: Love BC, McRae K, Sloutsky VM, eds. Proceedings of the 30th Annual Meeting of the Cognitive Science Society. Austin: Cognitive Science Society; 2008, 1410-1415.
11. Collins A, Warnock E, Aiello N, Miller M. Reasoning from incomplete knowledge. In: Bobrow D, Collins A, eds. Representation and Understanding. Orlando: Academic Press; 1975, 383-415.
12. Bobrow D, Falkenhainer B, Farquhar A, Fikes R, Forbus K. A compositional modeling language. In: Iwasaki Y, Farquhar A, eds. Proceedings of the 10th International Workshop on Qualitative Reasoning. Menlo Park, CA: AAAI Press; 1996, 12-21.
13. Bredeweg B, Reinders M, Wielinga B. Garp: A Unified Approach to Qualitative Reasoning. Amsterdam: University of Amsterdam; 1990.
14. Kuehne S, Forbus K. Capturing QP-relevant information from natural language text. In: Forbus K, de Kleer J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
15. Chi MTH, Slotta JD, de Leeuw N. From things to processes: a theory of conceptual change for learning science concepts. Learn Instr 1994, 4:27-43.
16. Mosterman P, Biswas G. Modeling discontinuous behavior with hybrid bond graphs. In: Bredeweg B, ed. Proceedings of the 9th International Workshop on Qualitative Reasoning, Amsterdam; 1995, 139-147.
17. Paynter H. An epistemic prehistory of bond graphs. In: Breedveld P, Dauphin-Tanguy G, eds. Bond Graphs for Engineers. Amsterdam: Elsevier; 1992.
18. Yip K. KAM: A System for Intelligently Guiding Numerical Experimentation by Computer. Cambridge, MA: MIT Press; 1991.
19. Bradley E. Autonomous exploration and control of chaotic systems. Cybern Syst 1995, 26:299-319.
20. Bailley-Kellogg C, Zhao F. Qualitative spatial reasoning: extracting and reasoning with spatial aggregates. AI Mag 2004, 24:47-60.
21. Huang X, Zhao F. Relation based aggregation: finding objects in large spatial datasets. Intell Data Anal 2000, 4:129-147.
22. Falkenhainer B, Forbus K. Compositional modeling: finding the right model for the job. Artif Intell 1991, 51:95-143.
23. Nayak P. Causal approximations. Artif Intell 1994, 70:277-334.
24. Rickel J, Porter B. Automated modeling of complex systems to answer prediction questions. Artif Intell 1997, 93:201-260.
25. Falkenhainer B. Modeling without amnesia: making experience-sanctioned approximations. In: Leitch R, ed. Proceedings of the 6th International Workshop on Qualitative Reasoning about Physical Systems. Edinburgh: Heriot-Watt University; 1992, 44-55.
26. de Kleer J. Multiple representations of knowledge in a mechanics problem solver. In: Reddy R, ed. Proceedings of the Fifth International Joint Conference on Artificial Intelligence. San Mateo, CA: Morgan Kaufmann; 1977, 299-304.
27. Forbus K. Spatial and qualitative aspects of reasoning about motion. In: Balzer R, ed. Proceedings of the 1st Annual National Conference on Artificial Intelligence. Stanford, CA: AAAI Press/MIT Press; 1980, 170-173.
28. Price CJ. AutoSteve: automated electrical design analysis. In: Horn W, ed. Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-2000). Amsterdam: IOS Press; 2000, 721-725.
29. Forbus K, Gentner D. Qualitative mental models: simulations or memories?. In: Ironi L, ed. Proceedings of the Eleventh International Workshop on Qualitative Reasoning. Pavia: Istituto di Analisi Numerica CNR; 1997, 97-104.
30. Yan J, Forbus K. Similarity-based qualitative simulation. In: Bara BG, Barsalou L, Bucciarelli M, eds. Proceedings of the 27th Annual Meeting of the Cognitive Science Society. Mahwah, NJ: Lawrence Erlbaum Associates; 2005, 2387-2392.
31. Kuipers B, Kassirer J. Causal reasoning in medicine: analysis of a protocol. Cogn Sci 1984, 8:363-385.
32. Forbus K, Gentner D. Causal reasoning about quantities. In: Proceedings of the 8th Annual Meeting of the Cognitive Science Society. Amherst, MA: Lawrence Erlbaum Associates; 1986, 196-207.
33. Falkenhainer B. A unified approach to explanation and theory formation. In: Shrager J, Langley P, eds. Computational Models of Scientific Discovery and Theory Formation. San Mateo, CA: Morgan Kaufmann; 1990, 157-196.
34. Shavlik J, Dietterich T, eds. Readings in Machine Learning. San Mateo, CA: Morgan Kaufmann; 1990, 373-403.
35. de Coste D. Dynamic across-time measurement interpretation. Artif Intell 1991, 51:273-341.
36. Iwasaki Y, Simon H. Causality in device behavior. Artif Intell 1986, 29:3-32.
37. Ahn W, Kalish C. The role of mechanism beliefs in causal reasoning. In: Keil F, Wilson R, eds. Explanation and Cognition. Cambridge, MA: MIT Press; 2000, 199-225.
38. Mackie J. The Cement of the Universe: A Study of Causation. Oxford: Oxford University Press; 1980.
39. Pearl J. Causality: Models, Reasoning, and Inference. Cambridge, UK: Cambridge University Press; 2000.
40. Glymour C. The Mind's Arrows: Bayes nets and Graphical Causal Models in Psychology. Cambridge, MA: MIT Press; 2001.
41. Cohn A, Bennett B, Gooday J, Gotts N. Qualitative spatial representation and reasoning with the region connection calculus. Geoinformatica 1997, 1:1-44.
42. Egenhofer M. Deriving the composition of binary topological relations. J Vis Lang Comput 1994, 5:133-149.
43. Freksa C. Using orientation information for qualitative spatial reasoning. In: Frank AU, Campari I, Formentini U, eds. Theories and Methods of Spatio-temporal Reasoning in Geographic Space. Berlin: Springer; 1992, 162-178.
44. Ligozat G. Qualitative triangulation for spatial reasoning. In: Frank AU, Campari I, eds. Spatial Information Theory: A Theoretical Basis for GIS, COSIT'93. Berlin: Springer-Verlag; 1993, 54-68.
45. van de Weghe N, Kuijpers B, Bogaert P, Maeyer P. A qualitative trajectory calculus and the composition of its regions. In: Rodriguez MA, Cruz IF, Levashkin S, Egenhofer MJ, eds. First International Conference on GeoSpatial Semantics, LNCS 3799. Mexico: Springer; 2005, 181-211.
46. Moratz R. Representing relative direction as a binary relation of oriented points. In: Brewka G, Coradeschi S, Perini A, Traverso P, eds. Frontiers in Artificial Intelligence and Applications: Proceedings of the 17th European Conference on Artificial Intelligence. Amsterdam: IOS Press; 2006, 407-411.
47. Kim H. Qualitative kinematics of linkages. In: Faltings B, Struss P, eds. Recent Advances in Qualitative Physics. Cambridge, MA: MIT Press; 1992, 137-152.
48. Clementini E, Di Felice P, Hernandez D. Qualitative representation of positional information. Artif Intell 1997, 95:317-356.
49. Bittner T, Smith B. Vagueness and granular partitions. In: Welty C, Smith B, eds. Formal Ontology in Information Systems: Collected Papers from the Second International Conference. New York: ACM Press; 2001, 309-320.
50. Hoffman D, Richards W. Parts of recognition. Cognition 1984, 18:65-96.
51. Museros L, Escrig M. A qualitative theory for shape representation and matching. In: Forbus K, de Kleer J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
52. Falomir Z, Escrig T. Qualitative models of shape, size, orientation and distance applied to the description of images containing 2D objects. In: Bradley E, Travé-Massuyès L, eds. Proceedings of the 22nd International Workshop on Qualitative Reasoning. Boulder, CO: University of Colorado; 2008.
53. Nielsen P. A qualitative approach to mechanical constraint. Proceedings of the 7th National Conference on Artificial Intelligence. AAAI Press/MIT Press; 1988, 270-274.
54. Kosslyn S. Seeing and imaging in the cerebral hemispheres: a computational approach. Psychol Rev 1987, 94:148-175.
55. Pylyshyn Z. Things and Places: How the Mind Connects with the World. Cambridge, MA: MIT Press; 2007.
56. Cohn AG, Magee D, Galata A, Hogg David, Hazarika S. Towards an architecture for cognitive vision using qualitative spatio-temporal representations and abduction. In: Freksa C, Brauer W, Habel C, Wender KF, eds. Spatial Cognition III, Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning. Springer-Verlag; 2003, 232-248.
57. Forbus K, Nielsen P, Faltings B. Qualitative spatial reasoning: the CLOCK project. Artif Intell 1991, 51:417-471.
58. Ullman S. Visual routines. Cognition 1984, 18:97-159.
59. Faltings B. Qualitative kinematics in mechanisms. Artif Intell 1990, 44:89-119.
60. Joskowicz L, Sacks E. Automated modeling and kinematic simulation of mechanisms. Comput Aided Des 1993, 25:106-118.
61. Donlon J, Forbus K. Using a geographic information system for qualitative spatial reasoning about trafficability. Proceedings of the 13th International Workshop on Qualitative Reasoning; 1999, 62-72.
62. Huttenlocher J, Hedges L, Duncan S. Categories and particulars: prototype effects in estimating spatial location. Psychol Rev 1991, 98:352-376.
63. Newcombe NS, Huttenlocher J. Making Space: The Development of Spatial Representation and Spatial Reasoning. Cambridge, MA: MIT Press; 2000.
64. Stevens A, Coupe P. Distortions in judged spatial relations. Cogn Psychol 1978, 10:422-437.
65. Tversky B. Distortions in memory for maps. Cogn Psychol 1981, 13:407-433.
66. Holden M, Curby K, Newcombe N, Shipley TF. Spatial memory: hierarchical encoding of location in natural scenes. J Exp Psychol Learn Mem Cogn In press.
67. Kuipers B. The spatial semantic hierarchy. Artif Intell 2000, 119:191-233.
68. Needham C, Santos P, Magee D, Devin V, Hogg D, et al. Protocols from perceptual observations. Artif Intell 2005, 167:103-136.
69. Hammond T, Davis R. LADDER: a language to describe drawing, display, and editing in sketch recognition. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence. San Francisco: Morgan Kaufmann; 2003, 461-467.
70. Forbus K, Usher J, Lovett A, Lockwood K, Wetzel J. CogSketch: sketch understanding for cognitive science research and for education. Top Cogn Sci. In press.
71. Klenk M, Forbus K, Tomai E, Kim H, Kyckelhahn B. Solving everyday physical reasoning problems by analogy using sketches. In: Veloso MM, Kambhampati S, eds. Proceedings of 20th National Conference on Artificial Intelligence. Menlo Park, CA: AAAI Press/MIT Press; 2005, 209-215.
72. Le Clair S, Abrams F, Matejka R. Qualitative process automation: self directed manufacture of composite materials. Artif Intell Eng Des Anal Manuf 1989, 3:125-136.
73. Shimomura Y, Tanigawa S, Umeda Y, Tomiyama T. Development of self maintenance photocopiers. In: Aikins J, Shrobe H, eds. Proceedings of the 7th Conference on Innovative Applications of Artificial Intelligence. AAAI Press; 1995, 171-180.
74. Stahovich T, Davis R, Shrobe H. Generating multiple new designs from a sketch. Artif Intell 1998, 104:211-264.
75. Faltings B, Sun K. FAMING: supporting innovative mechanism shape design. Comput Aided Des 1996, 28:207-216.
76. Bailley-Kellogg C, Zhao F. Spatial aggregation: modeling and controlling physical fields. In: Proceedings of 11th International Workshop on Qualitative Reasoning. Paris: Centre National de la Recherche Scientifique; 1997, 13-22.
77. Ramakrishnan N, Bailey-Kellogg C, Tadepalli S, Pandey V. Gaussian processes for active data mining of spatial aggregates. In: Forbus K, de Kleer J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
78. Ironi L, Tentoni S. Automated detection of electrocardiographic diagnostic features through an interplay between spatial aggregation and computational geometry. In: Bratko I, Žabkar J, eds. Proceedings of the 23rd International Workshop on Qualitative Reasoning; 2009, 54-61.
79. Heller U, Struss P. Transformation of qualitative dynamic models-application in hydro-ecology. In: Farquhar A, Iwasaki Y, eds. Proceedings of the 10th International Workshop on Qualitative Reasoning; 1996.
80. Nakova E, Bredeweg B, Salles P, Nuttle T. A Garp3 model of environmental sustainability in the River Mesta (Bulgaria). In: Price C, ed. Proceedings of the 21st International Workshop on Qualitative Reasoning; 2007, 87-95.
81. Nuttle T, Bredeweg B, Salles P. Qualitative reasoning about food webs: exploring alternate representations. In: Forbus K, de Kleer J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
82. Struss P. Towards model integration and model-based decision support for environmental applications. In: Anderssen RS, Braddock RD, Newham LTH, eds. 18th World IMACS Congress and MODSIM09 International Congress on Modelling and Simulation. Australia: Modelling and Simulation Society of Australia and New Zealand/International Association for Mathematics and Computers in Simulation; 2009, 2279-2285.
83. Zitek A, Muhar S, Preis S, Schmutz S. The riverine landscape Kamp (Austria): an integrative case study for qualitative modeling of sustainable development. In: Price C, ed. Proceedings of the 21st International Workshop on Qualitative Reasoning; 2007, 212-217.
84. Salles P, Bredeweg B, Araujo S. Qualitative models about stream ecosystem recovery: exploratory studies. Ecol Modell 2006, 194:80-89.
85. King R, Garrett S, Coghill G. On the use of qualitative reasoning to simulate and identify metabolic pathways. Bioinformatics 2005, 21:2017-2026.
86. de Jong H, Geiselmann J, Batt G, Hernandez C, Page M. Qualitative simulation of the initiation of sporulation in Bacillus subtillis. Bull Math Biol 2004, 66:216-300.
87. Ironi L, Panzeri L. Qualitative simulation of nonlinear dynamical models of gene-regulatory networks. In: Bradley E, Travé-Massuyès L, eds. Proceedings of the 22nd International Workshop on Qualitative Reasoning. Boulder, CO: University of Colorado; 2008, 58-67.
88. Monteiro P, Ropers D, Mateescu R, Freitas A, de Jong H. Temporal logic patterns for querying qualitative models of genetic regulatory networks. In: Bradley E, Travé-Massuyès L, eds. Proceedings of the 22nd International Workshop on Qualitative Reasoning. Boulder, CO: University of Colorado; 2008.
89. Dehghani M, Unsworth S, Lovett A, Forbus K. Capturing and categorizing mental models of food webs using QCM. In: Price C, ed. Proceedings of the 21st International Workshop on Qualitative Reasoning, Aberystwyth, UK; 2007, 25-30.
90. Simon HA. On the definition of the causal relation. J Philos 1952, 49:517-528.
91. Biswas G, Schwartz D, Bransford J. The Teachable Agents Group at Vanderbilt. Technology support for complex problem solving: from SAD environments to AI. In: Forbus K, Feltovich P, eds. Smart Machines in Education: The Coming Revolution in Educational Technology. Menlo Park, CA: AAAI Press/MIT Press; 2001, 71-97.
92. Forbus K, Carney K, Sherin B, Ureel L. VModel: a visual qualitative modeling environment for middle-school students. In: Hill R, Jacobstein N, eds. Proceedings of the 16th Conference on Innovative Applications of Artificial Intelligence. San Jose, CA: AAAI Press/MIT Press; 2004, 820-827.
93. de Koning K, Bredeweg B, Breuker J, Wielinga B. Model-based reasoning about learner behaviour. Artif Intell 2000, 117:173-229.
94. Zitek A, Preis S, Poppe M, Muhar S. Evaluating the potential of qualitative reasoning to capture and communicate knowledge on sustainable catchment management. In: Bratko I, Žabkar J, eds. Proceedings of the 23rd International Conference on Qualitative Reasoning; 2009, 127-134.
95. Mustapha S, Jen-Sen P, Zain SM. Application qualitative process theory to qualitative simulation and analysis of inorganic chemical reaction. In: Agell N, Ortega JA, eds. Proceedings of the 16th International Workshop on Qualitative Reasoning. Sevilla: Edición Digital; 2002, 177-184.
96. Matsuo T, Shintani T, Ito T. An economic education support system based on qualitative/quantitative simulations. In: Forbus K, de Kleer J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
97. Forbus K, Whalley P, Everett J, Ureel L, Brokowski M, et al. CyclePad: an articulate virtual laboratory for engineering thermodynamics. Artif Intell 1999, 114:297-347.
98. Horiguchi T, Hirashima T. Intelligent authoring of graph of microworlds for adaptive learning with microworlds. In: Bratko I, Žabkar J, eds. Proceedings of the 23rd International Conference on Qualitative Reasoning; 2009, 49-53.
99. Makatchev M, Jordan P, Pappuswamy U, VanLehn K. Abductive proofs as models of qualitative reasoning. In: Forbus K, de Kleer J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
100. Cavazza M, Simo A. Qualitative physiology: from qualitative processes to virtual patients. In: Salles P, Bredeweg B, eds. Proceedings of the 17th International Workshop on Qualitative Reasoning, Brasilia; 2003, 183-188.
101. Jackson S, Stratford S, Krajcik J, Soloway E. Making system dynamics modeling accessible to pre-college science students. Interact Learn Environ 1996, 4:233-257.
102. Jordan P, Makatchev M, Pappuswamy U, VanLehn K, Albacete P. A natural language tutorial dialogue system for physics. In: Sutcliffe G, Goebel R, eds. Proceedings of the 19th International FLAIRS Conference. Taylor & Francis, London: AAAI Press; 2006, 521-526.
103. Baker CF, Fillmore CJ, Lowe JB. The Berkeley FrameNet project. In: Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics. Vol. 1. Montreal: Association for Computational Linguistics; 1998, 86-90.
104. Talmy L. Toward a Cognitive Semantics. Vols 1 and 2. Cambridge, MA: MIT Press; 2000.
105. Hegarty M. Mechanical reasoning by mental simulation. Trends Cogn Sci 2004, 8:280-285.
106. Hegarty M, Kriz S, Cate C. The roles of mental animations and external animations in understanding mechanical systems. Cogn Instr 2003, 21:325-360.
107. Tversky B. What do sketches say about thinking? In: Stahovic T, Landay J, Davis R, eds. Proceedings of AAAI Spring Symposium on Sketch Understanding. Menlo Park, CA: AAAI Press; 2002.
108. Most of the literature in qualitative modeling is freely available on-line. For example, the papers from the proceedings of the International Qualitative Reasoning Workshop, which started in 1987, are available at several mirror sites. A number of systems that use qualitative modeling, including Kuipers' QSIM, Bredeweg's GARP3, Yip and Zhao's Spatial Aggregation Language, and Northwestern's VModel, CyclePad, and CogSketch are available as free downloads.