Navegación

Búsqueda

Búsqueda avanzada

El autor Pascual Julián-Iranzo ha publicado 4 artículo(s):

1 - A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees

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.

Autores: Pascual Julián-Iranzo / Ginés Moreno / Jaime Penabad / Carlos Vázquez / 
Palabras Clave: Fuzzy Logic Programming - Herbrand Model - Similarity Relations

2 - Fuzzy Thresholded Fixpoint Semantics

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.

Autores: Pascual Julián-Iranzo / Ginés Moreno / Jaime Penabad / 
Palabras Clave:

3 - FuzzyDES: Fuzzifying DES (Trabajo en progreso)

This paper describes a system implementation of a fuzzy deductive database. Concepts supporting the fuzzy logic programming system BPL are translated into the deductive database system DES. We develop a version of fuzzy Datalog as its query language, where programs and queries are compiled to the DES core Datalog language. Weak unification and weak SLD resolution are adapted to this setting, and extended to allow rules with truth degree annotations. We provide a public implementation in Prolog which is open-source, multiplatform, portable, and in-memory. A database example for a recommender system is used to illustrate some of the features of the system.

Autores: Pascual Julián-Iranzo / Fernando Sáenz-Pérez / 
Palabras Clave: Bousi~Prolog - Datalog Educational System - Fuzzy Datalog - Fuzzy Logic Programming - FuzzyDES

4 - Integrating WordNet into Bousi~Prolog (Work in Progress)

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.

Autores: Pascual Julian-Iranzo / Fernando Saenz-Perez / 
Palabras Clave: Fuzzy Logic Programming - Similarity Measures - WordNet