A STRATEGY FOR RESEARCH ON MODEL FORMULATION
David M. Steier · Computational Intelligence · 1992
The starting point for this commentary is Sacks’ and Doyle's conclusion that a central problem for qualitative physics is automating mathematical model formulation. We believe that model formulation is also a central problem for operations research, and although we have focused on models for production planning rather than for engineering systems analysis, our experience confirms that of Sacks and Doyle, that at least parts of model formulation are amenable to automation. In terms of their recommendations for future research, their strategy seems to emphasize the formalization of mathematical knowledge. We wish to stress that understanding the design or analysis context, the problem domain, and resource constraints on the modeling process is equally important. Methods used in cognitive psychology for understanding human problem solving, such as protocol analysis, can complement mathematical study by helping us understanding the processing that human modelers use to bring mathematical knowledge to bear. We have been using the results of such analyses to guide the creation of a model formulation system (MFS) within the Soar architecture. The use of cognitive studies and computer models in tandem seems to represent a viable strategy for making progress in this area.