Especialidades

Computació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, Programación Declarativa y Ampliación de Programación Declarativa (esta última asignatura  se refiere a alumnos del antiguo  plan de estudios en "Ingeniería Informática").

Medios a utilizar

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

Bibliografía

Asignación

Pendiente de asignar