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 INFERENCE [11 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 2023-04-21

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A form of logical inference which starts with an observation or set of observations then seeks to find the simplest and most likely explanation.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 2

Fiche 3 2018-03-22

Anglais

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

... what underlies inference in conjectural reasoning is not only logical implication but some criterion of plausibility, allowing the choice of a class of conclusions among the possible ones.

Français

Domaine(s)
  • Mathématiques
  • Logique (Philosophie)
  • Intelligence artificielle
DEF

Raisonnement qui repose uniquement sur des opinions établies en se fondant sur des probabilités.

Espagnol

Conserver la fiche 3

Fiche 4 2016-03-10

Anglais

Subject field(s)
  • Computer Mathematics
  • Artificial Intelligence
  • Metrology and Units of Measure
DEF

A means of measuring the speed of computers used for AI applications.

CONT

The initial milestone in the Fifth Generation plan is a one-user PROLOG work station capable of performing one million LIPS. The final target aims for an inference supercomputer that can perform one hundred million to one billion LIPS.

Français

Domaine(s)
  • Mathématiques informatiques
  • Intelligence artificielle
  • Unités de mesure et métrologie
DEF

Unité de mesure des systèmes intelligents de cinquième génération.

CONT

La puissance des ordinateurs de quatrième génération se mesure en M.I.P.S. (million d'instructions par seconde). Pour les ordinateurs de l'Intelligence Artificielle, on emploie [...] l'inférence logique par seconde ou L.I.P.S. («logical inference per second»). Les Japonais visent des performances de l'ordre de cent millions de lips voire même le giga-lips.

CONT

La capacité de la machine à inférence sera de l'ordre de 100 Milps à 1 Gilps (ilps : inférence logique par seconde). On estime qu'une inférence, réalisée par un ordinateur actuel, nécessite de 100 à 1 000 instructions; ainsi un ilps représente de 100 à 1000 instructions par seconde.

OBS

Cette unité est utilisée pour évaluer les performances de programmes ou processeurs déductifs utilisés en intelligence artificielle.

OBS

Les multiples des LIPS sont les Klips, les Mlips et les giga-lips.

Espagnol

Campo(s) temático(s)
  • Matemáticas para computación
  • Inteligencia artificial
  • Metrología y unidades de medida
DEF

Unidad que mide la velocidad del pensamiento de una aplicación en inteligencia artificial.

CONT

Los seres humanos pueden realizar cerca de 2 LIPS. En el computador, un LIPS equivale desde 100 a 1,000 instrucciones.

Conserver la fiche 4

Fiche 5 2015-05-19

Anglais

Subject field(s)
  • Practice and Procedural Law
  • Law of Evidence
  • Logic (Philosophy)
CONT

A presumption is an inference which the trier of fact must draw from a basic fact, in the absence of evidence to rebut the presumption. The compelling effect of a true presumption is what distinguishes it from the so-called "presumption of fact" which is a mere logical inference that may be drawn by the trier of fact.

Français

Domaine(s)
  • Droit judiciaire
  • Droit de la preuve
  • Logique (Philosophie)

Espagnol

Conserver la fiche 5

Fiche 6 - 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 6

Fiche 7 1995-02-21

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A resolution method that reaches conclusions using logic; it is normally done by theorem proving.

CONT

Japanese planners want their machines to handle millions of logical inferences per second(LIPS)-one logical inference equalling one step in a syllogistic, or IF-THEN, sequence of reasoning.

CONT

Each logical inference involves a set of premises, a reason, and a conclusion.... The student is finished when there is a set of logical inferences connecting the given statements to the statements to be proved.

Français

Domaine(s)
  • Intelligence artificielle
CONT

Lorsqu'il fallut formaliser des règles effectivement utilisées par les médecins, il fut évident que leurs inférences étaient moins des inférences logiques, (SI E alors H), que des inférences plausibles.

Espagnol

Conserver la fiche 7

Fiche 8 1989-05-04

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

Inference based on simplified logical forms.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 8

Fiche 9 1986-11-18

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

The inference strategy used in logical systems to determine the truth of an assertion. This complex, but highly effective, method establishes the truth of an assertion by determining that a contradiction is encountered when one attempts to resolve clauses, one of which is a negation of the thesis one seeks to assert.

CONT

In computation, logical arguments are found to be true or false through the resolution method which is used on propositions ...

CONT

Using the resolution principle, we can prove theorems in a purely mechanical way from our axioms.

Français

Domaine(s)
  • Intelligence artificielle
DEF

Principe dû au mathématicien français Jacques Herbrand, repris et programmé par Alan Robinson, qui systématise le raisonnement par l'absurde : pour démontrer que le théorème p alors g s'applique, le principe de la résolution cherche à prouver que la proposition "p et non g" est contradictoire.

Espagnol

Conserver la fiche 9

Fiche 10 1986-11-14

Anglais

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

Derived descriptors can be divided into two categories : descriptors derived by logical inference and descriptors derived by special computations, experiments or devices.

Français

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

Espagnol

Conserver la fiche 10

Fiche 11 1986-01-16

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A popular form of logic used by the AI Community for representing knowledge and performing logical inference. First Order Predicate Logic permits assertions to be made about variables in a proposition.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 11

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

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

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 :