logique d'ordre supérieur
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique dans laquelle les prédicats eux-mêmes sont des variables.
Terme privilégié :
- logique d'ordre supérieur n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- high-order logic
- high-order logics