algorithme d'unification
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Algorithme qui permet de comparer deux littéraux pour déterminer s'il existe un ensemble de substitutions qui les rend identiques.
Terme privilégié :
- algorithme d'unification n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- unification algorithm