Unificateur le plus général


(Redirigé depuis Most general unifier)

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

Sources

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary