abductive reasoning

A Mastermind player uses abduction to infer the secret peg colors (bottom) from summaries (smaller pegs, right) of discrepancies in their guesses (large pegs, top). Abductive reasoning (also called abduction, abductive inference, or retroduction) is a form of logical inference that seeks the simplest and most likely conclusion from a set of observations. It was formulated and advanced by the American philosopher and logician Charles Sanders Peirce beginning in the latter half of the 19th century.

Abductive reasoning, unlike deductive reasoning, yields a plausible conclusion but does not definitively verify it. Abductive conclusions do not eliminate uncertainty or doubt, which is expressed in terms such as "best available" or "most likely". While inductive reasoning draws general conclusions that apply to many situations, abductive conclusions are confined to the particular observations in question.