« Algorithme d'unification » : différence entre les versions


m (Arielle H a déplacé la page Unification algorithm vers Algorithme d'unification)
Aucun résumé des modifications
(2 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas‏‎]]
== Définition ==
== Définition ==
xxxxxxx
Algorithme qui permet de comparer deux littéraux pour déterminer s'il existe un ensemble de substitutions qui les rend identiques.


== Français ==
== Français ==
xxxxxxx
'''algorithme d'unification'''
   
   
== Anglais ==
== Anglais ==
'''unification algorithm'''
'''unification algorithm'''


an algorithm for finding a substitution of terms for variables in a set of predicate calculus literals that will make the literals the same.


<small>
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8398949  Source : Le grand dictionnaire terminologique  ]


<small>


[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : Utexas Ai vocabulary ]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Version du 21 avril 2021 à 16:50

Définition

Algorithme qui permet de comparer deux littéraux pour déterminer s'il existe un ensemble de substitutions qui les rend identiques.

Français

algorithme d'unification

Anglais

unification algorithm


Source : Le grand dictionnaire terminologique