Chapter of Book
Abductive reasoning through δ-resolution
Alternative title | Abductive reasoning through delta-resolution |
Author/s | Soler Toscano, Fernando |
Editor | Béziau, Jean Yves
Costa-Leite, Alexandre |
Department | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia |
Publication Date | 2009 |
Deposit Date | 2018-06-04 |
Published in |
|
ISBN/ISSN | ISBN: 978-85-86497-05-6 |
Abstract | In order to explore the duality between deductive and abductive reasoning, we present a propositional calculus, named δ-resolution, dual to the resolution one. We say it is an abductive calculus because every formula ... In order to explore the duality between deductive and abductive reasoning, we present a propositional calculus, named δ-resolution, dual to the resolution one. We say it is an abductive calculus because every formula we obtain is not a logical consequence of the premises, but an hypothesis of them. Within this calculus we define an abductive process which produces, for a given abductive problem, every minimal abductive hypothesis. |
Citation | Soler Toscano, F. (2009). Abductive reasoning through δ-resolution. En J.Y. Béziau, A. Costa-Leite (Ed.), Dimensions of logical concepts (pp. 347-356). Campinas (Brasil): Unicamp. Centro de Lógica, Epistemologia e História da Ciência (CLE) |
Files | Size | Format | View | Description |
---|---|---|---|---|
Abductive Reasoning Through.pdf | 169.5Kb | [PDF] | View/ | |