A Practical Management of Fuzzy Truth-Degrees Using FLOPER

• Published in: Semantic Web Rules pp. 20 - 34
• Main Authors: Morcillo, Pedro J., Moreno, Ginés, Penabad, Jaime, Vázquez, Carlos
• Format: Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
• Series: Lecture Notes in Computer Science
• Subjects: Fuzzy Logic; Fuzzy Program; Logic Program; Logic Programming; Truth Degree
• ISBN: 9783642162886; 3642162886
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-642-16289-3_4

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.