Teimuraz Kutsia, Ioana-Cleopatra Pau,
"A framework for approximate generalization in quantitative theories"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, Nummer 22-04, RISC, JKU, Hagenberg, Linz, 5-2022, ISBN: 2791-4267
A framework for approximate generalization in quantitative theories
Sprache des Titels:
Anti-unification aims at computing generalizations for given terms, retaining their common structure and abstracting differences by variables. We study quantitative anti-unification where the notion of the common structure is relaxed into "proximal'' up to the given degree with respect to the given fuzzy proximity relation. Proximal symbols may have different names and arities. We develop a generic set of rules for computing minimal complete sets of approximate generalizations and study their properties. Depending on the characterizations of proximities between symbols and the desired forms of solutions, these rules give rise to different versions of concrete algorithms.
Sprache der Kurzfassung:
RISC Report Series, Johannes Kepler University Linz, Austria