Unificateur le plus général


Révision datée du 14 septembre 2019 à 10:56 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 == xxxxxxx == A... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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.


Source : UTexas Artificial Intelligence Vocabulary

Récupérée de « https://datafranca.org/wiki/index.php?title=Unificateur_le_plus_général&oldid=19904 »


Contributeurs: Arielle Halindintwali, Imane Meziani, wiki