Automatic Qualitative Modeling of Dynamic Physical Systems

  • Authors:
  • Jonathan Amsterdam

  • Affiliations:
  • -

  • Venue:
  • Automatic Qualitative Modeling of Dynamic Physical Systems
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

This report describes MM, a computer program that can model a variety of mechanical and fluid systems. Given a system''s structure and qualitative behavior, MM searches for models using an energy-based modeling framework. MM uses general facts about physical systems to relate behavioral and model properties. These facts enable a more focussed search for models than would be obtained by mere comparison of desired and predicted behaviors. When these facts do not apply, MM uses {\em behavior-constrained qualitative simulation} to verify candidate models efficiently. MM can also design experiments to distinguish among multiple candidate models.