logique typée
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Logique qui admet plusieurs types distincts de variables. Les symboles fonctionnels et relationnels sont eux aussi typés au sens où leurs arguments sont restreints aux termes du type adéquat.
Note :
Exemple : la relation binaire « mère » pourrait être astreinte à ne recevoir que des objets du type « femme » en premier argument et des objets du type « humain » en second argument.
Termes privilégiés :
- logique typée n. f.
- logique des types n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- typed logic
- type logic