Especialidades

Computación

Tutor

MORENO VALVERDE, GINES DAMIAN
VAZQUEZ PEREZ-IÑIGO, CARLOS

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. Sin embargo, no dispone todavía de técnicas  avanzadas para la optimización de programas como las  basadas en desplegado difuso que ya han alcanzado un alto  nivel de madurez en su diseño formal dentro del grupo de  investigación DEC-TAU de la UCLM. En este proyecto  pretendemos materializar sobre  FLOPER esta transformación  de desplegado que, en esencia,  sustituye  una regla de  programa por otra (u otras)  en cuyo cuerpo se han avanzado  pasos de computación generando así programas compilados,  transformados o pre-procesados con mejor comportamiento  computacional a la hora de ser ejecutados.  

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

Pendiente de asignar