TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
RAISONNEMENT AUTOMATISE [4 fiches]
Fiche 1 - données d’organisme interne 2023-10-17
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Informatics
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- automated reasoning
1, fiche 1, Anglais, automated%20reasoning
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 DEF
An area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. 2, fiche 1, Anglais, - automated%20reasoning
Record number: 1, Textual support number: 1 CONT
The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. 2, fiche 1, Anglais, - automated%20reasoning
Fiche 1, Français
Fiche 1, Domaine(s)
- Informatique
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- raisonnement automatisé
1, fiche 1, Français, raisonnement%20automatis%C3%A9
correct, nom masculin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
Domaine de l'informatique et de la logique mathématique dédié à la compréhension des différents aspects du raisonnement. 2, fiche 1, Français, - raisonnement%20automatis%C3%A9
Record number: 1, Textual support number: 1 CONT
Bien que le raisonnement automatisé soit considéré comme un sous-domaine de l'intelligence artificielle, il a également des liens avec l'informatique théorique et même la philosophie. 2, fiche 1, Français, - raisonnement%20automatis%C3%A9
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2019-10-30
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- automated reasoning program
1, fiche 2, Anglais, automated%20reasoning%20program
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 CONT
Building an automated reasoning program means providing an algorithmic description to a formal calculus so that it can be implemented on a computer to prove theorems of the calculus in an efficient manner. 2, fiche 2, Anglais, - automated%20reasoning%20program
Fiche 2, Terme(s)-clé(s)
- automated reasoning programme
Fiche 2, Français
Fiche 2, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- programme de raisonnement automatisé
1, fiche 2, Français, programme%20de%20raisonnement%20automatis%C3%A9
correct, nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
Fiche 2, Justifications, Français
Fiche 2, Espagnol
Fiche 2, Campo(s) temático(s)
- Programas y programación (Informática)
- Inteligencia artificial
Fiche 2, La vedette principale, Espagnol
- programa de razonamiento automatizado
1, fiche 2, Espagnol, programa%20de%20razonamiento%20automatizado
correct, nom masculin
Fiche 2, Les abréviations, Espagnol
Fiche 2, Les synonymes, Espagnol
Fiche 2, Justifications, Espagnol
Record number: 2, Textual support number: 1 CONT
En cuanto al diseño de un programa de razonamiento automatizado, primeramente debe considerarse el dominio del problema o la clase de problema que el programa necesitará resolver y el conjunto de axiomas del dominio [...]. 1, fiche 2, Espagnol, - programa%20de%20razonamiento%20automatizado
Fiche 3 - données d’organisme interne 1987-09-16
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
Fiche 3, La vedette principale, Anglais
- Automated Reasoning Tool
1, fiche 3, Anglais, Automated%20Reasoning%20Tool
correct
Fiche 3, Les abréviations, Anglais
- ART 2, fiche 3, Anglais, ART
correct
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
A tool kit for knowledge system development. It contains four major components: a knowledge language for expressing facts and relationships; a compiler; an applier, which is an inference engine; and a development environment. 3, fiche 3, Anglais, - Automated%20Reasoning%20Tool
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
Fiche 3, La vedette principale, Français
- outil de raisonnement automatisé
1, fiche 3, Français, outil%20de%20raisonnement%20automatis%C3%A9
correct, nom masculin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1987-09-16
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Artificial Intelligence
Fiche 4, La vedette principale, Anglais
- automated reasoning system
1, fiche 4, Anglais, automated%20reasoning%20system
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Français
Fiche 4, Domaine(s)
- Intelligence artificielle
Fiche 4, La vedette principale, Français
- système de raisonnement automatisé
1, fiche 4, Français, syst%C3%A8me%20de%20raisonnement%20automatis%C3%A9
correct, nom masculin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2025
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
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 :