« Unificateur le plus général » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 10 : | Ligne 10 : | ||
'''MGU''' | '''MGU''' | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17014890 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17014890 Source : Le grand dictionnaire terminologique ] | ||
| Ligne 16 : | Ligne 16 : | ||
[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: | |||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 14:06
Définition
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
unificateur le plus général
Anglais
most general unifier
MGU
Sources
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
