Buscar
Mostrando ítems 1-9 de 9
Artículo
Abducción en modelos finitos
(Universidad Nacional Autónoma de México, 2008)
Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante ...
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 ...
Artículo
Constructing inferential contexts
(Universidade Estadual de Campinas, Centro de Logica Epistemologia e Historia da Ciencia, 2008)
Ponencia
Abducción y tablas semánticas: algunas extensiones
(Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004)
Ponencia
Abducción y razonamiento por defecto
(Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004)
Artículo
Metamodeling abduction
(Universidad del País Vasco, 2007)
Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, ...
Tesis Doctoral
Modelos formales de explicación en Lógica e inteligencia artificial
(2005)
La abducción es el tipo de razonamiento en que, dada una teoría T (habitualmente un conjunto de fórmulas del lenguaje con el que se trabaje) y una observación O (generalmente una fórmula), tales que ni O ni su negación son ...
Ponencia
Cálculo de δ-resolución proposicional
(Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004)