References
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. %22Symbolic reasoning with relative orders of magnitude.%22 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. %22A computational model of moral decision‐making.%22 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. %22Reasoning from incomplete knowledge.%22 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. %22A compositional modeling language.%22 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. %22Capturing QP‐relevant information from natural language text.%22 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. %22Modeling discontinuous behavior with hybrid bond graphs.%22 In: Bredeweg, B, ed. Proceedings of the 9th International Workshop on Qualitative Reasoning, Amsterdam; 1995, 139–147.
17 Paynter, H. %22An epistemic prehistory of bond graphs.%22 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. %22Modeling without amnesia: making experience‐sanctioned approximations.%22 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. %22Multiple representations of knowledge in a mechanics problem solver.%22 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. %22Spatial and qualitative aspects of reasoning about motion.%22 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. %22AutoSteve: automated electrical design analysis.%22 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. %22Qualitative mental models: simulations or memories?.%22 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. %22Similarity‐based qualitative simulation.%22 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. %22Causal reasoning about quantities.%22 In:
Proceedings of the 8th Annual Meeting of the Cognitive Science Society. Amherst, MA:
Lawrence Erlbaum Associates; 1986, 196–207.
33 Falkenhainer, B. %22A unified approach to explanation and theory formation.%22 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. %22The role of mechanism beliefs in causal reasoning.%22 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. %22Using orientation information for qualitative spatial reasoning.%22 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. %22Qualitative triangulation for spatial reasoning.%22 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. %22A qualitative trajectory calculus and the composition of its regions.%22 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. %22Representing relative direction as a binary relation of oriented points.%22 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. %22Qualitative kinematics of linkages.%22 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. %22Vagueness and granular partitions.%22 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. %22A qualitative theory for shape representation and matching.%22 In: Forbus, K, de Kleer, J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
52 Falomir, Z, Escrig, T. %22Qualitative models of shape, size, orientation and distance applied to the description of images containing 2D objects.%22 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. %22A qualitative approach to mechanical constraint.%22
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. %22Towards an architecture for cognitive vision using qualitative spatio‐temporal representations and abduction.%22 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. %22LADDER: a language to describe drawing, display, and editing in sketch recognition.%22 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. %22Solving everyday physical reasoning problems by analogy using sketches.%22 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. %22Development of self maintenance photocopiers.%22 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. %22Spatial aggregation: modeling and controlling physical fields.%22 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. %22Gaussian processes for active data mining of spatial aggregates.%22 In: Forbus, K, de Kleer, J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
78 Ironi, L, Tentoni, S. %22Automated detection of electrocardiographic diagnostic features through an interplay between spatial aggregation and computational geometry.%22 In: Bratko, I, Žabkar, J, eds. Proceedings of the 23rd International Workshop on Qualitative Reasoning; 2009, 54–61.
79 Heller, U, Struss, P. %22Transformation of qualitative dynamic models—application in hydro‐ecology.%22 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. %22A Garp3 model of environmental sustainability in the River Mesta (Bulgaria).%22 In: Price, C, ed. Proceedings of the 21st International Workshop on Qualitative Reasoning; 2007, 87–95.
81 Nuttle, T, Bredeweg, B, Salles, P. %22Qualitative reasoning about food webs: exploring alternate representations.%22 In: Forbus, K, de Kleer, J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
82 Struss, P. %22Towards model integration and model‐based decision support for environmental applications.%22 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. %22The riverine landscape Kamp (Austria): an integrative case study for qualitative modeling of sustainable development.%22 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. %22Qualitative simulation of nonlinear dynamical models of gene‐regulatory networks.%22 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. %22Temporal logic patterns for querying qualitative models of genetic regulatory networks.%22 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. %22Capturing and categorizing mental models of food webs using QCM.%22 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. %22The Teachable Agents Group at Vanderbilt. Technology support for complex problem solving: from SAD environments to AI.%22 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. %22VModel: a visual qualitative modeling environment for middle‐school students.%22 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. %22Evaluating the potential of qualitative reasoning to capture and communicate knowledge on sustainable catchment management.%22 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. %22Application qualitative process theory to qualitative simulation and analysis of inorganic chemical reaction.%22 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. %22An economic education support system based on qualitative/quantitative simulations.%22 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. %22Intelligent authoring of graph of microworlds for adaptive learning with microworlds.%22 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. %22Abductive proofs as models of qualitative reasoning.%22 In: Forbus, K, de Kleer, J, eds. Proceedings of the 18th International Workshop on Qualitative Reasoning, Evanston; 2004.
100 Cavazza, M, Simo, A. %22Qualitative physiology: from qualitative processes to virtual patients.%22 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. %22A natural language tutorial dialogue system for physics.%22 In: Sutcliffe, G, Goebel, R, eds.
Proceedings of the 19th International FLAIRS Conference. Taylor %26 Francis, London:
AAAI Press; 2006, 521–526.
103 Baker, CF, Fillmore, CJ, Lowe, JB. %22The Berkeley FrameNet project.%22 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. %22What do sketches say about thinking?%22 In: Stahovic, T, Landay, J, Davis, R, eds.
Proceedings of AAAI Spring Symposium on Sketch Understanding. Menlo Park, CA:
AAAI Press; 2002.
.jpg)
