quantificateur
- Domaines
-
- mathématiques
- intelligence artificielle
- Dernière mise à jour
Définition :
Élément de langage qui exprime une quantité quelconque et qui permet l'interprétation d'une formule du calcul des prédicats.
Notes :
En calcul des prédicats, le quantificateur prend la forme d'un symbole logique qui associe une quantité à une variable.
Il y a plusieurs quantificateurs en langage courant dont : un peu, beaucoup, certains, tous, aucun, presque tous, la plupart, exactement trois, pas plus de dix, etc.
Terme privilégié :
- quantificateur n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- quantifier
- quantizer
- quantifying symbol
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- quantificador n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- cuantificador s. m.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- quantificador s. m.