TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
LOGICAL CONCEPT [6 fiches]
Fiche 1 - données d’organisme interne 2023-04-14
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- logical omniscience
1, fiche 1, Anglais, logical%20omniscience
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
Instead of taking logical omniscience as an idealization(or heuristic) in the modelling of the beliefs of an agent, we can understand it to be dealing realistically with a different though related concept, namely, what is implicit in what an agent believes. 2, fiche 1, Anglais, - logical%20omniscience
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- omniscience logique
1, fiche 1, Français, omniscience%20logique
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 OBS
En logique propositionnelle, propriété d'un agent qui connaît toutes les conséquences propositionnelles de ses propres connaissances. Selon Platon, un agent peut connaître toutes les conséquences de ses connaissances, sans nécessairement les croire explicitement. L'omniscience logique est une approximation utile car les agents intelligents existent sous quelques formes de raisonnement tout au moins. 1, fiche 1, Français, - omniscience%20logique
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 1992-10-12
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- adding alternative rule
1, fiche 2, Anglais, adding%20alternative%20rule
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- adding internal disjunction rule 1, fiche 2, Anglais, adding%20internal%20disjunction%20rule
correct
- adding options 2, fiche 2, Anglais, adding%20options
correct
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 CONT
Selective Generalization Rules.... The adding alternative rule :.... A concept description can be generalized by adding, through the use of logical disjunction, an alternative to it. 1, fiche 2, Anglais, - adding%20alternative%20rule
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- extension de disjonction
1, fiche 2, Français, extension%20de%20disjonction
correct, nom féminin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- généralisation par disjonction 2, fiche 2, Français, g%C3%A9n%C3%A9ralisation%20par%20disjonction
correct, nom féminin
- règle de l'ajout des disjonctions 3, fiche 2, Français, r%C3%A8gle%20de%20l%27ajout%20des%20disjonctions
correct, nom féminin
- règle d'ajout de disjonctions 3, fiche 2, Français, r%C3%A8gle%20d%27ajout%20de%20disjonctions
correct, nom féminin
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 DEF
Une façon d'élargir la partie condition afin de rendre une inférence plus générale consiste à ajouter des options reliées par l'opération de disjonction OU. 2, fiche 2, Français, - extension%20de%20disjonction
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 1989-06-27
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
Fiche 3, La vedette principale, Anglais
- constant identifier
1, fiche 3, Anglais, constant%20identifier
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 CONT
In contrast to the logical variable, a constant identifier is used to denote an atomic entity or concept. It cannot be substituted by any other term and it will have the same interpretation in all clauses or any derivations of them. The constant identifier, however, cannot be divided into two parts. 1, fiche 3, Anglais, - constant%20identifier
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
Fiche 3, La vedette principale, Français
- identificateur constant
1, fiche 3, Français, identificateur%20constant
proposition, nom masculin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
- identificateur fixe 1, fiche 3, Français, identificateur%20fixe
proposition, nom masculin
- identificateur logique fixe 1, fiche 3, Français, identificateur%20logique%20fixe
proposition, nom masculin
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 OBS
Voir identificateur, constante, variable, opérateur logique. 1, fiche 3, Français, - identificateur%20constant
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1989-01-20
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Artificial Intelligence
Fiche 4, La vedette principale, Anglais
- concept membership
1, fiche 4, Anglais, concept%20membership
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 CONT
In Artificial Intelligence, concept membership is evaluated by matching an instance to a single logical description called the concept description. 2, fiche 4, Anglais, - concept%20membership
Fiche 4, Français
Fiche 4, Domaine(s)
- Intelligence artificielle
Fiche 4, La vedette principale, Français
- appartenance à un concept
1, fiche 4, Français, appartenance%20%C3%A0%20un%20concept
correct, nom féminin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 1986-12-16
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Grammar
- Semantics
Fiche 5, La vedette principale, Anglais
- quantifier
1, fiche 5, Anglais, quantifier
correct
Fiche 5, Les abréviations, Anglais
Fiche 5, Les synonymes, Anglais
Fiche 5, Justifications, Anglais
Record number: 5, Textual support number: 1 DEF
A word indicating quantity, used to modify another word or group of words, e.g. numerals like "two", "twenty", etc., or words like "much", "several", "few", etc. 1, fiche 5, Anglais, - quantifier
Record number: 5, Textual support number: 1 OBS
In generative grammar, the concept of quantifier has been strongly associated with its logical sense. 2, fiche 5, Anglais, - quantifier
Fiche 5, Français
Fiche 5, Domaine(s)
- Grammaire
- Sémantique
Fiche 5, La vedette principale, Français
- quantificateur
1, fiche 5, Français, quantificateur
correct, nom masculin
Fiche 5, Les abréviations, Français
Fiche 5, Les synonymes, Français
- quantifieur 1, fiche 5, Français, quantifieur
correct, nom masculin
Fiche 5, Justifications, Français
Record number: 5, Textual support number: 1 CONT
On appelle quantifieurs les déterminants qui indiquent la quantité par laquelle le nom est défini ("tout", "deux", "chaque", "un", etc. sont des quantifieurs). 1, fiche 5, Français, - quantificateur
Record number: 5, Textual support number: 1 OBS
On peut dire aussi qu'il y a modification par quantificateurs d'autres parties du discours. 2, fiche 5, Français, - quantificateur
Fiche 5, Espagnol
Fiche 5, Justifications, Espagnol
Fiche 6 - données d’organisme interne 1986-06-17
Fiche 6, Anglais
Fiche 6, Subject field(s)
- Informatics
Fiche 6, La vedette principale, Anglais
- pattern definition 1, fiche 6, Anglais, pattern%20definition
Fiche 6, Les abréviations, Anglais
Fiche 6, Les synonymes, Anglais
Fiche 6, Justifications, Anglais
Record number: 6, Textual support number: 1 DEF
A logical concept that associates subgroups of graphic data within a single drawing. 1, fiche 6, Anglais, - pattern%20definition
Record number: 6, Textual support number: 1 OBS
Most character sets such as ASCII have pattern definitions which are permanently defined and mapped to a keyboard. 1, fiche 6, Anglais, - pattern%20definition
Fiche 6, Français
Fiche 6, Domaine(s)
- Informatique
Fiche 6, La vedette principale, Français
- définition de la forme
1, fiche 6, Français, d%C3%A9finition%20de%20la%20forme
proposition, nom féminin
Fiche 6, Les abréviations, Français
Fiche 6, Les synonymes, Français
Fiche 6, Justifications, Français
Fiche 6, Espagnol
Fiche 6, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :