The fuzzy logic programming language FASILL: design and implementation

DOI10.1016/J.IJAR.2020.06.002MaRDI QIDQ2206451zbMATH OpenOpenAlexWikidataFDO

Authors Pascual Julián Iranzo, Ginés Moreno, José A. Riaza

Publication date 22 October 2020

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2020.06.002

zbMATH Keywords

fuzzy logic programminghigh-level implementation techniquesoperational semanticssimilarity relation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Semantics in the theory of computing (68Q55) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Thresholded semantic framework for a fully integrated fuzzy logic language
• FLISP - a language for processing fuzzy data
• scientific article; zbMATH DE number 1980943
• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• Fuzzy linguistic logic programming and its applications

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A similarity-based resolution rule
• A sound and complete semantics for a similarity-based logic programming language
• An Efficient Unification Algorithm
• Approximate reasoning by similarity-based SLD resolution.
• Average-case analysis of unification algorithms
• Beyond multi-adjoint logic programming
• Contributions to the Theory of Logic Programming
• Fuzzy Chains
• Fuzzy Logic and the Resolution Principle
• Fuzzy logic programming
• Fuzzy Prolog: A new approach using soft constraints propagation
• Fuzzy sets
• scientific article; zbMATH DE number 3466489 (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 788036 (Why is no real title available?)
• On fuzzy unfolding: A multi-adjoint approach
• Proximity-based unification theory
• Similarity-based unification: A multi-adjoint approach
• Symbolic execution and thresholding for efficiently tuning fuzzy logic programs
• Symbolic unfolding of multi-adjoint logic programs
• The Semantics of Predicate Logic as a Programming Language
• Thresholded semantic framework for a fully integrated fuzzy logic language
• XSB: extending Prolog with tabled logic programming

Cited in

(20)

• HALO --- a fuzzy programming language
• A family of fuzzy programming languages
• A fuzzy language.
• Symbolic similarity relations for tuning fully integrated fuzzy logic programs
• The Fusemate logic programming system
• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• Thresholded semantic framework for a fully integrated fuzzy logic language
• Modeling a fuzzy coprocessor and its programming language
• Animated fuzzy logic
• scientific article; zbMATH DE number 1735984 (Why is no real title available?)
• scientific article; zbMATH DE number 1774966 (Why is no real title available?)
• FASILL
• Seeking a safe and efficient similarity-based unfolding rule
• Tuning fuzzy SPARQL queries
• Tuning similarity-based fuzzy logic programs
• Fuzzy order-sorted feature logic
• Some properties of substitutions in the framework of similarity relations
• Computational reaching of quantified consequences from imperfect initial data
• Fuzzy similarity and proximity constraint solving in theories with unordered symbols
• FLISP - a language for processing fuzzy data

Describes a project that uses

Uses Software

• XQuery
• SPARQL
• Likelog
• XPath
• FRIL

This page was built for publication: The fuzzy logic programming language FASILL: design and implementation

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