Another posts

subhepatic definition thermology definition clines examples whisp definition semi formed zill definition subtilty definition define enclasp saddle oyster cephalotripsy definition bohun upas bedlam used in a sentence personality inventories definition hand barrow action is eloquence meaning odomtology definition residuous definition define scrutinous phenergan definition undisposed definition intercommunity definition crows bait telephonically definition lask definition screw valve gae definition to great extent yeld definition what does following suit mean fair hand electrostatic precipitation definition guggenheim definition

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