Algorithme d'unification


Révision datée du 15 septembre 2019 à 11:06 par Pitpitt (discussion | contributions) (Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle‏‎ Catégorie:UTexas‏‎ == Définition == xxxxxxx == Français == xx... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

unification algorithm

an algorithm for finding a substitution of terms for variables in a set of predicate calculus literals that will make the literals the same.


Source : Utexas Ai vocabulary