Navegación

Búsqueda

Búsqueda avanzada

El autor Jaime Penabad ha publicado 3 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 - String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations

Classically, most programming languages use in a predefined way the notion of «string» as an standard data structure for a comfortable management of arbitrary sequences of characters. However, in this paper we assign a different role to this concept: here we are concerned with fuzzy logic programming, a somehow recent paradigm trying to introduce fuzzy logic into logic programming. In this setting, the mathematical concept of multi-adjoint lattice has been successfully exploited into the so-called Multi-adjoint Logic Programming approach, MALP in brief, for modeling flexible notions of truth-degrees beyond the simpler case of true and false. Our main goal points out not only our formal proof verifying that stringbased lattices accomplish with the so-called multi-adjoint property (as well as its Cartesian product with similar structures), but also its correspondence with interesting debugging tasks into the FLOPER system (from «Fuzzy LOgic Programming Environment for Research») developed in our research group.

Autores: Pedro J. Morcillo / Ginés Moreno / Jaime Penabad / Carlos Vázquez / 
Palabras Clave: Cartesian Product of Multi-adjoint Lattices - Declarative Debugging - Fuzzy (Multi-adjoint) Logic Programming

3 - 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: