Composing task-specific models

Brian Falkenhainer*, Kenneth Forbus

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations


Greater use of modeling techniques across a wider range of tasks and users 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 methods for augmenting traditional equational models with all the underlying information used in their derivation. This paper describes compositional modeling, a technique that addresses these issues. It 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 which, given a query about an artifact's behavior will compose a model that 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.

Original languageEnglish (US)
Title of host publicationAutomated Modeling
PublisherPubl by ASME
Number of pages9
ISBN (Print)0791811034
StatePublished - Dec 1 1992
EventWinter Annual Meeting of the American Society of Mechanical Engineers - Anaheim, CA, USA
Duration: Nov 8 1992Nov 13 1992

Publication series

NameAmerican Society of Mechanical Engineers, Dynamic Systems and Control Division (Publication) DSC


OtherWinter Annual Meeting of the American Society of Mechanical Engineers
CityAnaheim, CA, USA

ASJC Scopus subject areas

  • Software
  • Mechanical Engineering


Dive into the research topics of 'Composing task-specific models'. Together they form a unique fingerprint.

Cite this