Resumen de Foundations and applications of fuzzy logic programming with weights and similarity relations
Carlos Vázquez Pérez-Íñigo
La lógica permite extraer nueva información a partir de la información dada, proceso que se puede automatizar mediante la programación lógica. Una de las áreas más revolucionarias de la lógica, la lógica difusa, planteada en primer lugar por L. A. Zadeh [1], permite un tratamiento novedoso de la certeza de dicha información. El área de la programación lógica difusa, carente todavía de un lenguaje integrador, pretende incorporar las nociones de esta nueva área a la programación lógica. Contenido de la investigación A lo largo de esta tesis se ha avanzado en el conocimiento del campo de la programación lógica multi-adjunta (o MALP) [2], uno de los esquemas más generales dentro de la programación lógica difusa. También se han propuesto soluciones basadas en MALP a numerosos problemas teóricos y prácticos para estudiar las áreas de mejora de este formalismo. En particular, se han encontrado puntos en común con el área de SAT y SMT [3]; se ha realizado una aproximación a la búsqueda inteligente de información en documentos XML [4], lo que abre las puertas a una futura presencia de MALP en Internet; ahondando en este último punto, a través de una colaboración con el grupo de computación cloud de la Universidad de Umeå, se han propuesto soluciones MALP a los problemas del control de admisión [5] y de colocación o coubicación [6] de máquinas virtuales en un entorno de overbooking en cloud. Con objeto de realizar estos desarrollos prácticos, se ha depurado y expandido el entorno FLOPER de programación MALP. Finalmente, tras aliviar a MALP de la necesidad de la propiedad adjunta [7], se ha desarrollado el lenguaje FASILL (Fuzzy Aggregators and Similarity into a Logic Language) [8], que integra las dos familias principales de lenguajes de programación lógica difusa: aquellos basados en relaciones de similaridad y aquellos basados en reglas ponderadas (entre los que se cuenta MALP). Conclusión Del estudio del lenguaje MALP, cuya elección en esta tesis queda justificada por su generalidad, expresividad y su semántica bien definida, se ha demostrado el carácter multi-adjunto del retículo de strings, y de los productos cartesianos de retículos, lo que permite documentar la ejecución de los programas y obtener otros efectos variados [9]. También se ha aportado la noción de paso interpretativo corto [10], que permite un cómputo más adecuado del coste computacional de un programa, medida de gran utilidad para las tareas de optimización de programas. MALP ha sido utilizado con gran éxito en diversos problemas teóricos y prácticos. Concretamente, se ha empleado FuzzyXPath para obtener información sobre las derivaciones (como la presencia de ramas infinitas, modelos, etc.) [3]; se ha empleado como un resolvedor SMT con la ventaja sobre otros sistemas de este tipo de poder emplear retículos no totalmente ordenados para definir los grados de verdad [4]; también se ha conseguido una sensible mejora de la utilización de recursos cloud de entre el 78% y el 138% con muy poca o nula sobrecarga de capacidad [5]; finalmente, se ha conseguido una colocación de máquinas virtuales con menos degradación de prestaciones por el problema del vecino ruidoso que el estándar KVM [6]. Respecto al lenguaje FASILL, se han descrito sus semánticas operacional [11] y declarativa [12], y más importante, se ha demostrado la propiedad de corrección entre ambas, lo que lo certifica como un lenguaje a tener en cuenta en el ámbito de la programación lógica difusa. A este respecto, se ha modificado la herramienta FLOPER [8], tanto en su versión de escritorio como en su nueva versión online (accesible desde http://dectau.uclm.es/floper/?q=sim/test), para dar soporte a este nuevo lenguaje.
