TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
VARIABLE QUANTIFIEE [5 records]
Record 1 - internal organization data 2024-05-09
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
Record 1, Main entry term, English
- inference rule
1, record 1, English, inference%20rule
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
- rule of inference 2, record 1, English, rule%20of%20inference
correct
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
A rule that produces new assertions from old, either by the application of strict logical principles or by more imperfect, plausible methods. 3, record 1, English, - inference%20rule
Record number: 1, Textual support number: 1 CONT
The inference rules include generalization rules. Their application to descriptions is constrained by problem background knowledge. 3, record 1, English, - inference%20rule
Record number: 1, Textual support number: 2 CONT
forward inference rule. 4, record 1, English, - inference%20rule
Record number: 1, Textual support number: 3 CONT
To teach the geography of Africa we would need to change only the entries in our semantic network, the structure of the network and the rules of inference remaining largely unchanged. 5, record 1, English, - inference%20rule
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
Record 1, Main entry term, French
- règle d’inférence
1, record 1, French, r%C3%A8gle%20d%26rsquo%3Binf%C3%A9rence
correct
Record 1, Abbreviations, French
Record 1, Synonyms, French
- règle d’inférences 2, record 1, French, r%C3%A8gle%20d%26rsquo%3Binf%C3%A9rences
correct, feminine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Règle qui permet de créer de nouvelles assertions à partir d’assertions déjà existantes; les deux règles principales sont le modus ponens [...] et la "spécialisation universelle" consistant à remplacer une variable quantifiée par une constante. 2, record 1, French, - r%C3%A8gle%20d%26rsquo%3Binf%C3%A9rence
Record number: 1, Textual support number: 1 CONT
On peut distinguer des stratégies qui sont principalement inductives, déductives, abductives ou analogiques selon la nature des règles d’inférence appliquées. 3, record 1, French, - r%C3%A8gle%20d%26rsquo%3Binf%C3%A9rence
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2020-09-14
Record 2, English
Record 2, Subject field(s)
- Mathematics
- Artificial Intelligence
Record 2, Main entry term, English
- quantified constraint satisfaction problem
1, record 2, English, quantified%20constraint%20satisfaction%20problem
correct
Record 2, Abbreviations, English
- QCSP 1, record 2, English, QCSP
correct
Record 2, Synonyms, English
- quantified CSP 2, record 2, English, quantified%20CSP
correct
- QCSP 2, record 2, English, QCSP
correct
- QCSP 2, record 2, English, QCSP
Record 2, Textual support, English
Record number: 2, Textual support number: 1 CONT
In [a] quantified CSP (QCSP), variables are existentially or universally quantified. 2, record 2, English, - quantified%20constraint%20satisfaction%20problem
Record 2, French
Record 2, Domaine(s)
- Mathématiques
- Intelligence artificielle
Record 2, Main entry term, French
- problème de satisfaction de contraintes quantifiées
1, record 2, French, probl%C3%A8me%20de%20satisfaction%20de%20contraintes%20quantifi%C3%A9es
correct, masculine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 CONT
[Dans] les problèmes de satisfaction de contraintes quantifiées[, ] chaque variable est quantifiée soit existentiellement, soit universellement. 1, record 2, French, - probl%C3%A8me%20de%20satisfaction%20de%20contraintes%20quantifi%C3%A9es
Record 2, Spanish
Record 2, Campo(s) temático(s)
- Matemáticas
- Inteligencia artificial
Record 2, Main entry term, Spanish
- problema de satisfacción de restricciones cuantificadas
1, record 2, Spanish, problema%20de%20satisfacci%C3%B3n%20de%20restricciones%20cuantificadas
proposal, masculine noun
Record 2, Abbreviations, Spanish
Record 2, Synonyms, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 2004-08-12
Record 3, English
Record 3, Subject field(s)
- Computer Mathematics
Record 3, Main entry term, English
- digital representation
1, record 3, English, digital%20representation
correct, standardized
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, Textual support, English
Record number: 3, Textual support number: 1 DEF
A discrete representation of a quantized value of a variable, that is of a number, by digits. 2, record 3, English, - digital%20representation
Record number: 3, Textual support number: 1 OBS
digital representation: term standardized by CSA and ISO. 3, record 3, English, - digital%20representation
Record 3, French
Record 3, Domaine(s)
- Mathématiques informatiques
Record 3, Main entry term, French
- représentation numérale
1, record 3, French, repr%C3%A9sentation%20num%C3%A9rale
correct, feminine noun, standardized
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record number: 3, Textual support number: 1 DEF
Représentation discrète de la valeur quantifiée d’une variable, c'est-à-dire d’un nombre, à l'aide de chiffres. 2, record 3, French, - repr%C3%A9sentation%20num%C3%A9rale
Record number: 3, Textual support number: 1 OBS
représentation numérale : terme normalisé par la CSA et l’ISO. 3, record 3, French, - repr%C3%A9sentation%20num%C3%A9rale
Record 3, Spanish
Record 3, Campo(s) temático(s)
- Matemáticas para computación
Record 3, Main entry term, Spanish
- representación digital
1, record 3, Spanish, representaci%C3%B3n%20digital
correct, feminine noun
Record 3, Abbreviations, Spanish
Record 3, Synonyms, Spanish
- representación discreta 1, record 3, Spanish, representaci%C3%B3n%20discreta
correct, feminine noun
Record 3, Textual support, Spanish
Record number: 3, Textual support number: 1 DEF
Acto de registrar valores o magnitudes mediante dígitos. 1, record 3, Spanish, - representaci%C3%B3n%20digital
Record 4 - internal organization data 1986-10-22
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
Record 4, Main entry term, English
- quantified variable
1, record 4, English, quantified%20variable
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, Textual support, English
Record number: 4, Textual support number: 1 CONT
quantifier: one of the two symbols used in the extended propositional calculus and the predicate calculus. The universal quantifier is read "for all" and the existential quantifier is read "there exists". One or more variables must immediately follow the quantifier; they are called "bound variables". These must be followed by a predicate, which may contain variables known as "free variables". The whole quantified predicate states the truth value of the predicate concerning the free variables ... 1, record 4, English, - quantified%20variable
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
Record 4, Main entry term, French
- variable quantifiée
1, record 4, French, variable%20quantifi%C3%A9e
correct, feminine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
Record number: 4, Textual support number: 1 CONT
La distinction importante entre logique des propositions et logique des prédicats. La puissance additionnelle de la logique des prédicats résulte de la possibilité d’utiliser des variables quantifiées. 1, record 4, French, - variable%20quantifi%C3%A9e
Record 4, Spanish
Record 4, Textual support, Spanish
Record 5 - internal organization data 1986-05-06
Record 5, English
Record 5, Subject field(s)
- Artificial Intelligence
Record 5, Main entry term, English
- substitution
1, record 5, English, substitution
correct
Record 5, Abbreviations, English
Record 5, Synonyms, English
Record 5, Textual support, English
Record number: 5, Textual support number: 1 DEF
The replacing of a quantity by its equal or of a variable by a value of it, or of an algebraic expression or function by one that is equal in value. 1, record 5, English, - substitution
Record 5, French
Record 5, Domaine(s)
- Intelligence artificielle
Record 5, Main entry term, French
- spécialisation universelle
1, record 5, French, sp%C3%A9cialisation%20universelle
correct, feminine noun
Record 5, Abbreviations, French
Record 5, Synonyms, French
- substitution 1, record 5, French, substitution
correct, feminine noun
Record 5, Textual support, French
Record number: 5, Textual support number: 1 DEF
Processus consistant à remplacer une variable quantifiée par une constante. 1, record 5, French, - sp%C3%A9cialisation%20universelle
Record number: 5, Textual support number: 1 OBS
Le processus de rendre des expressions quantifiées identiques par les substitutions appropriées est appelé "unification". 1, record 5, French, - sp%C3%A9cialisation%20universelle
Record 5, Spanish
Record 5, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: