Ensemble de discordance


De DataFranca

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


Source : Utexas Ai vocabulary

Source : Wikipedia (Unification)

Contributeurs : Jean Benoît Morel, Pitpitt