A sound and complete semantics for a similarity-based logic programming language

DOI10.1016/J.FSS.2016.12.016MaRDI QIDQ723251zbMATH OpenOpenAlexWikidataFDO

Authors Pascual Julián Iranzo, Clemente Rubio-Manzano

Publication date 30 July 2018

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2016.12.016

zbMATH Keywords

declarative semanticsfixpoint semanticsfuzzy logic programmingoperational semanticssimilarity relationsweak SLD-resolution

Mathematics Subject Classification ID

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

Recommendations

• A uniform approach to logic programming semantics
• On stable-like semantics for logic programs
• scientific article; zbMATH DE number 176721
• A computable semantics for general logic programs
• A logical semantics for description logic programs
• A compositional semantics for logic programs
• A kripke-kleene semantics for logic programs*
• Complementing logic program semantics
• Similarity-based inconsistency-tolerant logics

Cites work

• A declarative semantics for CLP with qualification and proximity
• A similarity-based resolution rule
• A transformation-based implementation for CLP with qualification and proximity
• An Efficient Unification Algorithm
• Approximate reasoning by similarity-based SLD resolution.
• Contributions to the Theory of Logic Programming
• 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 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1346445 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 1455621 (Why is no real title available?)
• Proximity-based unification theory
• Quantitative Logic Programming Revisited
• Similarity-based unification: A multi-adjoint approach
• The concept of a linguistic variable and its application to approximate reasoning. III
• The Semantics of Predicate Logic as a Programming Language

Cited in

(13)

• Approximate reasoning by similarity-based SLD resolution.
• Similarity-based SLD resolution and its role for web knowledge discovery
• The fuzzy logic programming language FASILL: design and implementation
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
• Thresholded semantic framework for a fully integrated fuzzy logic language
• A similarity-based resolution rule
• Planning for an efficient implementation of hypothetical BousiProlog
• BousiProlog
• Seeking a safe and efficient similarity-based unfolding rule
• Immediate consequences operator on generalized quantifiers
• Analogical logic program synthesis algorithm that can refute inappropriate similarities
• Constraint solving over multiple similarity relations
• Some properties of substitutions in the framework of similarity relations

Describes a project that uses

Uses Software

• Likelog

This page was built for publication: A sound and complete semantics for a similarity-based logic programming language

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