cambiar a curso:   2009-10   2011-12


Trabajo Fin de Grado 2010-11
 DESPLEGADO DE PROGRAMAS LÓGICOS DIFUSOS SOBRE FLOPER


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


Tutor
MORENO VALVERDE, GINES DAMIAN


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