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

• Pascual Julián-Iranzo {Pascual.Julian@uclm.es}
  Dep. of Technologies and Information Systems. U. of Castilla-La Mancha, Spain
  
• Ginés Moreno {Gines.Moreno@uclm.es}
  Dep. of Computing Systems. U. of Castilla-La Mancha, Spain
  
• Jaime Penabad {Jaime.Penabad@uclm.es}
  Dep. of Mathematics. U. of Castilla-La Mancha, Spain
  

Handle:

Descargas:

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

Ver la referencia en formato Bibtex