TERMIUM Plus®

From: Translation Bureau

On social media

Consult the Government of Canada’s terminology data bank.

DEDUCTIVE [74 records]

Filter results by subject field Alphabetical list of terms

Filter results by subject field

Alphabetical list of terms

Record 1 2026-01-08

English

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

Deductive logic deals with arguments where the truth of the conclusion is guaranteed by the truth of the premises. If the premises are true and the argument is structured correctly, the conclusion must be true. This is the type of logic often seen in mathematics and computer science, where absolute certainty is achievable.

French

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

Les principes de l'épistémologie positiviste mènent à la décomposition des problèmes en des chaînes d'éléments simple à résoudre, ce qui est inspiré par la logique déductive (recherche de la cause).

Spanish

Save record 1

Record 2 2025-03-13

English

Subject field(s)
  • Artificial Intelligence
CONT

A deductive classifier is a type of artificial intelligence inference engine.

French

Domaine(s)
  • Intelligence artificielle
CONT

Un classifieur déductif est un type de moteur d'inférence [d']intelligence artificielle.

Spanish

Campo(s) temático(s)
  • Inteligencia artificial
Save record 2

Record 3 2024-09-10

English

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.

French

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.

Spanish

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Inteligencia artificial
Save record 3

Record 4 2024-05-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 4

Record 5 2024-05-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
OBS

Composant déductif d'un système expert.

Spanish

Save record 5

Record 6 2024-05-09

English

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming

French

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
DEF

Programmation qui, grâce à son caractère non-déterministe et sa puissance d'expression, permet de spécifier un problème de manière naturelle, par des règles d'inférence, en se reposant entièrement sur le mécanisme de résolution de Prolog.

Spanish

Save record 6

Record 7 2024-05-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 7

Record 8 2024-05-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 8

Record 9 2023-04-14

English

Subject field(s)
  • Artificial Intelligence
DEF

A model of belief for representing situations in which belief derivation is logically incomplete.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 9

Record 10 2020-10-23

English

Subject field(s)
  • Computer Mathematics
  • Artificial Intelligence
CONT

... deduction algorithms are widely used in applications such as scheduling and design verification, showing that they can be useful for many real-world reasoning tasks.

French

Domaine(s)
  • Mathématiques informatiques
  • Intelligence artificielle
CONT

Algorithme de déduction. La première étape consiste à présélectionner les mots du dictionnaire qui correspondent aux deux critères précédemment décrits : l'algorithme ne garde que les mots commençant par la même première lettre que la première lettre saisie par l'utilisateur et qui ont [un nombre de caractères égal au] nombre de frappes effectuées par l'utilisateur.

Spanish

Campo(s) temático(s)
  • Matemáticas para computación
  • Inteligencia artificial
OBS

Lenguaje formal de la lógica que, mediante un conjunto de reglas, permite decidir si una fórmula es deducible de otras.

Save record 10

Record 11 2020-10-14

English

Subject field(s)
  • Computer Programs and Programming
  • Artificial Intelligence
CONT

The compiler selects the appropriate version to call based on its deduction rules.

French

Domaine(s)
  • Programmes et programmation (Informatique)
  • Intelligence artificielle
CONT

Pour chaque action du programme, il sera possible, grâce à des règles de déduction, de déduire de façon systématique le conséquent à partir de l'antécédent.

Spanish

Campo(s) temático(s)
  • Programas y programación (Informática)
  • Inteligencia artificial
Save record 11

Record 12 2018-03-21

English

Subject field(s)
  • Data Banks and Databases
  • Artificial Intelligence
DEF

[A database] that can make deductions based on rules and facts contained within the database.

French

Domaine(s)
  • Banques et bases de données
  • Intelligence artificielle
DEF

Base de données où l'information contenue implicitement peut être déduite à l'aide de règles d'après les renseignements qui se trouvent dans la base.

CONT

Les relations de parenté entre individus sont une bonne illustration de l'utilisation des bases de données déductives. [...] On suppose que l'on a une base de données qui représente les relations «père-fils» [...]. Une règle très simple permet de définir un lien de parenté «ancêtre» : Si père-fil(X, Y) et père-fils(Y,Z), alors ancêtre(X,Z).

