unificateur le plus général
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Terme privilégié :
- unificateur le plus général n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Définition
A most general unifier does the lest amount of substitution necessary to achieve unification, hence it is the unification that guarantees the maximum generality.
Note :
All most general unifiers for a set of expressions are equivalent except for the simple remaining of variables.
Termes :
- most general unifier
- MGU