Declarative traces into fuzzy computed answers

Abstract

Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. In this setting, the so-called Multi-Adjoint Logic Programming approach, MALP in brief, represents an extremely flexible fuzzy language for which we are developing the FLOPER tool (Fuzzy LOgic Programming Environment for Research). Currently, the platform is useful for compiling (to standard Prolog code), executing and debugging fuzzy programs in a safe way and it is ready for being extended in the near future with powerful transformation and optimization techniques designed in our research group in the recent past. In this paper, we focus in a nice property of the system regarding its ability for easily collecting declarative traces at execution time, without modifying the underlying procedural principle. The clever point is the use of lattices modeling truth degrees (beyond {true, false}) enriched with constructs for directly visualizing on fuzzy computed answers not only the sequence of program rules exploited when reaching solutions, but also the set of evaluated fuzzy connectives together with the sequence of primitive (arithmetic) operators they call, thus giving a detailed description of their computational complexities. © Springer-Verlag Berlin Heidelberg 2011.