Teimuraz Kutsia, Ioana Cleopatra Pau,
"A framework for approximate generalization in quantitative theories"
, Serie RISC Report Series, Nummer 22-04, RISC, JKU, Hagenberg, Linz, 5-2022, ISSN: 2791-4267
Original Titel:
A framework for approximate generalization in quantitative theories
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Forschungs-