TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Reasoning engines are systems that process data, apply logic, and conclude. They come in various types : rule-based, semantic, probabilistic, and machine learning-based.  2, fiche 1, Anglais, - reasoning%20engine

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

[A] field of computing that is tolerant of and exploits imprecision, uncertainty and partial truth to make problem-solving more tractable and robust.  2, fiche 2, Anglais, - soft%20computing

Record number: 2, Textual support number: 1 CONT

Soft computing encompasses various techniques such as fuzzy logic, machine learning and probabilistic reasoning.  2, fiche 2, Anglais, - soft%20computing

Record number: 2, Textual support number: 1 OBS

soft computing: designation and definition standardized by ISO in collaboration with the International Electrotechnical Commission.  3, fiche 2, Anglais, - soft%20computing

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Domaine de calcul qui tolère et exploite l'imprécision, l'incertitude et la vérité partielle pour rendre la résolution de problèmes plus tractable et robuste.  2, fiche 2, Français, - calcul%20souple

Record number: 2, Textual support number: 1 CONT

Le calcul souple englobe diverses techniques telles que la logique floue, l'apprentissage machine et le raisonnement probabiliste.  2, fiche 2, Français, - calcul%20souple

Record number: 2, Textual support number: 1 OBS

calcul souple : désignation et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.  3, fiche 2, Français, - calcul%20souple

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

The two major AI [artificial intelligence] approaches are the logic and rules-based approach, and a pattern-based approach(i. e., machine learning).  2, fiche 3, Anglais, - logic%20and%20rules%2Dbased%20approach

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

A circuit in a computer’s central processing unit that performs basic mathematical calculations.  4, fiche 4, Anglais, - arithmetic%20logic%20unit

Record number: 4, Textual support number: 1 CONT

The arithmetic-logic unit(ALU) is that functional part of the digital computer that carries out arithmetic and logic operations on machine words that represent operands.  5, fiche 4, Anglais, - arithmetic%20logic%20unit

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

Ensemble de circuits électroniques connectés logiquement de façon à réaliser, sous l'action de commandes élémentaires, les opérations arithmétiques ou logiques pour lesquelles cet ensemble a été conçu.  1, fiche 4, Français, - unit%C3%A9%20arithm%C3%A9tique%20logique

Record number: 4, Textual support number: 1 OBS

unité arithmétique logique; UAL : désignation, abrévation et définition publiées au Journal officiel de la République française le 22 septembre 2000.  3, fiche 4, Français, - unit%C3%A9%20arithm%C3%A9tique%20logique

Fiche 4,  Justifications,  Espagnol

Record number: 4, Textual support number: 1 DEF

Parte del microprocesador de un ordenador que ejecuta funciones aritméticas, lógicas y de comparación.  2, fiche 4, Espagnol, - unidad%20aritm%C3%A9tico%2Dl%C3%B3gica

Record number: 4, Textual support number: 1 OBS

unidad aritmética y lógica: término y definición extraídos del CAPITAL Business Dictionary con la autorización de LID Editorial Empresarial.  3, fiche 4, Espagnol, - unidad%20aritm%C3%A9tico%2Dl%C3%B3gica

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

Each element of a larger system.  2, fiche 5, Anglais, - component

Record number: 5, Textual support number: 1 CONT

An equipment component or machine(hardware) as small as a resistor or as large as a monitor, provided it is part of a larger system. Logic components(software) are processes and modules in a larger system.  2, fiche 5, Anglais, - component

Record number: 5, Textual support number: 1 OBS

[Could also be] a piece or element in a hi-fi sound system.  3, fiche 5, Anglais, - component

Record number: 5, Textual support number: 2 OBS

component: term standardized by the Institute of Electrical and Electronics Engineers (IEEE) and ISO.  4, fiche 5, Anglais, - component

Record number: 5, Textual support number: 3 OBS

component: term and definition reproduced from the CAPITAL Business Dictionary with the permission of LID Editorial Empresarial.  5, fiche 5, Anglais, - component

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 DEF

Chacune des composantes d'un système.  2, fiche 5, Français, - %C3%A9l%C3%A9ment

Record number: 5, Textual support number: 1 OBS

Élément d'une chaîne haute-fidelité ou partie fondamentale d'un système ou d'un programme.  2, fiche 5, Français, - %C3%A9l%C3%A9ment

Record number: 5, Textual support number: 2 OBS

élément : terme normalisé par l'ISO.  3, fiche 5, Français, - %C3%A9l%C3%A9ment

