<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Verhoeven, Liza</style></author><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author><author><style face="normal" font="default" size="100%">Provijn, Dagmar</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction</style></title><secondary-title><style face="normal" font="default" size="100%">Logical and Computational Aspects of Model-Based Reasoning</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer Academic</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">39–71</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;br /&gt; We present two new adaptive logics for abduction, &lt;strong&gt;CP1&lt;/strong&gt; and &lt;strong&gt;CP2&lt;/strong&gt;. &lt;strong&gt;CP1&lt;/strong&gt; enables one to generate explanations for novel facts from a consistent theory. &lt;strong&gt;CP2&lt;/strong&gt; 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 &lt;strong&gt;CP1&lt;/strong&gt; and &lt;strong&gt;CP2&lt;/strong&gt; that are better suited for non-creative forms of abductive reasoning and for practical reasoning.&lt;/p&gt;</style></abstract></record></records></xml>