Abductive inference in defeasible reasoning: a model for research programmes Export

@article{citeulike:3569, abstract = {Abduction is regarded as the inference process that goes from observations to explanations within a more general context or theoretical framework. There are good characterizations of abduction of surprising observations in monotonic theories. Also, in normal logic programs there are a tight relation among SLDNF and the abduction of negative literals. However, a problem that faces abduction is the explanation of anomalous observations, i.e., observations that are contradictory with respect to the current theory. For this reason, in this work we will consider the problem of embedding abduction of surprising and anomalous observations in defeasible (nonmonotonic) theories. We discuss some issues arising the pragmatic acceptance of abductive inferences in defeasible theories, and how to accommodate anomalous observations and characterize all the possible outcomes that a defeasible theory may face when confronted with new evidence. We explore the use of partial structures approach as a semantic foundation for our system. Finally, we discuss an application of our system as a formal device for representing the methodology of scientific research programmes. In this representation, a programme is regarded as a defeasible theory that draws predictions. When confronted with surprising or anomalous observations, the programme protects itself by means of heuristic procedures, which are represented in our system as abductive inference procedures.}, author = {Delrieux, Claudio}, citeulike-article-id = {3569}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.jal.2004.07.003}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B758H-4D4D29P-1/2/559dda757ef4e2c7411e0ed18c9964b8}, doi = {10.1016/j.jal.2004.07.003}, journal = {Journal of Applied Logic}, keywords = {abductive-inference, research}, month = {December}, number = {4}, pages = {409--437}, posted-at = {2007-11-28 13:28:13}, priority = {2}, title = {Abductive inference in defeasible reasoning: a model for research programmes}, url = {http://dx.doi.org/10.1016/j.jal.2004.07.003}, volume = {2}, year = {2004} }

TY - JOUR ID - citeulike:3569 L3 - citeulike-article-id:3569 N2 - Abduction is regarded as the inference process that goes from observations to explanations within a more general context or theoretical framework. There are good characterizations of abduction of surprising observations in monotonic theories. Also, in normal logic programs there are a tight relation among SLDNF and the abduction of negative literals. However, a problem that faces abduction is the explanation of anomalous observations, i.e., observations that are contradictory with respect to the current theory. For this reason, in this work we will consider the problem of embedding abduction of surprising and anomalous observations in defeasible (nonmonotonic) theories. We discuss some issues arising the pragmatic acceptance of abductive inferences in defeasible theories, and how to accommodate anomalous observations and characterize all the possible outcomes that a defeasible theory may face when confronted with new evidence. We explore the use of partial structures approach as a semantic foundation for our system. Finally, we discuss an application of our system as a formal device for representing the methodology of scientific research programmes. In this representation, a programme is regarded as a defeasible theory that draws predictions. When confronted with surprising or anomalous observations, the programme protects itself by means of heuristic procedures, which are represented in our system as abductive inference procedures. IS - 4 JF - Journal of Applied Logic EP - 437 TI - Abductive inference in defeasible reasoning: a model for research programmes VL - 2 SP - 409 KW - abductive-inference KW - research AU - Delrieux, Claudio PY - 2004/12// UR - http://dx.doi.org/10.1016/j.jal.2004.07.003 ER -