« Ensemble de discordance » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵↵↵==Sources== » par « ==Sources== ») |
||
| (4 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Dans une [[algorithme d'unification|unification]], ensemble des sous-termes à une position particulière qui ont une valeur différente des sous-termes correspondants. | |||
== Français == | == Français == | ||
| Ligne 9 : | Ligne 8 : | ||
'''disagreement set''' | '''disagreement set''' | ||
==Sources== | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | |||
[https://fr.wikipedia.org/wiki/Unification Source : Wikipedia (Unification) ] | |||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 31 janvier 2024 à 10:01
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
Contributeurs: Jean Benoît Morel, wiki
