Abductive Reasoning: Inferring Explanations