Navegación

Búsqueda

Búsqueda avanzada

Fuzzy Thresholded Fixpoint Semantics

Resumen:

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.

Palabras Clave:

Fuzzy Logic Programming, Similarity Relation, Herbrand Model, Immediate Consequences Operator, Fixpoint Semantics

Autor(es):

Handle:

11705/PROLE/2016/005

Descargas:

La descarga de este artículo ha sido restringida por el autor