A Theory of Diagnosis for Incomplete Causal Models