Inferencia Ampliativa y Sistemas de Razonamiento Revisable

En este trabajo proponemos un enfoque unificador entre la inferencia ampliativa (no deductiva) y el razonamiento revisable. De todos los posibles patrones de inferencia ampliativa, nos concentramos en particular en la abducción, dado que es considerado el más importante para la construcción o descubrimiento de conocimiento. Se estudian los criterios de inter-derrota y se encontraron condiciones suficientes para garantizar que un sistema de razonamiento revisable puede generar abductivamente en forma estable explicaciones para observaciones no predichas. También se estudiaron los criterios para poder acomodar observaciones contradictorias con las predicciones. Los resultados obtenidos para la abducción en sistemas de razonamiento revisable pueden generalizarse a los demás mecanismos de inferencia ampliativa, tema que es desarrollado para la inducción y la analogía. Por último, mostramos cómo es posible reconstruir con nuestro sistema a la epistemología de los programas de investigación científica de Lakatos.