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


(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle‏‎ Catégorie:UTexas‏‎ == Définition == xxxxxxx == Français == xx... »)
Balise : Éditeur de wikicode 2017
 
Aucun résumé des modifications
Ligne 1 : Ligne 1 :
== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas‏‎]]
== Définition ==
== Définition ==
xxxxxxx
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.


== Français ==
== Français ==
xxxxxxx
'''ensemble de discordance'''
   
   
== Anglais ==
== Anglais ==
'''disagreement set'''
'''disagreement set'''


in unification, the set of terms in a particular argument position that have different values.


<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 ]
[https://en.wikipedia.org/wiki/Unification_(computer_science)#A_unification_algorithm  Source : Wikipedia (Unification) ]
[[Catégorie:Publication]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas‏‎]]

Version du 2 juin 2021 à 17:02

Définition

Lors d'une unification, ensemble des sous-expressions qui ont une valeur qui diffère, relativement à leur position, de celle des autres sous-expressions.

Français

ensemble de discordance

Anglais

disagreement set



Source : Utexas Ai vocabulary

Source : Wikipedia (Unification)



Contributeurs: Jean Benoît Morel, wiki