Fiche 5,  Justifications,  Espagnol

Record number: 5, Textual support number: 1 DEF

Cada uno de los elementos de un sistema mayor.  2, fiche 5, Espagnol, - componente

Record number: 5, Textual support number: 1 CONT

Un componente de equipo o máquina (hardware) puede ser tan pequeño como una resistencia o tan grande como un monitor, siempre que formen parte de un sistema más grande. Los componentes de la lógica (software) son las rutinas o los módulos en un sistema mayor.  2, fiche 5, Espagnol, - componente

Record number: 5, Textual support number: 1 OBS

componente: término y definición extraídos del CAPITAL Business Dictionary con la autorización de LID Editorial Empresarial.  3, fiche 5, Espagnol, - componente

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 DEF

The internal logic design which is alterable in accordance with a precompleted program which controls the various electronic interconnections of the gating elements; i. e., the instruction repertory can be electronically changed, or the machine capability can be matched to the problem requirement.  2, fiche 6, Anglais, - programmed%20logic

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 DEF

Configuration de circuits électroniques réalisant un traitement ou une fonction à l'aide d'instructions programmées.  2, fiche 6, Français, - logique%20programm%C3%A9e

Fiche 6,  Justifications,  Espagnol

Record number: 6, Textual support number: 1 DEF

Sistema lógico que es alterable de acuerdo con un programa que controla las conexiones equivalentes de todos los elementos de accionamiento por compuertas.  2, fiche 6, Espagnol, - l%C3%B3gica%20programada

Record number: 6, Textual support number: 1 CONT

En la lógica programada se puede cambiar el repertorio de instrucciones para equiparar la capacidad de la máquina al problema.  2, fiche 6, Espagnol, - l%C3%B3gica%20programada

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 OBS

Emulation is a chief function of a program that can imitate the basic instruction set of the machine being emulated. Word lengths, arithmetic and logic details, as well as other functions of another machine, are simulated.  3, fiche 7, Anglais, - microprogramming%20simulation

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 CONT

Il faut distinguer dans la phase de simulation électrique deux étapes distinctes: d'une part, ce que l'on pourrait appeler la microsimulation, c'est-à-dire l'analyse au niveau circuit élémentaire (la porte logique par exemple) des performances tant en continu qu'en dynamique des circuits de base constitutifs du circuit intégré; d'autre part la macrosimulation [...]  1, fiche 7, Français, - microsimulation

Fiche 7,  Justifications,  Espagnol

Record number: 7, Textual support number: 1 OBS

Este procedimiento tiene la simulación como su función principal ya que un microprograma puede imitar el conjunto de instrucciones básicas de la máquina que se imita. Se simulan las longitudes de palabra y detalles aritméticos y lógicos, así como otras funciones de la otra máquina.  1, fiche 7, Espagnol, - simulaci%C3%B3n%20de%20microprogramaci%C3%B3n

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 CONT

We begin the history of automated theorem proving by mentioning some programs that have proven theorems in areas other than the first-order predicate calculus. A 1956 program called the ’Logic Theorist’ or simply LT ... proves theorems in propositional calculus (also called sentential calculus ...).  2, fiche 8, Anglais, - logic%20theory%20machine

Fiche 8,  Justifications,  Français

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 DEF

A layered family of software tools designed to enable the efficient and flexible use and development of significant theorem proving systems.  1, fiche 9, Anglais, - logic%20machine%20architecture

Fiche 9,  Justifications,  Français

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 CONT

In general, a sequential machine or automation consists of... combinational logic and memory.... The memory may be physically semiconductor elements, tapes or discs, or simply time delays of a so-called unit length.... The present input to the memory is called the next-state function, which depends on the present input and the present state.  1, fiche 10, Anglais, - next%2Dstate%20function

Fiche 10,  Justifications,  Français

Fiche 10,  Justifications,  Espagnol

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 CONT

The basic configuration of Figure 1. 2 could be used to implement an automobile an automobile fuel injection system, an automatic machine tool, or a robot. The design of such a system requires the application of several disciplines including analog design, logic design, programming, and system design.  1, fiche 11, Anglais, - analog%20design

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 OBS

Voir représentation analogique.  2, fiche 11, Français, - conception%20analogique

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 CONT

Half of the computers sold in 1993 will contain artificial intelligence components rather than arithmetic components and will be called logic machines.  1, fiche 12, Anglais, - logic%20machine

Fiche 12,  Justifications,  Français

Fiche 12,  Justifications,  Espagnol