Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 8 (1992), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: 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.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...