« Unificateur le plus général » : différence entre les versions

Version du 24 avril 2021 à 20:41

Un unificateur d'un ensemble de littéraux tel que tout autre unificateur peut en être dérivé en substituant des termes à ses variables.

unificateur le plus général

most general unifier

MGU

Source : Le grand dictionnaire terminologique

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:UTexas]]
 == Définition ==
-xxxxxxx
+Un unificateur d'un ensemble de littéraux tel que tout autre unificateur peut en être dérivé en substituant des termes à ses variables.
 == Français ==
-xxxxxxx
+'''unificateur le plus général'''
 == Anglais ==
 '''most general unifier '''
-a unifier of a set of literals such that any other unifier can be derived from it by substituting terms for its variables. Abbreviated MGU.
+'''MGU'''
+<small>
+[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17014890  Source : Le grand dictionnaire terminologique  ]
-<small>
+[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary  ]
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
+[[Catégorie:Révision]]