Thresholded semantic framework for a fully integrated fuzzy logic language

DOI10.1016/J.JLAMP.2017.08.002MaRDI QIDQ2409628zbMATH OpenOpenAlexWikidataFDO

Authors Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad

Publication date 13 October 2017

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2017.08.002

zbMATH Keywords

fixpoint semanticsoperational semanticscorrectnessfuzzy logic programmingdeclarative semanticssimilarity relations

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• The fuzzy logic programming language FASILL: design and implementation
• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• Fuzzy logic programming
• Fuzzy logic programming
• Fuzzy logic programming via multilattices

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 1455621 (Why is no real title available?)
• scientific article; zbMATH DE number 1844513 (Why is no real title available?)
• scientific article; zbMATH DE number 1884400 (Why is no real title available?)
• A declarative semantics for CLP with qualification and proximity
• A fuzzy version of Tarski's fixpoint theorem.
• A lattice-theoretical fixpoint theorem and its applications
• A logic for approximate reasoning
• A similarity-based resolution rule
• A sound and complete semantics for a similarity-based logic programming language
• A transformation-based implementation for CLP with qualification and proximity
• An Efficient Unification Algorithm
• Approximate Reasoning Based on Similarity
• Approximate reasoning by similarity-based SLD resolution.
• Beyond multi-adjoint logic programming
• Fixed point theorems in logic programming
• Fuzzy logic programming
• Likelog for flexible query answering
• On fuzzy unfolding: A multi-adjoint approach
• Proximity-based unification theory
• Quantitative Logic Programming Revisited
• Quantitative deduction and its fixpoint theory
• Similarity-based unification: A multi-adjoint approach
• The Semantics of Predicate Logic as a Programming Language

Cited in

(6)

• Symbolic unfolding of multi-adjoint logic programs
• Tuning similarity-based fuzzy logic programs
• The fuzzy logic programming language FASILL: design and implementation
• Seeking a safe and efficient similarity-based unfolding rule
• Fuzzy logic programs as hypergraphs. Termination results
• A semantics and a logic for \textit{Fuzzy Arden Syntax}

Describes a project that uses

Uses Software

• Likelog
• Rfuzzy
• XPath

This page was built for publication: Thresholded semantic framework for a fully integrated fuzzy logic language

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