Another posts

cookie shine snuff mull careens in a sentence another word for atrocities sarrazin definition retrovirus examples ligamentous definition compliable definition pan broiling definition what does satine mean dame schools definition dickery definition ize definition thack definition sorcerous definition necrologist definition fubsy definition trilithon definition stereotomy is the art of formicidae definition flippant tone define prater snuffed out definition moldboard plow definition what does miserliness mean lee beam sea chest definition free trader definition aperitive definition hump mold definition roasting ears will o wisp meaning

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