Desarrollo de sistemas de transformación automática y especialización de programas (declarativos) para la mejora de la eficiencia de los mismos, tanto en tiempo de ejecución como en la optimización de recursos.
El objetivo de la transformación de programas consiste en derivar un programa semánticamente equivalente a otro programa inicial pero con mejor comportamiento con respecto a algunas propiedades (e.g., eficiencia). La evaluación parcial es una técnica de transformación de programas que genera versiones especializadas de un programa con respecto a una entrada específica. Nuestro grupo tiene una dilatada experiencia en este campo, habiendo desarrollado un transformador de programas lógico funcionales basado en reglas+estrategias y algoritmos refinados de control de la evaluación parcial. Recientemente, se han transferido muchas de estas técnicas de transformación al ámbito de la programación lógica difusa. En particular, hemos realizado una amplia labor teórica mediante el estudio de diversas reglas de transformación de plegado/desplegado para programas lógicos multiadjuntos (una clase muy amplia de programas lógicos difusos).
Implementación e integración de lenguajes declarativos (lógicos y funcionales) con otros paradigmas, como la lógica difusa.
Centramos nuestro interés en el diseño de lenguajes lógicos difusos que incorporen recursos expresivos para el tratamiento de información imprecisa. Hemos desarrollado un lenguaje basado en unificación por similaridad, que denominamos Bousi~Prolog (Prolog BOrroso con Unificación por SImilaridad). Además, hemos implementado un sistema para la ejecución de programas multiadjuntos que denominamos FLOPER (acrónimo de Fuzzy LOgic Programming Environment for Research). Entre las aplicaciones prácticas de estos lenguajes, Bousi~Prolog se ha utilizado para la catalogación de textos y FLOPER para manipular texto XML, implementando una extensión difusa de los lenguajes XPath y XQuery.
En la actualidad, estamos combinando ambos enfoques en el diseño e implementación del lenguaje de programación de lógica difusa, totalmente integrado, FASILL.
Analysis and validation of software and web resources (Proyecto PID2019-104735RB-C42 financiado por MCIN/ AEI /10.13039/501100011033)
MÉTODOS RIGUROSOS PARA EL INTERNET DEL FUTURO. TIN2016-76843-C4-2-R . (AEI / FEDER, UE)
UNA APROXIMACIÓN DECLARATIVA AL MODELADO, ANÁLISIS Y RESOLUCIÓN DE PROBLEMAS
Autores: Doctorando.- Jose Antonio Riaza Valverde; - Director/es.- Pascual Julián Iranzo, Ginés Damián Moreno Valverde
2022
Universidad de Castilla-La Mancha
7 de Noviembre de 2022
Autores: Doctorando.- Alejandro Luna Tedesqui; - Director/es.- Ginés Damián Moreno Valverde
2016
9 de Febrero de 2016
Autores: Doctorando.- Carlos Vazquez Perez-Iñigo; - Director/es.- Ginés Damián Moreno Valverde
2015
5 de Octubre de 2015
Bousi~Prolog: Design and implementation of a proximity-based fuzzy logic programming language
Pascual Julián Iranzo
2023
A Fuzzy Declarative Approach to Classify Unlabeled short texts based on Automatically Constructed WordNet Ontologies
Al-Sayadi , Sami H.; Pascual Julián Iranzo; Francisco Pascual Romero Chicharro; Sáenz Pérez, Fernando;
Proximity-based Unification: an Efficient Implementation Method
Pascual Julián Iranzo; Sáenz Pérez, Fernando;
2021
A Safe and Effective Tuning Technique for Similarity-Based Fuzzy Logic Programs
Ginés Damián Moreno Valverde; José Antonio Riaza Valverde;
Flexible Aggregation in FSA-SPARQL
Almendros-Jiménez, Jesús; Becerra-Terón , Antonio; Ginés Damián Moreno Valverde; José Antonio Riaza Valverde;
Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System
Pascual Julián Iranzo; Saenz Perez, Fernando;
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
A System implementing Fuzzy Hypothetical Datalog
2020
The Fuzzy Logic Programming language FASILL: Design and implementation
Pascual Julián Iranzo; Ginés Damián Moreno Valverde; José Antonio Riaza Valverde;
Symbolic Similarity Relations for Tuning Fully Integrated Fuzzy Logic Programs
Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs
José Antonio Riaza Valverde; Ginés Damián Moreno Valverde;
An Online Tool for Unfolding Symbolic Fuzzy Logic Programs
Ginés Damián Moreno Valverde; Jose Antonio Riaza Valverde
2019
Fuzzy Logic Programming for Tuning Neural Networks
Ginés Damián Moreno Valverde; Jesús Pérez; Jose Antonio Riaza Valverde
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment
Jesús Almendros-Jiménez; Antonio Becerra-Terón; Ginés Damián Moreno Valverde; Jose Antonio Riaza Valverde
Combining Symbolic Unfolding and Tuning Techniques for Fuzzy Logic Programs
WordNet and Prolog: why not?
Pascual Julián Iranzo; Fernando Sáenz Pérez
Symbolic Unfolding of Multi-adjoint Logic Programs
Ginés Damián Moreno Valverde; Jaime Penabad Vázquez; Jose Antonio Riaza Valverde
Integrating WordNet into Bousi~Prolog
Tuning neural networks in a fuzzy logic programming environment
A Fuzzy Datalog Deductive Database System
2018
Fuzzy queries of social networks with FSA-SPARQL
Jesús Almendros-Jiménez; Antonio Becerra-Terón; Ginés Damián Moreno Valverde
An Efficient Proximity-based Unification Algorithm
Ginés Damián Moreno Valverde
Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
Pedro Jose Morcillo Moreno; Ginés Damián Moreno Valverde
FASILL: Fuzzy Correct Answers and Soundness
Pascual Julián Iranzo; Ginés Damián Moreno Valverde; Jaime Penabad Vázquez
Smart Design of Similarity Relations for Fuzzy Logic Programming Environments
Juan Antonio Guerrero Abenza; Ginés Damián Moreno Valverde; Jose Antonio Riaza Valverde; Javier Sánchez Utrillas
Thresholded semantic framework for a fully integrated fuzzy logic language
2017
FuzzyDES or how DES Met Bousi-Prolog
On reductants in the framework of multi-adjoint logic programming.
A sound and complete semantics for a similarity-based logic programming language.
Pascual Julián Iranzo; Clemente Rubio Manzano
An Online Tool for Tuning Fuzzy Logic Programs
On Similarity-Based Unfolding
A fuzzy extension of SPARQL based on fuzzy sets and aggregators
Testing properties of fuzzy connectives and truth degrees with the latticemaker tool
Juan Antonio Guerrero Abenza; Félix Mendieta Carlos; Ginés Damián Moreno Valverde; Jaime Penabad Vázquez; Jose Antonio Riaza Valverde
Tuning Fuzzy Logic Programs with Symbolic Execution
Towards a Fuzzy Logic Environment for Android
Ramón Luján Crespo; Ginés Damián Moreno Valverde; Carlos Vazquez Perez-Iñigo
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
Ginés Damián Moreno Valverde; Jaime Penabad Vázquez; Jose Antonio Riaza Valverde; Germán Vidal Oriola
A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees
Pascual Julián Iranzo; Ginés Damián Moreno Valverde; Jaime Penabad Vázquez; Carlos Vazquez Perez-Iñigo
Ginés Damián Moreno Valverde; Jaime Penabad Vázquez; German Vidal Oriola
Debugging while interpreting fuzzy XPath queries
Jesús Almendros-Jiménez; Alejandro Luna Tedesqui; Ginés Damián Moreno Valverde
Trabajos interdisciplinares en equipo: una herramienta de coordinación (interdisciplinary teamwork: a coordination tool)
Ginés Damián Moreno Valverde; Jaime Penabad Vázquez; Ramón Serrano Urrea
Fuzzy Thresholded Fixpoint Semantics
Proximity-based unification theory
Incorporation of abstraction capability in a logic-based framework by using proximity relations
Clemente Rubio Manzano; Pascual Julián Iranzo
Beyond Multi-adjoint Logic Programming
Ginés Damián Moreno Valverde; Jaime Penabad Vázquez; Carlos Vazquez Perez-Iñigo
Fuzzy XPath through Fuzzy Logic Programming
Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language
Pascual Julián Iranzo; Ginés Damián Moreno Valverde; Carlos Vazquez Perez-Iñigo
A fuzzy logic programming environment for managing similarity and truth degrees
Analyzing fuzzy logic computations with fuzzy xpath
Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs?
Improving Multi-adjoint Logic Programs by Unfolding Fuzzy Connective Definitions
Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models
Jesús Almendros-Jiménez; Miquell Bofill; Alejandro Luna Tedesqui; Ginés Damián Moreno Valverde; Carlos Vazquez Perez-Iñigo; Mateu Villaret
Simplifying G-Reductants with Fuzzy Unfolding
Thresholded Debugging of XPath Queries
A cloud scheduler assisted by a fuzzy affinity-aware engine
Carlos Vazquez Perez-Iñigo; Ginés Damián Moreno Valverde; Luis Tomas Bolivar; Johan Tordsson
Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments
Juan Antonio Guerrero Abenza; Maria del Señor Martínez Ruíz; Ginés Damián Moreno Valverde; Carlos Vazquez Perez-Iñigo
Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler
Luis Tomas Bolivar; Johan Tordsson; Carlos Vazquez Perez-Iñigo; Ginés Damián Moreno Valverde
A Fuzzy linguistic prolog and its applications
2014
Fuzzy Logic Rules Modeling Similarity-based Strict Equality
Automatic proving of fuzzy formulae with fuzzy logic programming and SMT
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
Reasoning with words: A first approximation
Fuzzy Logic Programming in Action with FLOPER
Ginés Damián Moreno Valverde; Carlos Vazquez Perez-Iñigo
Revisiting Reductants in the Multi-adjoint Logic Programming Framework
Pascual Julián Iranzo; Jesus Medina Moreno; Manuel Ojeda Aciego
Fuzzy XPath Queries in XQuery
Dynamic Filtering of Ranked Answers When Evaluating Fuzzy XPath Queries
Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming
El grupo DEC-tau investiga métodos formales aplicados a la integración de lenguajes declarativos multiparadigma (esto es, lenguajes con características lógicas, funcionales, y lógico difusas) y a la transformación automática de programas declarativos.