« Ensemble de discordance » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 10 : | Ligne 10 : | ||
<small> | <small> | ||
[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 ] | ||
| Ligne 16 : | Ligne 15 : | ||
[https://fr.wikipedia.org/wiki/Unification Source : Wikipedia (Unification) ] | [https://fr.wikipedia.org/wiki/Unification Source : Wikipedia (Unification) ] | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 3 juin 2021 à 10:54
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
Contributeurs: Jean Benoît Morel, wiki
