abduce

Definitions

  • WordNet 3.6
    • v abduce advance evidence for
    • ***
Webster's Revised Unabridged Dictionary
    • v. t Abduce To draw or conduct away; to withdraw; to draw to a different part. "If we abduce the eye unto either corner, the object will not duplicate."
    • ***
Century Dictionary and Cyclopedia
    • abduce To draw or lead away by persuasion or argument.
    • abduce To lead away or carry off by improper means; abduct.
    • abduce To draw away or aside, as by the action of an abductor muscle.
    • ***
Chambers's Twentieth Century Dictionary
    • v.t Abduce ab-dūs′ an earlier form of Abduct
    • ***

Etymology

Webster's Revised Unabridged Dictionary
L. abducere, to lead away; ab, + ducere, to lead. See Duke, and cf. Abduct
Chambers's Twentieth Century Dictionary
L. abducĕreab, from ducĕre, ductum, to draw.

Usage


In science:

An abductive logic framework, consisting of a set of abducible predicates, a set of rules and a set of FOL constraints can be embedded in ID-logic as the theory consisting of the FOL constraints and one definition defining all non-abducible predicates.
SLDNFA-system
Note that has position(i,j) has no definition therefore it should be declared an open predicate by the declaration abducible(has_position(_,_)).
SLDNFA-system
Agent reasoning is specified by abductive logic programs con sisting of a set of clauses Head :- Body, where Head is an atom and Body is a conjunction of literals (atoms and negation of atoms), plus a set of abducible predicates and a set of integrity constraints.
Logic-Based Specification Languages for Intelligent Software Agents
It can be thought of as a form of hypothetical reasoning: to ask what can be abduced from an observation α is to ask for an explanation, which in conjunction with the given background knowledge accounts for α.
Complexity of Non-Monotonic Logics
***