semi-unification
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
En résolution de problèmes, type particulier d'unification utilisé en logique des prédicats pour lequel les variables n'apparaissent que dans l'un des deux termes à unifier.
Note :
Le moteur d'inférence SNARK par exemple fonctionne selon le processus de semi-unification.
Terme privilégié :
- semi-unification n. f.
-
Terme parfois employé comme synonyme de filtrage.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- semi-unification