A Logical Approach to Deal with Incomplete Causal Models in Diagnostic Problem Solving