Proximity-based unification theory

DOI10.1016/j.fss.2014.07.006zbMath1360.68310OpenAlexW2048555953MaRDI QIDQ529054

Pascual Julián-Iranzo, Clemente Rubio-Manzano

Publication date: 18 May 2017

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

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

zbMATH Keywords

proximity relationsfuzzy logic programmingunification theory

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ Solving Proximity Constraints ⋮ Bireducts with tolerance relations ⋮ The fuzzy logic programming language FASILL: design and implementation ⋮ Extensions of unification modulo ACUI ⋮ A sound and complete semantics for a similarity-based logic programming language ⋮ Approximate Unification in the Description Logic $$\mathcal {FL}_0$$

Uses Software

• Likelog
• FRIL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fuzzy Prolog: A new approach using soft constraints propagation
• Evidential support logic programming
• Weighted fuzzy pattern matching
• Approximate reasoning by similarity-based SLD resolution.
• Should fuzzy equality and similarity satisfy transitivity? Comments on the paper by M. De Cock and E. Kerre
• Similarity-based unification: A multi-adjoint approach
• A declarative semantics for CLP with qualification and proximity
• Quantitative deduction and its fixpoint theory
• An Efficient Unification Algorithm
• A similarity-based resolution rule
• Quantitative Logic Programming Revisited
• Fuzzy Logic and the Resolution Principle
• Fuzzy logic programming