Especialidades

Computación
Ing. de Computadores
Ing. del Software
Tecnologías de la Información

Tutor

MORENO VALVERDE, GINES DAMIAN
PENABAD VAZQUEZ, JAIME

Descripción y Objetivos

FLOPER es un entorno de programación lógica difusa que ha sido desarrollado en la UCLM a partir de cuatro proyectos fin de carrera que preceden al que proponemos ahora. La  herramienta es capaz de ejecutar y depurar programas difusos (mediante un pre-proceso de los mismos que los traduce a  código Prolog estándar) sobre el conocido entorno Sicstus-Prolog. Además, incorpora un entorno gráfico escrito en Java  que permite interactuar con el sistema de forma ágil y  flexible. El presente proyecto se centrará en la inclusión dentro del prototipo de recursos que faciliten las tareas de  programación para aquellos usuarios que estén especialmente  familiarizados con el lenguaje Prolog: formatos predefinidos de  listas, operadores de corte, etc. Además se avanzará en la  inclusión de técnicas de verificación de propiedades con fuerte sabor "fuzzy" (agregadores, conjunciones, adjunción), al  tiempo que se extiende la interfaz gráfica para darles acceso de la forma más natural posible.

Metodología y Competencias

Conocimientos de programación en Prolog. Haber cursado las asignaturas de Lógica y Programación Declarativa.

Medios a utilizar

Hardware: PC. Software: Compiladores de Prolog y Java. El material se encuentra disponible en la ESII de Albacete.

Bibliografía

Asignación

El Trabajo Fin de Grado ha sido a asignado a Don/Doña CARLOS VÁZQUEZ PEREZ-IÑIGO