Abductive reasoning (also called
abduction,
abductive inference or
retroduction) is a form of
logical inference which goes from an observation to a
theory which accounts for the observation, ideally seeking to find the simplest and most likely explanation. In abductive reasoning, unlike in
deductive reasoning, the premises do not guarantee the conclusion. One can understand abductive reasoning as "inference to the best explanation".