Smart Design of Similarity Relations for Fuzzy Logic Programming Environments

Similarity relations are used in several fuzzy logic programming environments like FLOPER, which has been developed in our research group along the last decade. Strongly connected with this system, in this paper we show how its auxiliary LatticeMakertool has been extended for aiding the graphical design of such structures, even when it was initially created for comfortably manipulating lattices of truth degrees. Once designed both mathematical constructs in a purely graphical, easy and accurate way, the tool codes them as Prolog clauses which can be directly imported into the FLOPER system.