Inferences are steps in logical reasoning, moving from premises to logical consequences. Inference is traditionally divided into deduction and induction, a distinction that dates at least to Aristotle (300s BC). A third type of inference, abduction,