TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Substantiation is [a] comprehensive summary or references to the documented evidence for an audit report. Substantiation summarizes the material or includes references to the material that supports the factual statements, findings, recommendations, and the conclusion of the audit report, including any logical deductions and judgments.  2, fiche 1, Anglais, - substantiation

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

La corroboration est composée d’un résumé exhaustif ou de références aux éléments probants documentés pour un rapport d’audit. Elle consiste notamment à résumer les documents justificatifs ou à inclure des renvois à ces documents qui étayent les énoncés factuels, les constatations, les recommandations et la conclusion du rapport d’audit, y compris toute déduction logique et tout jugement.  2, fiche 1, Français, - corroboration

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

... the process where a trained AI [artificial intelligence] model applies its learned knowledge to new, unseen data to make predictions, decisions, or generate content.  2, fiche 2, Anglais, - inference

Record number: 2, Textual support number: 1 CONT

... a language model that has been trained on a vast corpus of text can perform inference by generating a new essay, answering a student's query, or summarizing a research article.  2, fiche 2, Anglais, - inference

Record number: 2, Textual support number: 1 OBS

inference: designation standardized by ISO in collaboration with the International Electrotechnical Commission.  3, fiche 2, Anglais, - inference

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

[...] en apprentissage supervisé, l'inférence est l'application d’un modèle entraîné à des exemples sans étiquette pour faire des prédictions. En IA [intelligence artificielle] symbolique, l'inférence permet de créer des liens entre les informations afin d’en tirer une assertion, une conclusion ou une hypothèse. Il s’agit d’un processus de déduction qui fait appel à un ensemble de règles se basant sur un système logique.  2, fiche 2, Français, - inf%C3%A9rence

Record number: 2, Textual support number: 1 OBS

inférence : désignation normalisée par l’ISO en collaboration avec la Commission électrotechnique internationale.  3, fiche 2, Français, - inf%C3%A9rence

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

Conceptually abstraction logic is situated between first-order logic and second-order logic.  2, fiche 3, Anglais, - abstraction%20logic

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 CONT

Cette logique d’abstraction se développe dans ce que l'on qualifie de logique formelle, à savoir, un système de logique dans lequel on raisonne sur les structures des arguments avec un système abstrait de déduction(par inférence).  2, fiche 3, Français, - logique%20d%26rsquo%3Babstraction

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

[A] software system that generates conclusions from available knowledge using logical techniques such as deduction and induction.  2, fiche 4, Anglais, - reasoning%20system

Record number: 4, Textual support number: 1 CONT

Reasoning systems play an important role in the implementation of artificial intelligence and knowledge-based systems.  2, fiche 4, Anglais, - reasoning%20system

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

Logiciel qui génère des conclusions à partir des connaissances disponibles en utilisant des techniques issues de la logique telles que la déduction et l'induction.  2, fiche 4, Français, - syst%C3%A8me%20de%20raisonnement

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

A type of textual support, identified by the code INF, consisting of a segment of text quoted in support of an equivalent proposed by a process of logical deduction, e.g. "plasma chemistry" (for "plasmachimie") from: "In solving the complex problems of plasma-chemical technology, there is considerable interest in the final stages of the process...".  1, fiche 5, Anglais, - inference

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 DEF

Type de justification qui sert à étayer la formation, par déduction logique, d’une unité terminologique à partir d’une ou plusieurs unités terminologiques existantes. Indicatif : INF. Exemples :"indemnité de résiliation" formé à partir des termes "indemnité" et "résiliation" déjà attestés ou encore "photothermographique" obtenu à partir de "photothermographie".  1, fiche 5, Français, - inf%C3%A9rence

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 CONT

White and silver bowl lamp are generally used for indirect lighting. Silvered bowl lamps which direct light upward for indirect indoor lighting, have an opaque silver coating applied to the inside of the bowl. The inner surface of this coating is a glossy reflector which remains efficient throughout the lamp's life.  2, fiche 6, Anglais, - silvered%20bowl%20lamp

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 CONT

On obtient aussi un éclairage indirect en utilisant une ampoule à calotte argentée placée dans un réflecteur réfléchissant.  3, fiche 6, Français, - lampe%20%C3%A0%20bol%20argent%C3%A9

Record number: 6, Textual support number: 1 OBS

Par déduction logique on peut donc utiliser sans crainte le terme «lampe à calotte argentée» en vertu de ce contexte.  4, fiche 6, Français, - lampe%20%C3%A0%20bol%20argent%C3%A9

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Français

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 DEF

In classical logics, a method of natural deduction having the form H - G, in which the goal G can be "deduced" from the hypothesis H. Collections of organized rules allow the manipulation of the elements making up H and G with a view to obtaining instantiations of the schemas based on particular ways of matching data structures.  1, fiche 8, Anglais, - derivation%20schema

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 DEF

En logique classique, déduction naturelle du type :"si prémisse, alors conclusion" dont la conclusion peut être déduite de la prémisse. Une suite ordonnée de règles permet de manipuler les composants de la prémisse et ceux de la conclusion en vue d’arriver à des schémas instanciés par l'appariement des structures.  2, fiche 8, Français, - sch%C3%A9ma%20de%20d%C3%A9rivation

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 DEF

Système de représentation des connaissances qui opère en logique modale, où le choix des connecteurs est fait par déduction naturelle(de Gentzen) et la dérivation naturelle dans le métalangage par la règle du filtrage axiomatique.  1, fiche 9, Français, - syst%C3%A8me%20ARCHES

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Français

Fiche 10,  Justifications,  Espagnol