IDA is a new architecture that combines data analysis and operator model creation and simulation. It enables the development of operator models by finding causality patterns in recorded machine operation data. A new symbolic constraints based reasoning system is used to accurately and robustly segment data. These segments can then be used to discover an operator strategy expressed as hierarchical set of Tasks.