Automatic Qualitative Modeling of Dynamic Physical Systems
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 an...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/6793 |
| _version_ | 1826188341250359296 |
|---|---|
| author | Amsterdam, Jonathan |
| author_facet | Amsterdam, Jonathan |
| author_sort | Amsterdam, Jonathan |
| collection | MIT |
| description | 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 behavior-constrained qualitative simulation to verify candidate models efficiently. MM can also design experiments to distinguish among multiple candidate models. |
| first_indexed | 2024-09-23T07:58:11Z |
| id | mit-1721.1/6793 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T07:58:11Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/67932019-04-09T15:49:24Z Automatic Qualitative Modeling of Dynamic Physical Systems Amsterdam, Jonathan qualitative reasoning automated modeling system dynamics 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 behavior-constrained qualitative simulation to verify candidate models efficiently. MM can also design experiments to distinguish among multiple candidate models. 2004-10-20T19:55:15Z 2004-10-20T19:55:15Z 1993-01-01 AITR-1412 http://hdl.handle.net/1721.1/6793 en_US AITR-1412 113 p. 407226 bytes 1309157 bytes application/octet-stream application/pdf application/octet-stream application/pdf |
| spellingShingle | qualitative reasoning automated modeling system dynamics Amsterdam, Jonathan Automatic Qualitative Modeling of Dynamic Physical Systems |
| title | Automatic Qualitative Modeling of Dynamic Physical Systems |
| title_full | Automatic Qualitative Modeling of Dynamic Physical Systems |
| title_fullStr | Automatic Qualitative Modeling of Dynamic Physical Systems |
| title_full_unstemmed | Automatic Qualitative Modeling of Dynamic Physical Systems |
| title_short | Automatic Qualitative Modeling of Dynamic Physical Systems |
| title_sort | automatic qualitative modeling of dynamic physical systems |
| topic | qualitative reasoning automated modeling system dynamics |
| url | http://hdl.handle.net/1721.1/6793 |
| work_keys_str_mv | AT amsterdamjonathan automaticqualitativemodelingofdynamicphysicalsystems |