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

Resumen:

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.

Palabras Clave:

Fuzzy Logic Programming - Herbrand Model - Similarity Relations

Autor(es):

• Pascual Julián-Iranzo {Pascual.Julian@uclm.es}
  Department of Technologies and Information Systems University of Castilla-La Mancha
  
• Ginés Moreno {Gines.Moreno@uclm.es}
  Department of Computing Systems University of Castilla-La Mancha
  
• Jaime Penabad {Jaime.Penabad@uclm.es}
  Department of Mathematics University of Castilla-La Mancha
  
• Carlos Vázquez {Carlos.Vazquez@uclm.es}
  Department of Computing Systems University of Castilla-La Mancha
  

Handle:

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex