Unificateur le plus général


Révision datée du 28 janvier 2024 à 15:06 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(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

Sources

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=93018 »


Contributeurs: Arielle Halindintwali, Imane Meziani, wiki