Qualitative Simulation of Mechanisms
Qualitative simulation is a key inference process in qualitative causal reasoning. However, the precise meaning of the different proposals and their relation with differential equations is often unclear. In this paper, we present a precise definition of qualitative structure and behavior description...
| Main Author: | |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149084 |
| _version_ | 1826217851023785984 |
|---|---|
| author | Kuipers, Benjamin |
| author_facet | Kuipers, Benjamin |
| author_sort | Kuipers, Benjamin |
| collection | MIT |
| description | Qualitative simulation is a key inference process in qualitative causal reasoning. However, the precise meaning of the different proposals and their relation with differential equations is often unclear. In this paper, we present a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and continuously differentiable functions. We present a new algorithm for qualitative simulation that generalizes the best features of existing algorithms, and allows direct comparisons among alternate approaches. Starting with a structural description abstracted from a differential equation, we prove that the QSIM algorithm is guaranteed to produce a qualitative behavior corresponding to any solution to the original equation. We also show that any qualitative simulation algorithm, because of its local point of view, will sometimes produce spurious qualitative behaviors: ones which do not correspond to any mechanism satisfying the structureal description. These observations suggest specific types of care that must be taken in designing applications of qualitative causal reasoning systems, and in constructing and validating a knowledge base of mechanism descriptions. |
| first_indexed | 2024-09-23T17:10:11Z |
| id | mit-1721.1/149084 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T17:10:11Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1490842023-03-30T03:01:07Z Qualitative Simulation of Mechanisms Kuipers, Benjamin Qualitative simulation is a key inference process in qualitative causal reasoning. However, the precise meaning of the different proposals and their relation with differential equations is often unclear. In this paper, we present a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and continuously differentiable functions. We present a new algorithm for qualitative simulation that generalizes the best features of existing algorithms, and allows direct comparisons among alternate approaches. Starting with a structural description abstracted from a differential equation, we prove that the QSIM algorithm is guaranteed to produce a qualitative behavior corresponding to any solution to the original equation. We also show that any qualitative simulation algorithm, because of its local point of view, will sometimes produce spurious qualitative behaviors: ones which do not correspond to any mechanism satisfying the structureal description. These observations suggest specific types of care that must be taken in designing applications of qualitative causal reasoning systems, and in constructing and validating a knowledge base of mechanism descriptions. 2023-03-29T14:25:45Z 2023-03-29T14:25:45Z 1985-04 https://hdl.handle.net/1721.1/149084 14700840 MIT-LCS-TM-274 application/pdf |
| spellingShingle | Kuipers, Benjamin Qualitative Simulation of Mechanisms |
| title | Qualitative Simulation of Mechanisms |
| title_full | Qualitative Simulation of Mechanisms |
| title_fullStr | Qualitative Simulation of Mechanisms |
| title_full_unstemmed | Qualitative Simulation of Mechanisms |
| title_short | Qualitative Simulation of Mechanisms |
| title_sort | qualitative simulation of mechanisms |
| url | https://hdl.handle.net/1721.1/149084 |
| work_keys_str_mv | AT kuipersbenjamin qualitativesimulationofmechanisms |