| The ability to answer prediction questions is crucial in science and engineering. A prediction question describes a physical system under hypothetical conditions and asks for the resulting behavior of specified variables. Prediction questions are typically answered by analyzing (e.g., simulating) a mathematical model of the physical system. To provide an adequate answer to a question, a model must be sufficiently accurate. However, the model must also be as simple as possible to ensure tractable analysis and comprehensible results. Ensuring a simple yet adequate model is especially difficult for complex systems that include many phenomena that can be described at many levels of detail. While tools exist for analysis, modeling is a creative, time-consuming task performed by humans.; We have designed algorithms for automatically constructing models to answer prediction questions, implemented them in a program called scTRIPEL, and evaluated them in the domain of plant physiology. Given a prediction question and domain knowledge, scTRIPEL builds the simplest differential-equation model that can adequately answer it and automatically passes the model to a simulator to generate the desired predictions. scTRIPEL uses knowledge of the time scales on which processes operate to identify and ignore insignificant phenomena and choose quasi-static representations of fast phenomena. It also uses novel criteria and methods to choose a suitable system boundary, separating relevant subsystems from those that can be ignored. Finally, it includes a novel algorithm for efficiently searching through alternative levels of detail in a vast space of possible models. scTRIPEL successfully answered plant physiology questions using a large, multipurpose, botany knowledge base (covering 300 processes and 700 plant properties) independently developed by a domain expert. Because its methods are domain-independent, scTRIPEL should be equally useful in many areas of science and engineering. |
