Unification and generalization are operations on two terms computing respectively their greatest lower bound and least upper bound when the terms are quasi-ordered by subsumption up to variable renaming (i.e., t 1 ⪯t 2 iff t 1 =t 2 σ for some variable substitution σ). When term signatures are such that distinct functor symbols may be related with a fuzzy equivalence (called a similarity), these operations can be formally extended to tolerate mismatches on functor names and/or arity or argument order. We reformulate and extend previous work with a declarative approach defining unification and generalization as sets of axioms and rules forming a complete constraint-normalization proof system. These include the Reynolds-Plotkin term-generalization procedures, Maria Sessa's “weak” unification with partially fuzzy signatures and its corresponding generalization, as well as novel extensions of such operations to signatures with weaker functor similarities (i.e., with possibly different arities). One advantage of this approach is that it requires no modification of the conventional data structures for terms and substitutions. This and the fact that these declarative specifications are efficiently executable conditional Horn-clauses offers great practical potential for fuzzy information-handling applications.
Ait-Kaci, H., & Pasi, G. (2020). Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach. FUZZY SETS AND SYSTEMS, 391, 1-46.
|Citazione:||Ait-Kaci, H., & Pasi, G. (2020). Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach. FUZZY SETS AND SYSTEMS, 391, 1-46.|
|Tipo:||Articolo in rivista - Articolo scientifico|
|Carattere della pubblicazione:||Scientifica|
|Presenza di un coautore afferente ad Istituzioni straniere:||Si|
|Titolo:||Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach|
|Autori:||Ait-Kaci, H; Pasi, G|
PASI, GABRIELLA (Corresponding)
|Data di pubblicazione:||2020|
|Rivista:||FUZZY SETS AND SYSTEMS|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1016/j.fss.2019.03.019|
|Appare nelle tipologie:||01 - Articolo su rivista|