TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

TRUTH-PRESERVING [8 fiches]

Filtrer les résultats par domaine Liste alphabétique des termes

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 2024-09-10

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
DEF

An inference which derives a logical conclusion from a specific set of premises.

OBS

Deduction is the only truth-preserving inference.

OBS

deductive inference; deduction: designations and definition standardized by ISO in collaboration with the International Electrotechnical Commission.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
DEF

Inférence qui part d'un ensemble de prémisses particulier pour en dériver une conclusion logique.

OBS

La déduction est la seule inférence qui maintient la validité des énoncés.

OBS

inférence déductive; déduction : désignations et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.

Espagnol

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Inteligencia artificial
Conserver la fiche 1

Fiche 2 2017-04-12

Anglais

Subject field(s)
  • Artificial Intelligence
  • Training of Personnel
  • Education Theory and Methods
  • Internet and Telematics
DEF

A learning strategy in which concepts are deduced from knowledge given or possessed, by means of truth-preserving transformations of assertions.

CONT

Deductive learning includes knowledge reformulation, knowledge compilation, creation of macro-operators, caching, chunking, equivalence-preserving, operationalization, and other truth-preserving transformations.

Français

Domaine(s)
  • Intelligence artificielle
  • Perfectionnement et formation du personnel
  • Théories et méthodes pédagogiques
  • Internet et télématique
DEF

Mode d'apprentissage symbolique automatique utilisant la déduction comme mode de raisonnement.

CONT

[...] dans l'apprentissage déductif, le logiciel doit effectuer un pas supplémentaire en transformant les données selon certaines lois de déduction. Le processus de diagnostic cognitif repose généralement sur cette stratégie. La séquence de réponses de l'élève constitue la connaissance fournie. L'ordinateur y applique un raisonnement déductif afin de déterminer l'état cognitif de l'élève.

CONT

L'apprentissage déductif peut se faire à partir de spécifications ou d'exemples.

CONT

On dira que l'apprentissage est déductif quand toutes les connaissances nécessaires sont données explicitement au départ. L'apprentissage «par cœur» en est un cas particulièrement trivial, mais l'apprentissage numérique peut être aussi qualifié de déductif, et [...] est loin d'être trivial.

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
  • Capacitación del personal
  • Teorías y métodos pedagógicos
  • Internet y telemática
CONT

Forma de aprendizaje en la que partiendo del conocimiento suministrado y/o poseído, se deduce el nuevo conocimiento, es decir, se transforma el conocimiento existente mediante una función preservadora de la verdad.

Conserver la fiche 2

Fiche 3 - données d’organisme externe 2014-09-03

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
28.03.02 (2382)
numéro d'article de norme ISO/CEI
DEF

inference which derives a logical conclusion from a specific set of premises

OBS

Deduction is the only truth-preserving inference.

OBS

deduction; deductive inference: terms and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
28.03.02 (2382)
numéro d'article de norme ISO/CEI
DEF

inférence qui part d'un ensemble de prémisses particulier pour en dériver une conclusion logique

OBS

La déduction est la seule inférence qui maintient la validité des énoncés.

OBS

déduction; inférence déductive : termes et définition normalisés par l'ISO/CEI [ISO/IEC 2382-28:1995].

Espagnol

Conserver la fiche 3

Fiche 4 - données d’organisme externe 2006-02-01

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
31.03.17 (2382)
numéro d'article de norme ISO/CEI
DEF

learning strategy in which new knowledge is deduced from existing knowledge by means of truth-preserving transformations of assertions

OBS

Deductive learning generally leads to specialization of existing knowledge.

OBS

Deductive learning includes knowledge reformulation, knowledge compilation, and other truth-preserving transformations.

OBS

deductive learning; learning by deduction: terms and definition standardized by ISO/IEC [ISO/IEC 2382-31:1997].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
31.03.17 (2382)
numéro d'article de norme ISO/CEI
DEF

stratégie d'apprentissage qui permet de déduire de nouvelles connaissances en appliquant aux assertions disponibles des transformations qui préservent la valeur de vérité

OBS

En règle générale, l'apprentissage déductif entraîne une spécialisation des connaissances acquises.

OBS

L'apprentissage déductif comprend la reformulation et la compilation des connaissances ainsi que d'autres transformations qui préservent la valeur de vérité.

OBS

apprentissage déductif : terme et définition normalisés par l'ISO/CEI [ISO/IEC 2382-31:1997].

Espagnol

Conserver la fiche 4

Fiche 5 1999-02-05

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A mode of reasoning that starts with specific facts and concludes general hypotheses of theories (from which the initial facts can be rederived via Deductive Inference).

CONT

Inductive inference may not be truth-preserving that is, its conclusions may be incorrect though the premise statements are correct.

OBS

It employs indu ctive inference rules. Opposite of deductive inference.

OBS

Terms standardized by ISO/IEC.

Français

Domaine(s)
  • Intelligence artificielle
DEF

Inférence qui procède des faits établis vers des conclusions ou hypothèses plus générales (faits à établir). Un système inductif apprend des règles ou des concepts à partir d'un ensemble d'exemples.

OBS

Les méthodes d'inférence inductive, toutefois, ne permettent habituellement pas de choisir la généralisation appropriée parmi toutes celles qui sont souvent possibles. (cf. Hayes-Roth et autres, 1983).

CONT

Contrairement à la déduction, l'induction n'est pas nécessairement adéquate (elle préserve la fausseté).

OBS

Termes normalisés par ISO/CEI.

Espagnol

Conserver la fiche 5

Fiche 6 1992-10-12

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

This quality of non-truth preservation contrasts inductive inference with truth-preserving deductive inference.

CONT

Specialization and reformulation rules are the conventional truth-preserving inference rules used in deductive logic.

Français

Domaine(s)
  • Intelligence artificielle
CONT

La déduction est adéquate, au sens où toute inférence par déduction produit une sentence qui est vraie dans tous les modèles de la théorie de départ ;(on dit encore que la déduction préserve la vérité).

Espagnol

Conserver la fiche 6

Fiche 7 1992-10-12

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

Inductive inference that produces strong hypotheses is falsity preserving. This means that if the original premise statements are false, the derived hypothesis will be false also.

CONT

... the generalization rules are not truth-preserving but falsity preserving.

Français

Domaine(s)
  • Intelligence artificielle
CONT

Contrairement [...] à la déduction, l'induction n'est pas nécessairement adéquate en général (on dit encore que l'induction préserve la fausseté). Nous utiliserons le symbole /< pour annoter les règles d'inférence qui ne sont pas nécessairement adéquates.

Espagnol

Conserver la fiche 7

Fiche 8 1991-05-15

Anglais

Subject field(s)
  • General Vocabulary

Français

Domaine(s)
  • Vocabulaire général

Espagnol

Conserver la fiche 8

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

Options d’affichage

Changer l'ordre d'affichage des langues officielles du Canada
Affichage des langues non officielles (l'espagnol ou le portugais)
Affichage des définitions, contextes, etc. dans les fiches

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 :