Spanish

Save record 12

Record 13 2017-04-12

English

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.

French

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.

Spanish

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.

Save record 13

Record 14 - external organization data 2014-09-03

English

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
28.03.02 (2382)
ISO/IEC standard entry number
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].

French

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
28.03.02 (2382)
ISO/IEC standard entry number
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].

Spanish

Save record 14

Record 15 2012-05-07

English

Subject field(s)
  • Education Theory and Methods
DEF

A teaching style in which the content proceeds from the most general to the most specific.

CONT

Deductive teaching ... The instructor using a deductive approach typically presents a general concept by first defining it and then providing examples or illustrations that demonstrate the idea.

French

Domaine(s)
  • Théories et méthodes pédagogiques
DEF

Méthode d'enseignement qui consiste à présenter un concept général pour ensuite en étudier les exemples d'application.

CONT

Alterner un enseignement inductif et un enseignement déductif pour varier et accommoder les différents styles d’apprentissage [...] Déductif : partir des lettres et sons pour arriver aux mots [...]

Spanish

Save record 15

Record 16 2011-09-28

English

Subject field(s)
  • Logic (Philosophy)
DEF

The standard definition of "direct proof" is one which is derived only from axioms using only rules of inference except for such rules of inference as are "indirect," in particular the explicit or implicit rules that allow "reductio ab absurdum" ("reduction to absurdity.")

French

Domaine(s)
  • Logique (Philosophie)

Spanish

Save record 16

Record 17 2011-09-28

English

Subject field(s)
  • Electronic Circuits Technology
  • Electronic Defects and Failures
CONT

A deductive method of fault simulation is described, which "deduces" the faults detected by a test at the same time that it simulates explicitly only the good behavior of the logic circuit. ... deductive simulation performs computations on each fault along only the particular paths that are sensitized to propagate its effects.

French

Domaine(s)
  • Technologie des circuits électroniques
  • Défectuosités et pannes (Électronique)
CONT

Dans la simulation déductive seul le circuit exempt de défauts est simulé pour chaque combinaison d'entrée, et les résultats obtenus, soit après chaque itération, soit en cours de la simulation elle-même, sont exploités pour déterminer l'ensemble des défauts détectables par la séquence d'entrée utilisée [...]

Spanish

Campo(s) temático(s)
  • Tecnología de los circuitos electrónicos
  • Defectos y fallas electrónicos
Save record 17

Record 18 2009-09-11

English

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
  • Diagnostic Procedures (Medicine)
DEF

The ability to apply general concepts or rules to specific cases or to proceed from stated premises to their logical conclusions. This ability can also be termed syllogistic reasoning or analytic reasoning in that progression is from the whole to the parts.

French

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
  • Méthodes diagnostiques (Médecine)

Spanish

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Inteligencia artificial
  • Procedimientos diagnósticos (Medicina)
Save record 18

Record 19 - external organization data 2006-02-01

English

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
31.03.17 (2382)
ISO/IEC standard entry number
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].

French

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
31.03.17 (2382)
ISO/IEC standard entry number
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].

Spanish

Save record 19

Record 20 2004-08-27

English

Subject field(s)
  • Statistics
  • Military Training
DEF

The phase of statistics which seeks only to describe and analyse a given group without drawing any conclusions or inferences about a larger group ...

OBS

... in the past (and to some extent in the present), it was fashionable to divide the subject matter of statistics into two distinct subjects called descriptive statistics and statistical inference. In the former, the main emphasis is placed on arithmetic and graphical distillation of data to help describe the existing situation. Statistical inference, on the other hand, involves considerably more sophisticated notions concerned with general decision making and prediction.

OBS

descriptive statistics: term used in the context of military training.

French

Domaine(s)
  • Statistique
  • Instruction du personnel militaire
DEF

Ensemble des méthodes conduisant à une description condensée d'un ensemble d'observations, indépendamment d'une référence explicite à un modèle statistique, donc d'inférence statistique.

OBS

