Ensemble de discordance


La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

Dans une unification, ensemble des sous-termes à une position particulière qui ont une valeur différente des sous-termes correspondants.

Français

ensemble de discordance

Anglais

disagreement set

Sources

Source : Utexas Ai vocabulary

Source : Wikipedia (Unification)



Contributeurs: Jean Benoît Morel, wiki