Qualitative models in ecology and their use in learning environments

This thesis is concerned with the development of qualitative modelling approaches that can be used in educational contexts for simulation and explanation about ecological systems. Students have to learn about complex systems, and computers have great potential for providing tools to support ecology teaching. Most of the simulation models created so far for this purpose are based on mathematical equations. However, quantitative data is often missing. Moreover, mathematical models hardly can support explanations because they lack explicit representation of concepts about the system being modelled and of the causal relations between the modelling components. Qualitative Reasoning has the potential for handling these problems, as it provides ontologies and techniques for building models with qualitative and incomplete knowledge. Accordingly, different modelling formalisms are explored and compared in this thesis. The specific domain chosen is the ecology of the vegetation of the Brazilian cerrado. Recurrent issues in scientific research and teaching are the effects of fire on flowering, germination, establishment, mortality of the cerrado plants, and on the succession of cerrado communities. The qualitative knowledge involved in these issues is represented in a domain theory of plant population dynamics. To implement this domain theory, a framework is proposed in which the structure of the system being modelled is represented as a combination of the conceptual, the causal and the mathematical components. The conceptual structure includes knowledge about the objects, their quantities, quantity relations, typical scenarios, and the mechanisms causing changes in the system. The causal structure is a representation of how changes start and propagate within the system. The mathematical structure is a description of the constraints between the quantities and the procedures for calculating their values. General guidelines for building qualitative models to be used in education are also discussed. A number of models about different ecological problems are developed using the ontology provided by the Qualitative Process Theory (QPT) of Forbus, the qualitative algebra developed for Guerrin' s System of Interpretation of Measurements, Analysis and Observations (SIMAO), and the data structures adopted in the qualitative reasoning shell GARP developed by Bredeweg. Some models are implemented in GARP. In models about the life cycle of cerrado plants, qualitative equations are used to assess the magnitude of the quantities, which in turn are used to determine state transitions. In models about the dynamics of populations and communities, state transitions are determined by the assessment of the causal influences between the quantities. These models can be used for the automatic generation of different kinds of explanations in learning environments. It is shown that if only the mathematical and the causal structures are explicitly represented, the models support explanations about how the values are being calculated. However, if the conceptual structure is also explicit, it is possible to explain why the calculations are being done on the basis of domain knowledge. A set of topics for the explanatory discourse about concepts expressed in qualitative simulations is presented, and the potential of qualitative models for supporting explanations in learning environments is discussed.

[1]  Benjamin Kuipers,et al.  How to Discover a Knowledge Representation for Causal Reasoning by Studying an Expert Physician , 1983, IJCAI.

[2]  Daniel L. Schmoldt,et al.  Simulation of Plant Physiological Process Using Fuzzy Variables , 1991 .

[3]  John E. Hunt,et al.  Qualitative modeling photosynthesis , 1994, Appl. Artif. Intell..

[4]  中園 薫 A Qualitative Physics Based on Confluences , 1986 .

[5]  Bert Bredeweg,et al.  Student Modelling Through Qualitative Reasoning , 1994 .

[6]  Julián Gutiérrez Serrano,et al.  Behavioral Explanations in Intelligent Tutor Systems for Training using Causal Models , 1998, Interact. Learn. Environ..

[7]  Helen Pain,et al.  Qualitative Models in Ecology and their Use in Intelligent Tutoring Systems , 1996 .

[8]  M. J. Seixas,et al.  A new method for qualitative simulation of water resources systems: 2. Applications , 1987 .

[9]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[10]  Rachel M. Pilkington,et al.  Generating explanations in a simulation-based learning environment , 1996, Int. J. Hum. Comput. Stud..

[11]  Alison Cawsey,et al.  Generating Interactive Explanations , 1991, AAAI.

[12]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[13]  William J. Clancey,et al.  Tutoring rules for guiding a case method dialogue , 1979 .

[14]  Herbert A. Simon,et al.  Theories of Causal Ordering: Reply to de Kleer and Brown , 1986, Artif. Intell..

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

[16]  Bert Bredeweg,et al.  Deriving Explanations from Qualitative Models , 1997 .

[17]  R. May Qualitative Stability in Model Ecosystems , 1973 .

[18]  Ivan Bratko,et al.  Prolog Programming for Artificial Intelligence , 1986 .

[19]  A. John Mallinckrodt,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, at - Automatisierungstechnik.

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

[21]  L. Coutinho,et al.  Fire in the Ecology of the Brazilian Cerrado , 1990 .

[22]  Peter Struss,et al.  Transformation of Qualitative Dynamic Models - Application in Hydro-Ecology , 1996 .

[23]  Kenneth D. Forbus,et al.  Learning Physical Domains: Toward a Theoretical Framework. , 1986 .

[24]  John L. Harper,et al.  Population Biology of Plants. , 1978 .

[25]  Kenneth D. Forbus,et al.  Causal reasoning about quantities , 1989 .

[26]  Benjamin Kuipers,et al.  Knowledge Acquisition by Analysis of Verbatim Protocols , 1987 .

[27]  L. Coutinho,et al.  Ecological Effects of Fire in Brazilian Cerrado , 1982 .

[28]  W. Hoffmann,et al.  THE EFFECTS OF FIRE AND COVER ON SEEDLING ESTABLISHMENT IN A NEOTROPICAL SAVANNA , 1996 .

[29]  James D. Hollan,et al.  STEAMER: An Interactive Inspectable Simulation-Based Training System , 1984, AI Mag..

[30]  Bert Bredeweg,et al.  Qualitative Reasoning in Tutoring Interactions , 1998, Interact. Learn. Environ..

[31]  Bert Bredeweg,et al.  Qualitative Models in Interactive Learning Environments. Interactive Learning Environment , 1998 .

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

[33]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[34]  Kenneth D. Forbus Qualitative physics: past present and future , 1988 .

[35]  Rosemary S. Hails,et al.  An introduction to ecological modelling: putting practice into theory , 1997 .

[36]  Peter Struss,et al.  A Qualitative Modeling Approach to Algal Bloom Prediction , .

[37]  Andrew D. Moore,et al.  An individualistic model of vegetation stand dynamics. , 1990 .

[38]  Kenneth D. Forbus Self-Explanatory Simulators for Middle-School Science Education: A Progress Report , 1996 .

[39]  W. Platt,et al.  Ecology of Fire , 1984 .

[40]  J. A. Kamps,et al.  Qualitative Reasoning beyond the Physics Domain: The Density Dependence Model of Organizational Ecology , 1995 .

[41]  Bert Bredeweg,et al.  An overview of approaches to qualitative model construction , 1996, The Knowledge Engineering Review.

[42]  Sanjaya Addanki,et al.  Reasoning About Assumptions in Graphs of Models , 1989, IJCAI.

[43]  Benjamin Kuipers,et al.  QPC: A Compiler from Physical Models into Qualitative Differential Equations , 1990, AAAI.

[44]  Kenneth D. Forbus,et al.  Using Qualitative Physics to Build Articulate Software for Thermodynamics Education: A Preliminary Report , 1994, Interact. Learn. Environ..

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

[46]  Kenneth D. Forbus,et al.  Qualitative Mental Models: Simulations or Memories? , 1997 .

[47]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[48]  Bruce W. Porter,et al.  Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary , 1994, AAAI.