Buscar
Mostrando ítems 1-3 de 3
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 ...
Artículo
Razonamiento explicativo y evolución de lógicas: Una aproximación desde la semántica de mundos posibles
(Universidad de Málaga, 2013)
Realizamos un acercamiento al razonamiento explicativo mediante estructuras modales. Usamos el formalismo bien conocido de los marcos de Kripke, pero asociamos a cada mundo, no una interpretación, sino una lógica. De este ...
Ponencia
Abducción y semántica de teoría de juegos
(Universidade de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)
An agency-inspired inferential game is proposed in which two agents (abductive and deductive) interact. It depicts hybrid inferencial contexts where deductive and abductive steps are mixed. The abductive agent can use ...