cambiar a curso:   2009-10   2011-12


Trabajo Fin de Grado 2010-11
 DESARROLLO DE UN ENTORNO DE PROGRAMACIÓN LÓGICA EXTENDIDO CON RELACIONES DE SIMILARIDAD


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


Tutor
MORENO VALVERDE, GINES DAMIAN
GUERRERO ABENZA, JUAN ANTONIO


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/depurar programas difusos  (mediante un pre-proceso de los mismos que los traduce a  código Prolog estándar) compuestos por "cláusulas"   enriquecidas con pesos y conectivas difusas en sus cuerpos. Sin embargo, hasta ahora no es posible dar cuenta de relaciones de  "parecido" entre los símbolos de función (para formar datos) y predicados definidos en este tipo de programas. Puesto que  los avances a nivel teórico desarrollados en el marco de las así llamadas relaciones de similaridad/proximidad, han alcanzado un  notable éxito no sólo a nivel matemático, sino también en  el diseño de lenguajes lógicos difusos, en este proyecto   pretendemos materializar de forma práctica estos conceptos dentro del menú de funcionalidades ofertadas por FLOPER.   


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