By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


Abduction




<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 default reasoning.

Negation as failure in logic programming can both be given an abductive interpretation and also can be used to implement abduction.

The abductive semantics of negation as failure leads naturally to an argumentation-theoretic interpretation of default reasoning in general.

[Better explanation?

Example?]

["Abductive Inference", John R. Josephson <jj@cis.ohio-state.edu>].



< Previous Terms Terms Containing abduction Next Terms >
ABC ALGOL
ABCL/1
ABCL/c+
ABCL/R
ABCL/R2
abduction
ABEND
ABI
ABLE
ABM
ABNF


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions