Incorporando razonamiento plausible en los sistemas de razonamiento revisable

Claudio Augusto Delrieux.

1995.

221 págs. : ilustraciones ; 29,5 cm..

Tesis--Universidad Nacional del Sur, 1995.

Resumen: El razonamiento revisable intenta construir sistemas con la capacidad de incorporar conocimiento tentativo, con el fin de utilizarlo para edificar líneas de razonamiento que permitan extraer conclusiones que por la vía deductiva no son alcanzables. La característica más importante de dichos sistemas es que las conclusiones obtenidas pueden ser rebatidas al agregar nuevo conocimiento tentativo. Existe, sin embargo, la necesidad de establecer una distinción en el comportamiento que deben tener las premisas tentativas por suposición, y a las premisas revisables como por ejemplo las reglas revisables. Cuando dos líneas de razonamiento basadas en reglas revisables diferentes entablan un conflicto, es posible adoptar un criterio que permita establecer en qué condiciones una línea es preferible a la otra. Este criterio puede fundamentarse en la estructura interna de cada pieza de razonamiento. En el caso de suposiciones, este análisis no es posible, por lo cual el criterio de derrota debe fundamentarse en cuestiones externas al sistema. Los sistemas de razonamiento no monotónico propuestos en la actualidad uniformemente deben basar su razonamiento en premisas consistentes. Esto claramente es una restricción muy fuerte, equivalente a dar al fundamento de las líneas de razonamiento el status de verdades lógicas. Esto limita las aplicaciones de los sistemas de razonamiento no monotónico a aquellos casos en los cuales es posible informarlos sólo de aquello que es verdadero. Sin embargo, un agente razonador con sentido común puede tener premisas contradictorias -tal vez por estar mal informado- pero no por ello sus capacidades de razonamiento deberían suspenderse. Por el contrario, el comportamiento racional es ubicar y eliminar la contradicción. En este trabajo se presenta una solución a esta limitación de los sistemas de razonamiento no monotónico, basada en el razonamiento plausible de Rescher [144]. Se desarrolla un modelo de razonamiento plausible que diverge en algunos puntos importantes con el presentado por Rescher. Luego se estudia el impacto que el modelo de razonamiento plausible tiene en algunos de los sistemas de razonamiento no monotónico más conocidos, como la lógica Default de Reiter [137], la lógica autoepistémica de Moore [105] y el sistema de argumentos MTDR de Simari y Loui [167]. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral: 10 (diez) Sobresaliente Fecha: 6/10/95

Incluye referencias bibliográficas.