Biblioteca de la Universidad Complutense de Madrid

Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa

Impacto



Vado Vírseda, Rafael del (2009) Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa. [Tesis Doctoral]

[img]
Vista previa
PDF
4MB


Resumen

En este trabajo consideramos dos tipos de errores susceptibles de ser tratados mediante nuestro método de depuración declarativa. En primer lugar, se consideran aquellas respuestas que han sido obtenidas de manera inesperada para un objetivo determinado (respuestas incorrectas). Para este primer caso, proponemos un cálculo de prueba positivo desarrollado a partir de CRWL(D), mediante el que es posible definir los árboles de cómputo como árboles de derivación lógica. En segundo lugar, se considera como un posible error aquel en el que en el conjunto de todas las respuestas obtenidas para un mismo objetivo falte alguna respuesta esperada (respuestas perdidas). En este segundo caso, proponemos otro cálculo denominado cálculo de prueba negativo, en el cual las derivaciones lógicas formalizan la recolección de respuestas computadas y sirven para definir árboles de cómputo aplicables a la diagnosis de respuestas perdidas. Demostramos la corrección lógica de los métodos de diagnosis propuestos, tanto para respuestas incorrectas como para respuestas perdidas, en relación a los sistemas de resolución de objetivos presentados. Finalmente, proponemos la implementación en el sistema TOY de dos posibles herramientas basadas en los métodos de depuración descritos.


Tipo de documento:Tesis Doctoral
Información Adicional:

Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Computación, leída el 08-01-2009

Directores (o tutores):
NombreEmail del director (o tutor)
Rodríguez Artalejo, Mario
Palabras clave:Programación lógica, Programación funcional, Programación lógico-funcional
Materias:Ciencias > Informática > Programación de ordenadores
Código ID:8785
Depositado:27 Abr 2009 10:54
Última Modificación:06 Feb 2014 08:14

Sólo personal del repositorio: página de control del artículo