Re: AI and Logic: Induction, Deduction, Abduction (was Re: Penrose)

Damien Broderick (
Thu, 13 Nov 1997 12:16:33 +0000

At 11:13 AM 11/12/97 -0500, Wayne Hayes <> wrote:

a nice post, including:

>The process of taking
>a set of universal laws like A, A', etc, and a single observation like C,
>and creating a hyothesis like B or B' has been dubbed "abduction", with
>the root "abduce", by the AI people.

Just to be fair, the logic of abduction (or `retroduction') is not a recent
development by AI theorists. It was discussed extensively by Charles
Sanders Peirce (pron. `purse'), the great American pragmatist and
semiologist, at the end of the 19th and start of the 20th centuries.

Damien Broderick