Terme utilisé dans le contexte de l'instruction militaire.

Spanish

Campo(s) temático(s)
  • Estadística
  • Instrucción del personal militar
Save record 20

Record 21 2002-04-05

English

Subject field(s)
  • Education Theory and Methods

French

Domaine(s)
  • Théories et méthodes pédagogiques
CONT

Méthode déductive (ou démonstrative) d'enseignement des sciences. Il est d'usage d'admettre que, dans cette méthode, l'on part des principes et des lois pour aboutir aux applications et aux expériences qui les vérifient, par analogie avec un enseignement mathématique partant de propriétés initiales pour aboutir, par un enchaînement de raisonnements, à l'établissement de propriétés nouvelles.

Key term(s)
  • approche déductive

Spanish

Campo(s) temático(s)
  • Teorías y métodos pedagógicos
CONT

con el método deductivo se pasa de lo genérico a lo específico, es la aplicación de la nonua al hecho, buscando presentar conclusiones que creen nuevas propuestas o principios.

Save record 21

Record 22 2002-04-05

English

Subject field(s)
  • Education Theory and Methods
  • Artificial Intelligence
DEF

A method of reasoning by which concrete applications or consequences are deduced from general principles (premises).

French

Domaine(s)
  • Théories et méthodes pédagogiques
  • Intelligence artificielle
CONT

Méthode déductive. Raisonnement déductif, qui présente un caractère rigoureux et aboutit à une conclusion nécessaire.

Spanish

Campo(s) temático(s)
  • Teorías y métodos pedagógicos
  • Inteligencia artificial
Save record 22

Record 23 2002-03-16

English

Subject field(s)
  • Customs and Excise
DEF

Calculated value of imported merchandise, of identical merchandise, or similar merchandise, used when the transaction value of the imported merchandise cannot be determined.

French

Domaine(s)
  • Douanes et accise

Spanish

Save record 23

Record 24 2002-01-09

English

Subject field(s)
  • Foreign Trade

French

Domaine(s)
  • Commerce extérieur

Spanish

Campo(s) temático(s)
  • Comercio exterior
Save record 24

Record 25 2001-11-20

English

Subject field(s)
  • Technical Aids for Persons with Disabilities
OBS

ISO code: 03 57 21.

French

Domaine(s)
  • Aides techniques pour personnes handicapées
OBS

Code ISO : 03 57 21.

Spanish

Save record 25

Record 26 1999-07-22

English

Subject field(s)
  • Education Theory and Methods

French

Domaine(s)
  • Théories et méthodes pédagogiques

Spanish

Save record 26

Record 27 1999-05-17

English

Subject field(s)
  • Mathematics

French

Domaine(s)
  • Mathématiques

Spanish

Save record 27

Record 28 1999-02-05

English

Subject field(s)
  • Organization Planning
CONT

Deductive planning: Broad policies and objectives are established at the highest level of the organization and detailed proposals for implementation flow downwards to those who provide services.

OBS

HOHEA: Hogarth, J. Glossary of health care terminology. Copenhagen, WHO Regional Office for Europe, 1978. (Public Health in Europe, No. 4).

French

Domaine(s)
  • Planification d'organisation
DEF

Mode de planification selon lequel la fixation des principes et des objectifs généraux se fait aux échelons les plus élevés d'une organisation tandis qu'ils sont fournis sous forme de directives concrètes et détaillées aux échelons inférieurs chargés de leur exécution.

Spanish

Save record 28

Record 29 1998-03-13

English

Subject field(s)
  • Foreign Trade
DEF

The requirement that the goods shall have been sold in the "condition as imported" ... could be flexibly interpreted; the "90 days" requirement could be administered flexibly.

French

Domaine(s)
  • Commerce extérieur
DEF

Prescription selon laquelle les marchandises devront avoir été vendues «en l'état où elles sont importées», [...] pourrait être interprétée avec souplesse; le délai de «90 jours» pourrait être modulé avec souplesse.

Spanish

Campo(s) temático(s)
  • Comercio exterior
DEF

