KSL-00-04 + redirect page
A Compositional Approach to Causality + Has identifier
A Compositional Approach to Causality + Ksl tr id
| A Compositional Approach to Causality |
Bibtype
inproceedings
Has publishing details
2000
Has title
A Compositional Approach to Causality
Has where published
Proceedings of the Fourth International Symposium on Abstraction, Reformulation and Approximation (SARA2000)
Has year
2000
Title
A Compositional Approach to Causality
Year
2000
Abstract
Inferring causality from equation models c … Inferring causality from equation models characterizing engineering domains is important towards predicting and diagnosing system behavior. Most previous attempts in this direction have failed to recognize the key differences between equations which model physical phenomena and those that just express rationality or numerical conveniences of the designer. These different types of equations bear different causal implications among the model parameters they relate. We show how unstructured and ad hoc formulations of equation models for apparent numerical conveniences are lossy in the causal information encoding and justify the use of CML as a model formulation paradigm which retains these causal structures among model parameters by clearly separating equations corresponding to phenomena and rationality. We provide an algorithm to infer causality from the active model fragments by using the notion of PreCondition graphs. y using the notion of PreCondition graphs.
Address
Austin, Texas +
Author
T. K. Satish Kumar +
Booktitle
Proceedings of the Fourth International Symposium on Abstraction, Reformulation and Approximation (SARA2000) +
Has author
T. K. Satish Kumar +
Has identifier
A Compositional Approach to Causality +
Ksl tr id
A Compositional Approach to Causality +
Process note
NO +
Categories InProceedings +, KSL Technical Report +, Publication +
|
