Declarative and procedural semantics of fuzzy similarity based unification

MaRDI QIDQ5389675zbMATH OpenFDO

Authors Peter Vojtáš

Publication date 23 April 2012

Full work available at URL https://eudml.org/doc/33512, http://www.kybernetika.cz/content/2000/6/707

zbMATH Keywords

declarative semanticsfuzzy logicfuzzy similarity

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Semantics in the theory of computing (68Q55) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Similarity-based unification: A multi-adjoint approach
• A multi-adjoint approach to similarity-based unification
• A similarity-based resolution rule
• scientific article; zbMATH DE number 1455621
• Fuzzy unification and generalization of first-order terms over similar signatures

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• An Efficient Unification Algorithm
• Fuzzy logic programming
• Fuzzy sets in approximate reasoning. II: Logical approaches
• scientific article; zbMATH DE number 410424 (Why is no real title available?)
• scientific article; zbMATH DE number 1790409 (Why is no real title available?)
• scientific article; zbMATH DE number 851780 (Why is no real title available?)
• scientific article; zbMATH DE number 864791 (Why is no real title available?)
• Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years
• Quantitative deduction and its fixpoint theory
• Support logic programming

Cited in

(13)

• Fuzzy unification and generalization of first-order terms over similar signatures
• A decision procedure for semantical equivalence of thin FM specifications
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
• A multi-adjoint approach to similarity-based unification
• Vague domains, S-unification and logic programming
• Arguments and misunderstandings: fuzzy unification for negotiating agents
• scientific article; zbMATH DE number 1455621 (Why is no real title available?)
• Fuzzy unification and first order probabilistic logic
• A similarity-based resolution rule
• Solving proximity constraints
• Proximity-based unification theory
• Fuzzy logic programming
• Constraint solving over multiple similarity relations

This page was built for publication: Declarative and procedural semantics of fuzzy similarity based unification

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