Autor:
Julián Iranzo, Pascual

Cargando...
Foto de perfil

E-mails conocidos

pascual.julian@uclm.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Julián Iranzo

Nombre de pila

Pascual

Nombre

Nombres alternativos

Julian-Iranzo, Pascual
Julián-Iranzo, Pascual

Afiliaciones conocidas

Dep. of Technologies and Information Systems. U. of Castilla-La Mancha, Spain
University of Castilla-La Mancha, Spain
Universidad de Castilla-La Mancha, Spain
Universidad de Castilla-La Mancha
Department of Technologies and Information Systems University of Castilla-La Mancha

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 5 de 5
  • Artículo
    Seeking a Safe and Efficient Similarity-based Unfolding Rule
    Julián Iranzo, Pascual; Moreno, Ginés; Riaza Valverde, José Antonio. Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021), 2021-09-22.
    The unfolding transformation has been widely used in many declarative frameworks for improving the efficiency of programs. Inspired by our previous experiences in fuzzy logic languages not dealing with similarity relations, in this work we try to adapt such operation to the so-called FASILL language (acronym of "Fuzzy Aggregators and Similarity Into a Logic Language") which has been developed in our research group for coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity. The traditional unfolding transformation is based on the application of unifiers on the heads and computational steps on the bodies of program rules. However, when considering similarity relations, the premature generation and application of weak (similarity-based) unifers at unfolding time could destroy the correctness of the transformation. In this paper we study how to avoid this risk by compiling what we call similarity constraints on transformed rules, whose further evaluation is delayed at running time. Moreover, our technique minimizes the size and number of occurrences of such constructs in transformed programs to gain efficiency while preserving semantics.
  • Artículo
    Fuzzy Thresholded Fixpoint Semantics
    Julián Iranzo, Pascual; Moreno, Ginés; Penabad, Jaime. Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016), 2016-09-02.
    This work proposes an immediate consequences operator that allows us to give a fixpoint characterization of the least Herbrand model for a powerful class of fuzzy logic programs coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity. The so-called FASILL language (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) has been recently designed and implemented in our research group and it enjoys the capability for managing filters or thresholds in a natural way in order to relax some computational and declarative aspects as revealed in the proposed fixpoint semantics.
  • Artículo
    A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees
    Julián Iranzo, Pascual; Moreno, Ginés; Penabad, Jaime; Vázquez, Carlos. Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015), 2015-09-15.
    This work proposes a declarative semantics based on a fuzzy variant of the classical notion of least Herbrand model for the so-called FASILL language (acronym of “Fuzzy Aggregators and Similarity Into a Logic Language”) which has being recently designed and implemented in our research group for coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity.
  • Artículo
    Conversion of the Spanish WordNet databases into a Prolog-readable format
    Julián Iranzo, Pascual; Rigau, Germán; Sáenz Pérez, Fernando; Velasco-Crespo, Pablo. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022), 2022-09-05.
    WordNet is a lexical database for English that is supplied in a variety of formats, including one compatible with the Prolog programming language. Given the success and usefulness of WordNet, +AGAAYA-WordNets'' of other languages have been developed, including Spanish. The Spanish WordNet does not provide a version compatible with Prolog. This work aims to fill that gap by translating a version of the Spanish WordNet into a Prolog-compatible format. Thanks to this translation, we would obtain a set of Spanish lexical databases that would allow us to access that information using declarative techniques and the deductive capabilities of the Prolog language. Also, this work would facilitate the development of other programs to analyze the obtained information.
  • Artículo
    Integrating WordNet into Bousi~Prolog
    Julián Iranzo, Pascual; Sáenz Pérez, Fernando. Actas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019), 2019-09-02.
    In this paper we provide techniques to integrate WordNet into a Fuzzy Logic Programming System. Because WordNet relates words but does not give graded information of the relation between them, we have implemented standard similarity measures and new directives that allow us to generate the proximity equations linking two words with an approximation degree. Proximity equations are the key syntactic structures that, in addition to a weak unification algorithm, make possible a flexible query answering process in this kind of programming languages.