« Unificateur le plus général » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
(Aucune différence)
|
Version du 14 septembre 2019 à 10:56
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
most general unifier
a unifier of a set of literals such that any other unifier can be derived from it by substituting terms for its variables. Abbreviated MGU.
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki