Optimizing fuzzy logic programs by unfolding, aggregation and folding

DOI10.1016/J.ENTCS.2008.10.032MaRDI QIDQ5415653zbMATH OpenOpenAlexWikidataFDO

Authors J. A. Guerrero, Ginés Moreno

Publication date 13 May 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2008.10.032

zbMATH Keywords

folding/unfolding rulesfuzzy logic programmingprogram transformation

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• SOFSEM 2006: Theory and Practice of Computer Science
• On fuzzy unfolding: A multi-adjoint approach
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
• Symbolic unfolding of multi-adjoint logic programs
• Unfolding-based improvements on fuzzy logic programs

Cites work

• A fuzzy proof theory
• A Transformation System for Developing Recursive Programs
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Fuzzy Logic and the Resolution Principle
• scientific article; zbMATH DE number 1696592 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 1088019 (Why is no real title available?)
• scientific article; zbMATH DE number 1974019 (Why is no real title available?)
• scientific article; zbMATH DE number 2079865 (Why is no real title available?)
• scientific article; zbMATH DE number 2085246 (Why is no real title available?)
• On fuzzy unfolding: A multi-adjoint approach
• Preservation of stronger equivalence in unfold/fold logic program transformation
• Programming with Fuzzy Logic and Mathematical Functions
• Rules + strategies for transforming lazy functional logic programs
• Similarity-based unification: A multi-adjoint approach
• SOFSEM 2006: Theory and Practice of Computer Science
• Transformation of logic programs: Foundations and techniques

Cited in

(9)

• An improved reductant calculus using fuzzy partial evaluation techniques
• Unfolding-based improvements on fuzzy logic programs
• Similarity-Based Equality with Lazy Evaluation
• Modeling Interpretive Steps in Fuzzy Logic Computations
• scientific article; zbMATH DE number 1974019 (Why is no real title available?)
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
• Symbolic unfolding of multi-adjoint logic programs
• SOFSEM 2006: Theory and Practice of Computer Science
• Seeking a safe and efficient similarity-based unfolding rule

Describes a project that uses

Uses Software

• FRIL

This page was built for publication: Optimizing fuzzy logic programs by unfolding, aggregation and folding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5415653)