A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and...

May 17, 2016 at 1:45:59 PM
New CS Department, Stony Brook,
Engineering Dr,
11794 Stony Brook, NY
From Jul 6, 2016, 11:30 AM
To Jul 6, 2016, 12:00 PM
A paper by Pascual Julian-Iranzo, Gines Moreno, Jaime Penabad, and Carlos Vazquez (Universidad de Castilla-La Mancha)
Abstract. 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.