Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/ruleml2011-europe/paper/22> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- 22 creator carlos-vazquez.
- 22 creator gines-moreno.
- 22 creator jaime-penabad.
- 22 creator pedro-jose-morcillo.
- 22 type InProceedings.
- 22 label "Declarative Traces Into Fuzzy Computed Answers".
- 22 sameAs 22.
- 22 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. Currently, the system 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 fuzzy connectives evaluated together with the sequence of primitive (arithmetic) operators they call, thus giving a detailed idea of its computational complexities.".
- 22 hasAuthorList authorList.
- 22 isPartOf proceedings.
- 22 keyword "Declarative Traces".
- 22 keyword "Fuzzy Logic Programming".
- 22 keyword "Lattices".
- 22 title "Declarative Traces Into Fuzzy Computed Answers".