Matching and Generalization Modulo Proximity and Tolerance Relations

DOI10.1007/978-3-030-98479-3_16MaRDI QIDQ6487233zbMATH OpenFDO

Authors Temur Kutsia, Cleo Pau

Publication date 11 August 2022

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• Solving proximity constraints
• Fuzzy tolerance relation, fuzzy tolerance space and basis
• Proximity-based unification theory
• Similarity and Fuzzy Tolerance Spaces
• An algorithm to compute the transitive closure, a transitive approximation and a transitive opening of a fuzzy proximity

Cites work

• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• A library of anti-unification algorithms
• A modular order-sorted equational generalization algorithm
• Approximate reasoning by similarity-based SLD resolution.
• Fuzzy unification and generalization of first-order terms over similar signatures
• Introduction to algorithms.
• On the coverings by tolerance classes
• Proximity-based unification theory
• Solving proximity constraints
• Term Rewriting and All That
• Triangular norms
• Unification theory

Cited in

(2)

• A framework for approximate generalization in quantitative theories
• Generalized score matching for general domains

This page was built for publication: Matching and Generalization Modulo Proximity and Tolerance Relations

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