Razonamiento rebatible por casos

Abstract

Este trabajo constituye un estudio de las dificultades de la incorporación de información disyuntiva en un sistema conteniendo reglas rebatibles. Se presenta una ampliación del sistema MTDR a fin de aumentar la capacidad de éste, permitiendo el razonamiento por casos mediante argumentos. En un artículo anterior ([BS95]) se brindaba una aproximación al problema introduciendo una relación de inferencia rebatible que incluía la prueba por casos. Tal solución presenta limitaciones en determinados contextos. Este es un enfoque alternativo que da cuenta de esos problemas. La solución aquí viene dada por la definición de nuevos tipos de argumentos especiales para el manejo adecuado de información disyuntiva.