Generalization algorithms with proximity relations in full fuzzy signatures

Temur Kutsia, Cleo Pau
Anti-unification aims at computing generalizations for given terms, retaining their common structure and abstracting differences by variables. We study anti-unification for full fuzzy signatures, where the notion of common structure is relaxed into a "proximal" one with respect to a given proximity relation. Mismatches between both symbol names and their arities are permitted. We develop algorithms for different cases of the problem and study their properties.
doi:10.35011/risc.21-09 fatcat:q3kkcvouuzgfhn2bpst37atnwu