Acceso a Webmail

Complejo Tecnológico, Campus de Teatinos 29071 Málaga. (España) Teléfono: +34 952133371 Fax: +34 952131397

Datos del PFC [Volver]

Titulación
X
Título
Implementación de Algoritmos de Distribución de Recursos para la Lógica Lineal
Autor
Angeles Bocanegra Rueda
Directores
López Olivas, Pablo
Requisitos
Conocimientos de Prolog y lógica formal. Disponibilidad. Buen expediente académico.
Descripción
La lógica lineal es una extensión de la lógica clásica. La diferencia fundamental entre ambas consiste en que, en lógica clásica, una fórmula puede emplearse tantas veces como sea necesario a lo largo de una demostración, mientras que en la lógica lineal las fórmulas deben emplearse exactamente una vez. Esto permite emplear las fórmulas de la lógica lineal para modelar el concepto de recurso finito, tan habitual en la Informática. Uno de los inconvenientes de la lógica lineal, desde el punto de vista de las aplicaciones prácticas, es que la construcción de demostraciones presenta un elevado grado de indeterminismo, por lo que los algoritmos de fuerza bruta (similares a la búsqueda exhaustiva tipo Prolog) resultan completamente inadecuados. Para paliar este defecto se han desarrollado algoritmos de demostración específicos: los algoritmos de distribución de recursos. El objetivo del proyecto consiste en estudiar e implementar -en Prolog- algunos de los algoritmos más conocidos.
Otros
-
Fecha
14/01/03
Fecha lectura
-
Url
-
Documento
-