Ensemble de discordance


Révision datée du 31 janvier 2024 à 10:01 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵↵↵==Sources== » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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)

Récupérée de « https://datafranca.org/wiki/index.php?title=Ensemble_de_discordance&oldid=95644 »

Contributeurs: Jean Benoît Morel, wiki