2011 | OriginalPaper | Chapter
Declarative Traces into Fuzzy Computed Answers
Authors : Pedro-Jose Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez
Published in: Rule-Based Reasoning, Programming, and Applications
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.