Tamaño de fuente:
Dos tradiciones en la lógica por defecto
Última modificación: 12-08-2014
Resumen
La consecuencia lógica de la versión original de la lógica por defecto (Reiter 1980) no cumple con monotonía cautelosa. Diversas adaptaciones se presentaron para solucionar ese problema y mantener las ventajas de aquel sistema. Inicialmente se modificó el concepto de extensión imponiendo restricciones sobre la regla por defecto. Luego, se reparó en el proceso de manipulación de los conflictos entre reglas derrotables. Dos nuevas versiones surgieron teniendo presente ese tipo de conflicto y admitiendo una interpretación no clásica de la lógica por defecto: una trivalente e intuicionista (Antonelli 2005), otra tetravalente y relevante (Bochman 2005). Comparo esas dos nuevas versiones y muestro sus ventajas.
Palabras clave
lógica por defecto; razonamiento no monotónico; lógica clásica; lógica intuicionista; lógica relevante