Causality in device behavior

摘要

This paper shows how formal characterizations of causality and of the method of comparative statics, long used in econometrics, thermodynamics and other domains, can be applied to clarify and make rigorous the qualitative causal calculus recently proposed by de Kleer and Brown [2]. The formalization shows exactly what assumptions are required to carry out causal analysis of a system of interdependent variables in equilibrium and to propagate disturbances through such a system. The intuitive concepts of causality captured by de Kleer and Brown provide a rough approximation to the standard analytic techniques that are used in the treatment of simultaneous algebraic and differential equations.