Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication in EndNote Format

%0 Report %@ 505 %A Konolige, Kurt %T Abduction Vs. Closure In Causal Theories %C 333 Ravenswood Ave., Menlo Park, CA 94025 %I AI Center, SRI International %D 1991 %K Reasoning!Abduction!vs Closure %X There are two distinct formalizations for reasoning from observations to explanations, as in diagnostic tasks. The consistency based approach treats the task as a deductive one, in which the explanation is deduced from a background theory and a minimal set of abnormalities. In the other treatment, based on abduction, the explanations are considered to be sentences that, when added to the background theory, account for the observations. We show that there is a close connection between these two formalizations. Starting with a causal theory, explanations can be generated either by abductive reasoning, or by adding closure axioms and minimizing causation within a deductive framework. The latter method is strictly stronger than the former, but requires full knowledge of causation in a domain. %U http://www.ai.sri.com/pubs/files/469.pdf

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy