RFuzzy framework is a Prolog-based tool for representing and reasoning with fuzzy information. The advantages of our framework in comparison to previous tools along this line of research are its easy, user-friendly syntax, and its expressiveness through the availability of default values, types, overload operators, quantifiers, similarity, etc.

In this approach we describe the formal syntax, the operational semantics and the declarative semantics of RFuzzy (based on a lattice). We provide a real implementation that is free and available (It can be downloaded from http://babel.ls.fi.upm.es/software/rfuzzy/.) Besides implementation details, we can also discuss some actual applications using RFuzzy.

The goal of the talk is providing an idea about the simple Rfuzzy syntax to encourage the audience to use it in their research. Former experiences of collaboration were very successful (in results and publications) and future collaborations are welcome.