« Ensemble de discordance » : différence entre les versions
m (JBM a déplacé la page Disagreement set vers Ensemble de discordance) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
==en construction== | |||
== Définition == | == Définition == | ||
Lors d'une [[algorithme d'unification|unification]], ensemble des sous-expressions qui ont une valeur qui diffère, relativement à leur position, de celle des autres sous-expressions. | Lors d'une [[algorithme d'unification|unification]], ensemble des sous-expressions qui ont une valeur qui diffère, relativement à leur position dans l'expression, de celle des autres sous-expressions. | ||
== Français == | == Français == | ||
| Ligne 16 : | Ligne 17 : | ||
[https://en.wikipedia.org/wiki/Unification_(computer_science)#A_unification_algorithm Source : Wikipedia (Unification) ] | [https://en.wikipedia.org/wiki/Unification_(computer_science)#A_unification_algorithm Source : Wikipedia (Unification) ] | ||
[[Catégorie: | [[Catégorie:Vocabulary]] | ||
[[Catégorie:Intelligence artificielle]] | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:UTexas]] | [[Catégorie:UTexas]] | ||
Version du 2 juin 2021 à 17:09
en construction
Définition
Lors d'une unification, ensemble des sous-expressions qui ont une valeur qui diffère, relativement à leur position dans l'expression, de celle des autres sous-expressions.
Français
ensemble de discordance
Anglais
disagreement set
Contributeurs: Jean Benoît Morel, wiki
