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

Version du 25 avril 2021 à 20:08

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

Version du 24 avril 2021 à 21:41 (voir la source) Arielle H (discussion \| contributions) Aucun résumé des modifications ← Modification précédente		Version du 25 avril 2021 à 20:08 (voir la source) Imeziani (discussion \| contributions) Aucun résumé des modifications Modification suivante →
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:~~Révision~~]]		[[Catégorie:publication]]