RESUMEN
El objetivo del proyecto es el estudio e implementación de sistemas de
representación de conocimiento y de procesamientos de inferencia
aplicables en el razonamiento científico. Específicamente, se busca la
aplicación de los modelos de razonamiento revisable y ampliativo como
modelo de ciertas reconstrucciones del método científico basadas en el
paradigma hipotético-deductivo. Para ello, se busca desarrollar un
sistema formal que permita representar conocimiento lógico, reglas
derrotables y patrones de inferencia ampliativos (inducción,
abducción, razonamiento no monotónico), encontrar sus propiedades
metateóricas y luego aplicarlo al dominio elegido.