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 PER SECOND [2 fiches]

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

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

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 :