author = {Temur Kutsia and Cleo Pau},
title = {{Proximity-Based Unification and Matching for Full Fuzzy Signatures}},
language = {english},
abstract = {Proximity relations are binary fuzzy relations, which are reflexive and symmetric, but not transitive. We propose proximity-based unification and matching algorithms in fuzzy languages whose signatures tolerate mismatches in function symbol names, arity, and in the arguments order (so called full fuzzy signatures). This work generalizes on the one hand, proximity-based unification to full fuzzy signatures, and on the other hand, similarity-based unification over a full fuzzy signature by extending similarity to proximity.},
number = {21-08},
year = {2021},
month = {April},
keywords = {Fuzzy proximity relations, Unification Matching, Arity mismatch},
length = {15},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}