Another posts

german round dance resembling a slow polka grievable definition public coffer auditory canal definition pneumatic caisson what are metal salts pipe wrench definition ingrateful or ungrateful define stone cold tink and tank rabboni definition out of the woods idiom civic leaders definition heroic poetry definition gathered skirt definition ence definition white livered sago spleen concolor definition frederick william the great elector definition thralldom definition truant schoolboy jury box definition unshriven definition the daily life of the mongols resembled that of speaks volume postexilic definition count on definition couch lance postmature definition



  • 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
    • ***


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.


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.
Note that has position(i,j) has no definition therefore it should be declared an open predicate by the declaration abducible(has_position(_,_)).
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