« Ensemble de discordance » : différence entre les versions


Aucun résumé des modifications
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
Ligne 9 : Ligne 9 :




<small>
 
==Sources==


[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]

Version du 27 janvier 2024 à 23:03

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