Capítulo de Libro
Abductive reasoning through δ-resolution
Título alternativo | Abductive reasoning through delta-resolution |
Autor/es | Soler Toscano, Fernando |
Coordinador/Director | Béziau, Jean Yves
Costa-Leite, Alexandre |
Departamento | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia |
Fecha de publicación | 2009 |
Fecha de depósito | 2018-06-04 |
Publicado en |
|
ISBN/ISSN | ISBN: 978-85-86497-05-6 |
Resumen | 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. |
Cita | 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) |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Abductive Reasoning Through.pdf | 169.5Kb | [PDF] | Ver/ | |