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 been 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.