Título del proyecto.
Sistema formal de la abducción con lógica de justificaciones
Descripción
El objetivo de nuestro trabajo es estudiar, bajo un enfoque sintáctico, el rol que tienen los conceptos de justificación y evidencia para la construcción de soluciones abductivas (SAs) a problemas abductivos (PAs). En concreto, caracterizamos el razonamiento abductivo como un proceso inferencial en el que se construye evidencia para justificar piezas de información, y proponemos una clasificación de PAs y SAs, dependiendo del tipo de evidencia en juego. Para lograrlo, modelamos el razonamiento abductivo con la lógica de justificaciones. La lógica de justificaciones es un sistema proposicional extendido con un conjunto de etiquetas llamadas términos de justificación, que representan piezas de evidencia para fórmulas. Formalmente, si t es un término y φ una fórmula, entonces t: φ también es una fórmula.
Palabras clave: justificación, evidencia, solución abductiva, problema abductivo, término.
