Solving Dynamical Models Qualitatively : Causality Built in Dynamical Models : Topic : Common Sense Reasoning (simulation)

Abstract

We define the “causality” which requires “time reference”. With this causality, causal reasoning is carried out by verifying that any change is made by the causality. The verification is done by the comsumption of dt = + for each step. In order to make such causal reasoning possible, we carefully choose the base model, i.e. the dynamical model, which describes causality from what makes the change to what is changed. We also developed the qualitative similation algorithm using the causality built in the dynamical model. The power of the causality and simulation algorithm is demonstrated on two examples of the pressure regulator and the mass-spring system.