Inference Techniques for Diagnosis Based on Set Operations