Programas lógicos como bases de creencias y su revisión

Claudio Alejandro Vaucheret.

1999.

xiii, 176 págs. : ilustraciones ; 30 cm.

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

Director de tesis: Guillermo R. Simari.

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

Resumen: Esta tesis es el resultado de la investigación desarrollada bajo la dirección del Dr. Guillermo R. Simari durante la ejecución del plan de trabajo para obtener el título de Magister en Ciencias de la Computación en el Departamento de Graduados de la Universidad Nacional del Sur, Bahía Blanca El objetivo principal de esta tesis es la presentación de una aproximación al debugging altamente automatizado de programas lógicos, es decir con una mínima interacción con el programador, basado en la relación existente entre el proceso de debugging de programas lógicos y los sistemas lógicos capacitados para modelar el cambio o la dinámica de las creencias. Un programa lógico puede ser pensado como una teoría lógica cuyo medelo describe el funcionamiento de un programa. El modelo pretendido por el programador puede diferir del modelo real, así el objetivo del debugging es extraer esos axiomas de la teoría que tienen la responsabilidad de la discrepancia. Considerado un programa como una teoría lógica, este proceso es una operación de cambio de creencias. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral:Sobresaliente - 10(diez) Fecha: 14/5/99

Incluye referencias bibliográficas.