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

Version du 3 juin 2021 à 08:41

Dans une unification, ensemble des sous-termes à une position particulière qui ont une valeur différente des sous-termes correspondants.

ensemble de discordance

disagreement set

Source : Utexas Ai vocabulary

@@ Ligne 1 : / Ligne 1 : @@
-==en construction==
 == Définition ==
-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.
+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 ==
@@ Ligne 15 : / Ligne 14 : @@
 [https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
-[https://en.wikipedia.org/wiki/Unification_(computer_science)#A_unification_algorithm  Source : Wikipedia (Unification) ]
+[https://fr.wikipedia.org/wiki/Unification  Source : Wikipedia (Unification) ]
-[[Catégorie:Vocabulary]]
+[[Catégorie:Publication]]
 [[Catégorie:Intelligence artificielle‏‎]]
 [[Catégorie:UTexas‏‎]]