%0 Generic %D 2002 %T Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction %A Meheus, Joke %A Verhoeven, Liza %A Van Dyck, Maarten %A Provijn, Dagmar %X

In this paper, we propose a reconstruction of logic-based approaches to abductive reasoning in terms of ampliative adaptive logics. The advantages of this reconstruction are important: the resulting logics have a proper theory (that leads to justified conclusions even for undecidable fragments), they nicely integrate deductive and abductive steps, and they are much closer to natural reasoning than the existing systems.
We present two new adaptive logics for abduction, CP1 and CP2. CP1 enables one to generate explanations for novel facts from a consistent theory. CP2 moreover enables one to abduce explanatory hypotheses for novel facts and for anomalous facts from a possibly inconsistent theory. We illustrate both logics with some examples from the history of the sciences (the discovery of Uranus and of Neptune), and present some alternatives to CP1 and CP2 that are better suited for non-creative forms of abductive reasoning and for practical reasoning.

%B Logical and Computational Aspects of Model-Based Reasoning %I Kluwer Academic %C Dordrecht %P 39–71 %G eng