Requisito [...] de que las mercancías deban haberse vendido "en el mismo estado en que son importadas" podría interpretarse de manera flexible; el requisito de los "90 días" podría exigirse con flexibilidad.

Save record 29

Record 30 1993-04-22

English

Subject field(s)
  • Education Theory and Methods

French

Domaine(s)
  • Théories et méthodes pédagogiques
OBS

est basée sur l'intériorisation logique et le traitement de l'information; l'enseignant ou l'enseignante présente des principes, des thèmes ou des hypothèses aux élèves qui ont par la suite la tâche de tester ces généralisations, de recueillir de l'information et de l'appliquer aux exemples spécifiques.

OBS

Approches pédagogiques : Infrastructure pour la pratique de l'enseignement, ministère de l'Éducation de la Saskatchewan, 1993.

Spanish

Save record 30

Record 31 1992-10-01

English

Subject field(s)
  • Programming Languages

French

Domaine(s)
  • Langages de programmation

Spanish

Save record 31

Record 32 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 32

Record 33 1989-03-01

English

Subject field(s)
  • Artificial Intelligence
DEF

The assumption that a control strategy will always apply the deduction rules exhaustively.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 33

Record 34 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 34

Record 35 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 35

Record 36 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 36

Record 37 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 37

Record 38 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 38

Record 39 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 39

Record 40 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 40

Record 41 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 41

Record 42 1989-03-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 42

Record 43 1989-03-01

English

Subject field(s)
  • Artificial Intelligence
OBS

A module whose operations depend on the mode of deductive reasoning.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 43

Record 44 1989-02-16

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 44

Record 45 1989-02-16

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 45

Record 46 1989-02-16

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 46

Record 47 1989-02-16

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 47

Record 48 1989-02-16

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

Un système cognitif auquel ont été attachées plusieurs bases de connaissances pour extraire de l'information implicite à partir de faits explicites stockés dans différentes bases de données.

Spanish

Save record 48

Record 49 1989-02-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 49

Record 50 1989-02-15

English

Subject field(s)
  • Artificial Intelligence
DEF

A program that looks through a database of formulas until it finds an assertion that unifies with the request.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 50

Record 51 1989-02-15

English

Subject field(s)
  • Artificial Intelligence
CONT

We now have the basic deductive tools for working with our temporal logic.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 51

Record 52 1989-02-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 52

Record 53 1989-02-09

English

Subject field(s)
  • Artificial Intelligence
OBS

A deductive scheme for representing knowledge.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 53

Record 54 1989-02-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 54

Record 55 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 55

Record 56 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 56

Record 57 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 57

Record 58 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 58

Record 59 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 59

Record 60 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

Système démontrant des propriétés à partir des propositions, prises comme axiomes.

Spanish

Save record 60

Record 61 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 61

Record 62 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

Phase qui consiste à appliquer effectivement les règles sur la base des faits, c'est-à-dire à activer la partie action de toutes les règles qui ont été retenues.

Spanish

Save record 62

Record 63 1988-03-15

English

Subject field(s)
  • Artificial Intelligence
OBS

Deductive power of the theorem prover.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 63

Record 64 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 64

Record 65 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 65

Record 66 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 66

Record 67 1988-03-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 67

Record 68 1988-01-22

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 68

Record 69 1988-01-22

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 69

Record 70 1986-12-12

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 70

Record 71 1986-11-14

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 71

Record 72 1986-06-07

English

Subject field(s)
  • Artificial Intelligence
CONT

Godel's argument works only on deductive machines that are given rules before "chinking".

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 72

Record 73 1986-02-14

English

Subject field(s)
  • Artificial Intelligence
DEF

An inference rule that, given one or more assertions, concludes a logically equivalent or more specific assertion.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 73

Record 74 1976-06-19

English

Subject field(s)
  • Translation
  • Language Problems

French

Domaine(s)
  • Traduction
  • Problèmes de langue

Spanish

Save record 74

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Display options

Change the order of display of the official languages of Canada
Option to display the non-official languages (Spanish or Portuguese)
Display definitions, contexts, etc., on records

Features

GCtranslate (available on the Government of Canada network only)

Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.

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: