Especialidades

Computación

Tutor

GUERRERO ABENZA, JUAN ANTONIO
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 otros cinco proyectos fin de carrera y/o trabajos fin de grado 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 cualquier plataforma Prolog. Además, incorpora un entorno gráfico escrito en Java que permite interactuar con el sistema de forma ágil y flexible. En un reciente TFG hemos extendido la interfaz gráfica de FLOPER para poder diseñar y manipular distintas definiciones de la noción de "grado de verdad" más allá del caso clásico de cierto y falso, tal y como exige el nuevo contexto de programación basado en lógica difusa. En esta propuesta, pretendemos ampliar la nueva opción en el menú general de FLOPER (que ya permite cargar, editar, refinar y grabar retículos "multi-adjuntos" de forma cómoda), para que ofrezca la posibilidad de verificar automáticamente diversas propiedades formales sobre los valores que componen estas estructuras, sus relaciones de orden y el comportamiento de los operadores o conectivos difusos que los manipulan (carácter completo, monotonía, adjunción, etc.).

Metodología y Competencias

Se deberán tener conocimientos de programación en Prolog y se aconseja haber cursado las asignaturas de Lógica y Programación Declarativa. El proyecto se iniciará con una revisión de la bibliografía más relevante sobre el tema y se continuará con la fase de implementación sobre la plataforma FLOPER.

Medios a utilizar

Todo el material y medios necesarios para ejecutar el TFG se encuentra disponible en la ESII de Albacete. Hardware: PC. Software: Compiladores de Prolog y Java

Bibliografía

Proyectos fin de carrera y trabajos fin de grado precedentes a éste (relativos al desarrollo del entorno FLOPER) y realizados por José Manuel Abietar, Pedro José Morcillo, Gustavo Valiente, Carlos Vázquez y Maria del Señor Martínez. El tutor proporcionará copias de los mismos al estudiante. Otros documentos:

 

J. Abiertar, P. Morcillo, G. Moreno. Designing a Software Tool for Fuzzy Logic Programming. Proceedings of the International Conference on Computational Methods in Science and Engineering 2007 (ICCMSE 2007): Volume 2, parts A and B. 2007.

J.A. Guerrero, M.S. Martínez, G. Moreno, C. Vázquez. Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments. Proc. of 2015 IEEE Symposium Series on Computational Intelligence: Symposium on Foundations of Computational Intelligence (2015 IEEE FOCI).Cape Town, South Africa. Pages 10. IEEE (in press). 2015

P. Julian, G. Moreno, J. Penabad. (2005). On Fuzzy Unfolding: A Multi-adjoint Approach. Fuzzy Sets and Systems, Volume 154, Pages  16-33. Elsevier Science(Amsterdam). Available:  http://dx.doi.org/10.1016/j.fss.2005.03.013.    2005.

P. Julián, G. Moreno, J . Penabad. Operacional/Interpretive Unfolding of Multi-Adjoint Logia Programs. Journal of Universal Computer Science. Vol: 12, Nº 11, pp. 1679-1699.   Graz ( Austria ). ISSN: 0948-69X, Online Edition: ISSN 0948-6968. Available: http://dx.doi.org/10.3217/jucs-012-11-1679.       2006.

P. Julián, G. Moreno, J. Penabad. An Improved Reductant Calculus using Fuzzy Partial Evaluation Techniques. Fuzzy Sets and Systems,   Volume 160, Issue 2, 16 January 2009, Pages 162-181. Elsevier Science ( Amsterdam ). Available: http://dx.doi.org/10.1016/j.fss.2008.05.006.     2009

J. Lloyd, Foundations of Logic Programming, Springer-Verlag, Berlin, 1987, second edition.

J. Medina, M. Ojeda-Aciego, and P. Vojtáš. Similarity-based Unification: a multi-adjoint approach. Fuzzy Sets and Systems, Elsevier, 146:43–62, 2004.

P. Morcillo, G. Moreno. Programming with Fuzzy Logic Rules by Using the FLOPER Tool. Proc. of 2nd Intl Symposium on rule Interchange and aplications, (RuleML'08), Orlando, U.S.A. October 30-31. Lecture Notes in Computer Sciences 5321, pp 119-126. Springer-Verlag. 2008

P. Morcillo, G. Moreno, J. Penabad, C. Vázquez. A practical management of fuzzy truth-degrees using FLOPER. LNCS Lecture Notes in Computer Science ("Semantic Web Rules"). Volume 6403. Pages 119-126. ISSN: 0302-9743, ISBN: 978-3-642-16288-6. Springer-Verlag, Berlin-Heidelberg. 2010

P. Morcillo, G. Moreno, J. Penabad, C. Vázquez. Declarative Traces Into Fuzzy Computed Answers. Lecture Notes in Computer Science (Proceedings of the 5th International Symposium on Rules (RULEML'11). Edited dy: Springer Verlag, Berlin-Heidelberg (16 pages). 2011.

G. Moreno,  C. Vázquez.  Fuzzy Logic Programming in Action with FLOPER. Journal of Software Engineering and Applications, April 2014, Volume 7 (N. 4), Pages 273-298. Scientific Research.  ISSN print 1945-3116, ISSN Online: 1945-3124. Available  doi: 10.4236/jsea.2014.74028.    2014

P. Vojtáš and L. Paulík. Soundness and completeness of non-classical extended SLD-resolution. In R. Dyckhoff et al, editor, Proc. ELP’96 Leipzig, pages 289–301. LNCS 1050, Springer Verlag, 1996.

 

 

 

Asignación

Pendiente de asignar