|
Trabajo Fin de Grado 2010-11 | DESARROLLO DE UN ENTORNO DE PROGRAMACIÓN LÓGICA EXTENDIDO CON RELACIONES DE SIMILARIDAD |
EspecialidadesComputació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
|
|