Abduction (logic)
Abduction is logical inference which goes from an observation to a theory which accounts for the observation. It makes the simplest and most likely explanation. In abductive reasoning, unlike in deductive reasoning, the premises do not guarantee the conclusion. Abductive reasoning is "inference to the best explanation".