Cmpositional modeling: finding the right model for the job

https://doi.org/10.1016/0004-3702(91)90109-WGet rights and content

Abstract

To represent an engineer's knowledge will require domain theories that are orders of magnitude larger than today's theories, describe phenomena at several levels of granularity, and incorporate multiple perspectives. To build and use such theories effectively requires strategies for organizing domain models and techniques for determining which subset of knowledge to apply for a given task. This paper describes compositional modeling, a technique that addresses these issues. Compositional modeling uses explicit modeling assumptions to decompose domain knowledge into semi-independent model fragments, each describing various aspects of objects and physical processes. We describe an implemented algorithm for model composition. That is, given a general domain theory, a structural description of a specific system, and a query about the system's behavior, the algorithm composes a model which suffices to answer the query while minimizing extraneous detail. We illustrate the utility of compositional modeling by outlining the organization of a large-scale, multi-grain, multi-perspective model we have built for engineering thermodynamics, and showing how the model composition algorithm can be used to automatically select the appropriate knowledge to answer questions in a tutorial setting.

References (55)

  • G.J. Sussman et al.

    CONSTRAINTS: a language for expressing almost-hierarchical descriptions

    Artif. Intell.

    (1980)
  • D. Weld

    The use of aggregation in causal simulation

    Artif. Intell.

    (1986)
  • B.C. Williams

    Qualitative analysis of MOS circuits

    Artif. Intell.

    (1984)
  • S. Addanki et al.

    Reasoning about assumptions in graphs of models

  • F.G. Amador et al.

    Multi-level modeling of populations

  • J. Collins

    Building qualitative models of thermodynamic processes

  • J. Collins et al.

    Reasoning about fluids via molecular collections

  • J.M. Crawford et al.

    QPC: a compiler from physical models into qualitative differential equations

  • B. Falkenhainer

    Learning from physical analogies: a study in analogy and the explanation process

  • B. Falkenhainer et al.

    Setting up large-scale qualitative models

  • P.A. Fishwick

    The role of process abstraction in simulation

    IEEE Trans. Syst. Man Cybern.

    (1988)
  • K.D. Forbus et al.

    Focusing the ATMS

  • K.D. Forbus et al.

    Self-explanatory simulations: an integration of qualitative and quantitative knowledge

  • K.D. Forbus et al.

    Using qualitative simulation to generate explanations

  • R.W. Fox et al.
  • Cited by (0)

    View full text