Advanced search
1 file | 290.78 KB Add to list

Ampliative adaptive logics and the foundation of logic-based approaches to abduction

(2002) APPLIED LOGIC SERIES. 25. p.39-71
Author
Organization
Abstract
In this paper, we propose a reconstruction of logic-based approaches to abductive reasoning in terms of ampliative adaptive logics. A main advantage of this reconstruction is that the resulting logics have a proof theory. As abductive reasoning is non-monotonic, the latter is necessarily dynamic (conclusions derived at some stage may at a later stage be rejected). The proof theory warrants, however, that the conclusions derived at a given stage are justified in view of the insight in the premises at that stage. Thus, it even leads to justified conclusions for undecidable fragments. Another advantage of the proposed logics is that they are much closer to natural reasoning than the existing systems. Usually, abduction is viewed as a form of "backward reasoning". The search procedure by which this is realized (for instance, some form of linear linear resolution) is very different from the search procedures of human reasoners. The proposed logics treat abduction as a form of "forward reasoning" (Modus Ponens in the "wrong direction"). As a result, abductive steps are very natural, and are moreover nicely integrated with deductive steps. We present two new adaptive logics for abduction, and illustrate both with some examples from the history of the sciences (the discovery of Uranus and of Neptune). We also present some alternative systems that are better suited for non-creative forms of abductive reasoning.

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 290.78 KB

Citation

Please use this url to cite or link to this publication:

MLA
Meheus, Joke, et al. “Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction.” APPLIED LOGIC SERIES, edited by L Magnani et al., vol. 25, Springer, 2002, pp. 39–71.
APA
Meheus, J., Verhoeven, L., Van Dyck, M., & Provijn, D. (2002). Ampliative adaptive logics and the foundation of logic-based approaches to abduction. In L. Magnani, N. Nersessian, & C. Pizzi (Eds.), APPLIED LOGIC SERIES (Vol. 25, pp. 39–71). Dordrecht, The Netherlands: Springer.
Chicago author-date
Meheus, Joke, Liza Verhoeven, Maarten Van Dyck, and Dagmar Provijn. 2002. “Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction.” In APPLIED LOGIC SERIES, edited by L Magnani, NJ Nersessian, and C Pizzi, 25:39–71. Dordrecht, The Netherlands: Springer.
Chicago author-date (all authors)
Meheus, Joke, Liza Verhoeven, Maarten Van Dyck, and Dagmar Provijn. 2002. “Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction.” In APPLIED LOGIC SERIES, ed by. L Magnani, NJ Nersessian, and C Pizzi, 25:39–71. Dordrecht, The Netherlands: Springer.
Vancouver
1.
Meheus J, Verhoeven L, Van Dyck M, Provijn D. Ampliative adaptive logics and the foundation of logic-based approaches to abduction. In: Magnani L, Nersessian N, Pizzi C, editors. APPLIED LOGIC SERIES. Dordrecht, The Netherlands: Springer; 2002. p. 39–71.
IEEE
[1]
J. Meheus, L. Verhoeven, M. Van Dyck, and D. Provijn, “Ampliative adaptive logics and the foundation of logic-based approaches to abduction,” in APPLIED LOGIC SERIES, Pavia, Italy, 2002, vol. 25, pp. 39–71.
@inproceedings{402964,
  abstract     = {{In this paper, we propose a reconstruction of logic-based approaches to abductive reasoning in terms of ampliative adaptive logics. A main advantage of this reconstruction is that the resulting logics have a proof theory. As abductive reasoning is non-monotonic, the latter is necessarily dynamic (conclusions derived at some stage may at a later stage be rejected). The proof theory warrants, however, that the conclusions derived at a given stage are justified in view of the insight in the premises at that stage. Thus, it even leads to justified conclusions for undecidable fragments. Another advantage of the proposed logics is that they are much closer to natural reasoning than the existing systems. Usually, abduction is viewed as a form of "backward reasoning". The search procedure by which this is realized (for instance, some form of linear linear resolution) is very different from the search procedures of human reasoners. The proposed logics treat abduction as a form of "forward reasoning" (Modus Ponens in the "wrong direction"). As a result, abductive steps are very natural, and are moreover nicely integrated with deductive steps. We present two new adaptive logics for abduction, and illustrate both with some examples from the history of the sciences (the discovery of Uranus and of Neptune). We also present some alternative systems that are better suited for non-creative forms of abductive reasoning.}},
  author       = {{Meheus, Joke and Verhoeven, Liza and Van Dyck, Maarten and Provijn, Dagmar}},
  booktitle    = {{APPLIED LOGIC SERIES}},
  editor       = {{Magnani, L and Nersessian, NJ and Pizzi, C}},
  isbn         = {{1402007124}},
  language     = {{eng}},
  location     = {{Pavia, Italy}},
  pages        = {{39--71}},
  publisher    = {{Springer}},
  title        = {{Ampliative adaptive logics and the foundation of logic-based approaches to abduction}},
  volume       = {{25}},
  year         = {{2002}},
}

Web of Science
Times cited: