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

Dernière version du 28 janvier 2024 à 15:06

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

@@ 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'''
+==Sources==
+[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17014890  Source : Le grand dictionnaire terminologique  ]
+[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary  ]
-<small>
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]