@incollection {JLMDa:abd, title = {Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction}, booktitle = {Logical and Computational Aspects of Model-Based Reasoning}, year = {2002}, pages = {39{\textendash}71}, publisher = {Kluwer Academic}, address = {Dordrecht}, abstract = {

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.

}, author = {Meheus, Joke and Verhoeven, Liza and Van Dyck, Maarten and Provijn, Dagmar} } @article {291776, title = {All premises are equal, but some are more equal than others.}, journal = {Logique et Analyse}, volume = {44}, number = {173-175}, year = {2001}, pages = {165{\textendash}188}, abstract = {

This paper proposes two adaptive approaches to inconsistent prioritized belief bases. Both approaches rely on a selection mechanism, that is not applied to the premises as they stand, but to the consequence sets of the belief levels. One is based on classical compatibility, the other on the modal logic T of Feys. For both approaches the two main strategies of inconsistency adaptive logics are formulated: the reliability strategy and the minimal abnormality strategy. All four systems are compared and found useful.

}, issn = {0024-5836}, author = {Verhoeven, Liza} }