logic The process of
inference to the best explanation.
"Abduction" is sometimes used to mean just the generation of
hypotheses to explain observations or conclusionsm, but the
former definition is more common both in philosophy and
computing.
The
semantics and the implementation of abduction cannot be
reduced to those for
deduction, as explanation cannot be
reduced to implication.
Applications include fault diagnosis, plan formation and
an abductive interpretation and also can be used to implement
abduction. The abductive semantics of negation as failure
of default reasoning in general.
[Better explanation? Example?]
["Abductive Inference", John R. Josephson
(2000-12-07)