Buscar
Mostrando ítems 1-4 de 4
Capítulo de Libro
Abductive reasoning through δ-resolution
(Unicamp. Centro de Lógica, Epistemologia e História da Ciência (CLE), 2009)
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 ...
Capítulo de Libro
Deducción y generación de modelos de cardinalidad finita
(Ediciones de la Universidad de Castilla la Mancha, 2006)
Presentamos un procedimiento de tablas semánticas distinto de las estándar en el tratamiento dado a las sentencias de la clase δ, proponiendo modificaciones de esta regla que eviten la generación de ramas infinitas. Las ...
Capítulo de Libro
Consistencia y relevancia en el razonamiento abductivo
(Fénix Editora, 2010)
Capítulo de Libro
Resolución abductiva de anáforas pronominales
(Fénix Editora; Universidad de Sevilla, 2010)