A Practical Management of Fuzzy Truth-Degrees Using FLOPER

During the last two years, our developments regarding the design of the FLOPER tool (“Fuzzy LOgic Programming Environment for Research”), have been devoted to implant in its core a rule-based, easy representation of lattices representing fuzzy notions of truth degrees beyond the boolean case, in order to work with flexible programs belonging to the so-called

multi-adjoint logic approach

. Now, the system improves its initial running/debugging/tracing capabilities for managing this kind of fuzzy logic programs, with new options for manipulating in a classical Prolog style the mathematical foundations of the enrichment introduced by

multi-adjoint lattices

. In particular, we show that for a given program and query, many different answers can be obtained when changing the assumption of truth in a single work session. The experience related here evidences the expressive power of Prolog rules (i.e., clauses) for implementing rich versions of multi-adjoint lattices in a very easy way, as well as its crucial role in further fuzzy logic computations.