Unificateur le plus général

Révision datée du 25 avril 2021 à 19:08 par Imeziani (discussion | contributions)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Définition

Un unificateur d'un ensemble de littéraux tel que tout autre unificateur peut en être dérivé en substituant des termes à ses variables.

Français

unificateur le plus général

Anglais

most general unifier

MGU

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary

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

Publication

Contributeurs: Arielle Halindintwali, Imane Meziani, wiki