Matching and Generalization Modulo Proximity and Tolerance Relations

DOI10.1007/978-3-030-98479-3_16zbMATH Open1530.68055MaRDI QIDQ6487233FDOQ6487233

Authors: Temur Kutsia, Cleo Pau 

Publication date: 11 August 2022

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

Mathematics Subject Classification ID

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

Cites Work

• Introduction to algorithms.
• Triangular norms
• Term Rewriting and All That
• Title not available (Why is that?)
• Unification theory
• On the coverings by tolerance classes
• Title not available (Why is that?)
• Approximate reasoning by similarity-based SLD resolution.
• Proximity-based unification theory
• A modular order-sorted equational generalization algorithm
• Fuzzy unification and generalization of first-order terms over similar signatures
• A library of anti-unification algorithms
• Solving proximity constraints

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)