El problema de la inferencia en sistemas argumentativos : alternativas para su solución

Carlos Iván Chesñevar.

1996.

xx, 210 págs. : ilustraciones ; 30 cm.

Director de tesis: Guillermo R. Simari.

"Tesis de Magíster en Ciencias de la Computación".

Tesis (magíster)--Universidad Nacional del Sur. Departamento de Ciencias de la Computación, 1997.

Resumen: El objetivo principal de esta Tesis es estudiar el problema de la inferencia en los sistemas argumentativos, los que constituyen una formalización del razonamiento rebatible en el área de la Inteligencia Artificial (IA). Las implementaciones de sistemas argumentativos actualmente existentes hacen uso de búsqueda exhaustiva para resolver una consulta a partir de la información presente en su base de conocimiento. En esta Tesis se presentan acercamientos que permiten obtener un modelo más acabado del razonamiento por medio de argumentos, introduciendo elementos que guían la formación de éstos al realizar inferencias. Los resultados obtenidos se orientan hacia una mejora de la eficiencia computacional de las máquinas de inferencia argumentativas desarrolladas actualmente, y brindan una conexión a otras áreas tales como la Programación en Lógica, Sistemas de Apoyo a la Decisión y Bases de Datos. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral: Sobresaliente - 10 (diez) Fecha: 19/12/96

Incluye referencias bibliográficas.