An architecture for diagnostic reasoning based on causal models