TERMIUM Plus®

Par le Bureau de la traduction

Dans les médias sociaux

Consultez la banque de données terminologiques du gouvernement du Canada.

LOGICAL DEDUCTION [5 fiches]

Fiche 1 2026-01-08

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 1

Fiche 2 2026-01-08

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

Situation theory tries to make the situation, or context, paramount... because human intelligence is not logical and cannot be captured by computers that "think" by logical deduction. It could break through the logjam that has kept true progress toward artificial intelligence at a virtual standstill for decades. Keith Devlin's goal is to create a symbolic notation that captures the entire cloud of unspoken context.

Terme(s)-clé(s)
  • context theory
  • situational logic
  • situational semantics

Français

Domaine(s)
  • Intelligence artificielle
OBS

Linguistique situationnelle, sémantique situationnelle, analyse contextuelle.

Espagnol

Conserver la fiche 2

Fiche 3 2026-01-08

Anglais

Subject field(s)
  • Lexicology, Lexicography, Terminology
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... ".

Terme(s)-clé(s)
  • INF

Français

Domaine(s)
  • Lexicologie, lexicographie et terminologie
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".

Terme(s)-clé(s)
  • INF

Espagnol

Conserver la fiche 3

Fiche 4 2023-10-31

Anglais

Subject field(s)
  • Software
  • Information Technology (Informatics)
  • Artificial Intelligence
DEF

[A] software system that generates conclusions from available knowledge using logical techniques such as deduction and induction.

CONT

Reasoning systems play an important role in the implementation of artificial intelligence and knowledge-based systems.

Français

Domaine(s)
  • Logiciels
  • Technologie de l'information (Informatique)
  • Intelligence artificielle
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.

Espagnol

Conserver la fiche 4

Fiche 5 1986-02-14

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 5

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)

Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.

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 :