TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

RAISONNEMENT LOGIQUE [26 records]

Filter results by subject field Alphabetical list of terms

Filter results by subject field

Alphabetical list of terms

Record 1 2025-02-14

English

Subject field(s)
  • Programming Languages
  • Information Processing (Informatics)
  • Computer Processing of Language Data
  • Artificial Intelligence
CONT

In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of that knowledge. Ontology languages are usually declarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic.

CONT

An ontology language is a type of computer language used for specifying classes, properties, and restrictions in the context of information processing by applications. The latest ontology language in use is the Web Ontology Language (OWL).

French

Domaine(s)
  • Langages de programmation
  • Traitement de l'information (Informatique)
  • Informatisation des données linguistiques
  • Intelligence artificielle
CONT

En informatique et en intelligence artificielle, les langages d’ontologie sont des langages formels utilisés pour construire des ontologies. Ils permettent l'encodage des connaissances sur des domaines spécifiques et incluent souvent des règles de raisonnement qui prennent en charge le traitement de ces connaissances. Les langages d’ontologie sont habituellement des langages déclaratifs, sont presque toujours des généralisations de langages de trame, et sont couramment basés sur une logique de premier ordre ou sur une logique de description.

CONT

La construction des ontologies est fondée sur les langages formels. Un langage d’ontologie permet de signifier l’appartenance d’un objet à une catégorie, de déclarer la relation de généralisation entre catégories et de typer les objets que lie une relation.

Spanish

Save record 1

Record 2 2024-09-25

English

Subject field(s)
  • Artificial Intelligence
CONT

... semantic reasoning, which is the ability to reach logical conclusions based on facts extracted from text.

French

Domaine(s)
  • Intelligence artificielle
CONT

[...] le raisonnement sémantique, qui consiste en la capacité à parvenir à une conclusion logique sur la base des faits extraits du texte.

Spanish

Save record 2

Record 3 2024-09-24

English

Subject field(s)
  • General Conduct of Military Operations
DEF

A logical process of reasoning by which a commander considers the circumstances affecting the military situation and arrives at a decision as to the course of action to be taken to accomplish the mission.

OBS

estimate of the situation; appreciation of the situation: designations and definition officially approved by the Joint Terminology Panel and the Defence Terminology Standardization Board; designations and definition standardized by NATO.

OBS

estimate; est: designations officially approved by the Department of National Defence and the Canadian Forces.

French

Domaine(s)
  • Conduite générale des opérations militaires
DEF

Procédé de raisonnement logique qui permet à un commandant de prendre en considération les facteurs influant sur la situation militaire et de choisir le plan d’action à adopter pour accomplir la mission.

OBS

appréciation de la situation : désignation et définition uniformisées par le Groupe d’experts en terminologie interarmées et par le Conseil de normalisation de terminologie de la Défense.

OBS

appréciation de la situation : désignation normalisée par l’OTAN.

OBS

appréciation; appr : désignations uniformisées par le ministère de la Défense nationale et les Forces canadiennes et par le Comité de terminologie française du Conseil de doctrine et de tactique de l’Armée de terre.

Spanish

Campo(s) temático(s)
  • Conducción general de las operaciones militares
DEF

Proceso lógico de razonamiento mediante el cual un [comandante] considera [...] las circunstancias que afectan la situación militar y [elige] la línea de acción que debe adoptar para el cumplimiento de su misión.

Save record 3

Record 4 2024-08-29

English

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

As the term "autoepistemic logic" suggests, AEL was designed to model (a single agent's) knowledge, including knowledge derived from reasoning about knowledge.

French

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

Logique qui a pour objet la formalisation d’un raisonnement introspectif et idéalement rationnel opéré sur un ensemble initial de croyances.

Spanish

Save record 4

Record 5 2024-06-12

English

Subject field(s)
  • Artificial Intelligence
  • Computer Mathematics
  • Information Technology (Informatics)
DEF

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

CONT

Soft computing encompasses various techniques such as fuzzy logic, machine learning and probabilistic reasoning.

OBS

soft computing: designation and definition standardized by ISO in collaboration with the International Electrotechnical Commission.

French

Domaine(s)
  • Intelligence artificielle
  • Mathématiques informatiques
  • Technologie de l'information (Informatique)
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.

CONT

Le calcul souple englobe diverses techniques telles que la logique floue, l'apprentissage machine et le raisonnement probabiliste.

OBS

calcul souple : désignation et définition normalisées par l’ISO en collaboration avec la Commission électrotechnique internationale.

Spanish

Save record 5

Record 6 2024-05-09

English

Subject field(s)
  • Artificial Intelligence
DEF

A general automatic method for determining if a hypothesized - conclusion (theorem) follows from a given set of premises (axioms).

French

Domaine(s)
  • Intelligence artificielle
CONT

PROLOG et la logique formelle,(...) Il s’agit d’une méthode de démonstration automatique de théorèmes, bâtie autour d’une seule règle d’inférence, ce qui va permettre d’automatiser les mécanismes de raisonnement.

Spanish

Save record 6

Record 7 2024-03-05

English

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

Another strategy for controlling reasoning is that of consequent reasoning, the strategy of reasoning from goals to known facts.

French

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

conséquent; conséquente : Qui est la suite logique de, en accord avec. Sa conduite est conséquente à ses principes. Un raisonnement conséquent, conforme aux règles logiques.

Spanish

Save record 7

Record 8 2023-10-17

English

Subject field(s)
  • Informatics
  • Artificial Intelligence
DEF

An area of computer science and mathematical logic dedicated to understanding different aspects of reasoning.

CONT

The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically.

French

Domaine(s)
  • Informatique
  • Intelligence artificielle
DEF

Domaine de l'informatique et de la logique mathématique dédié à la compréhension des différents aspects du raisonnement.

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.

Spanish

Save record 8

Record 9 2023-04-14

English

Subject field(s)
  • Artificial Intelligence
CONT

Instead of taking logical omniscience as an idealization (or heuristic) in the modelling of the beliefs of an agent, we can understand it to be dealing realistically with a different though related concept, namely, what is implicit in what an agent believes.

French

Domaine(s)
  • Intelligence artificielle
OBS

En logique propositionnelle, propriété d’un agent qui connaît toutes les conséquences propositionnelles de ses propres connaissances. Selon Platon, un agent peut connaître toutes les conséquences de ses connaissances, sans nécessairement les croire explicitement. L'omniscience logique est une approximation utile car les agents intelligents existent sous quelques formes de raisonnement tout au moins.

Spanish

Save record 9

Record 10 2022-10-28

English

Subject field(s)
  • Logic (Philosophy)
DEF

... in logic, [an] erroneous reasoning that has the appearance of soundness.

French

Domaine(s)
  • Logique (Philosophie)
DEF

Raisonnement logique en apparence, mais faux en réalité, généralement fait dans le but de tromper.

Spanish

Save record 10

Record 11 2022-05-04

English

Subject field(s)
  • Logic (Philosophy)
CONT

The fallacy of circular argument ... occurs when the premises presume, openly or covertly, the very conclusion that is to be demonstrated ...

French

Domaine(s)
  • Logique (Philosophie)
CONT

En logique, une pétition de principe est un raisonnement fallacieux, un sophisme, une illusion d’argumentation qui consiste à tenir pour vraie la proposition que l'on veut démontrer, en la présumant vraie dans l'une des prémisses(affirmation énoncée en support à la conclusion). La conclusion est alors donnée sans argument ni preuve.

Spanish

Save record 11

Record 12 2019-04-24

English

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

Logical rules are learned from probabilistic data in the sense that both the examples ... and their classifications can be probabilistic.

French

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

Un raisonnement logique est fait à partir d’une règle logique.

Spanish

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Programas y programación (Informática)
  • Inteligencia artificial
Save record 12

Record 13 2013-09-06

English

Subject field(s)
  • PAJLO
  • Law of Evidence

French

Domaine(s)
  • PAJLO
  • Droit de la preuve
OBS

La pertinence logique décrit la relation que le raisonnement logique, fondé sur le sens commun et l'expérience, établit entre deux faits, l'un à prouver, l'autre probant.(Fortin & Viau, cours de preuve pénale, 1977, p. 12)

OBS

pertinence logique: terme normalisé par le Comité de normalisation dans le cadre du Programme national de l’administration de la justice dans les deux langues officielles (PAJLO).

Spanish

Save record 13

Record 14 2012-11-26

English

Subject field(s)
  • Cognitive Psychology
DEF

The capacity to analyze problems logically, carry out mathematical operations and investigate issues scientifically.

OBS

logical-mathematical intelligence: This concept is part of the theory of multiple intelligences developed by the psychologist Howard Gardner.

French

Domaine(s)
  • Psychologie cognitive
DEF

[Capacité de raisonnement] logique, mathématique et scientifique.

OBS

intelligence logico-mathématique : Ce concept fait partie de la théorie des intelligences multiples élaborée par le psychologue Howard Gardner.

Spanish

Save record 14

Record 15 2011-05-12

English

Subject field(s)
  • Philosophy (General)
DEF

The intellectually disciplined process of actively and skillfully conceptualizing, applying, analysing, synthesizing, and/or evaluating information gathered from, or generated by, observation, experience, reflection, reasoning, or communication, as a guide to belief and action.

French

Domaine(s)
  • Philosophie (Généralités)
OBS

Cours à l'Université d’Ottawa intitulé «Raison logique et pensée critique». Apprentissage de la pensée rigoureuse et critique. Examen des différentes fonctions du langage : la conceptualisation, le jugement et le raisonnement.

Spanish

Save record 15

Record 16 2002-02-26

English

Subject field(s)
  • Psychology (General)
CONT

In a world where triviality and mediocrity are used to keep us diverted and entertained, we tend to lapse into paralogical thinking. Paralogia represents a regression to the stage in human development when the mind was dominated by feeling and perception rather than by logic and reasoning.

French

Domaine(s)
  • Psychologie (Généralités)
DEF

Pensée fondée sur l'association d’un raisonnement ou d’une logique rigoureuse, mais avec un point de départ faux.

Spanish

Save record 16

Record 17 1999-04-19

English

Subject field(s)
  • Psychometry and Psychotechnology
  • Examinations and Competitions (Education)
OBS

numeracy. the capacity for quantitative thought and expression.

OBS

Numerical ability indicates the ability to manipulate numbers.

French

Domaine(s)
  • Psychométrie et psychotechnique
  • Docimologie
CONT

Tests Différentiels d’Aptitudes(D. A. T.) [...] Voici les aptitudes fondamentales mesurées avec la batterie de tests différentiels :raisonnement verbal [...] raisonnement non verbal [...] habileté à manipuler des chiffres [...] Les tests Épreuve logique verbale, Épreuve logique non verbale, Habileté arithmétique [...] se corrigent à l'aide de clés.

Spanish

Save record 17

Record 18 1998-11-30

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
CONT

Le raisonnement par défaut n’ est pas permis dans la logique du premier ordre pure.

Spanish

Save record 18

Record 19 1998-11-24

English

Subject field(s)
  • Artificial Intelligence
DEF

Deductive inference from uncertain or imprecise premises.

OBS

Some inference procedures allow for reasoning inexactly from uncertain knowledge.

French

Domaine(s)
  • Intelligence artificielle
DEF

Raisonnement à partir de données incertaines et d’inférences qui sont généralement incertaines.

CONT

Les techniques de diagnostic automatique qui simulent le raisonnement médical sous incertitude peuvent se répartir en trois groupes, selon qu'elles utilisent des méthodes statistiques, des méthodes probabilistes ou encore des méthodes dites de logique floue.

CONT

Il existe une différence fondamentale entre un raisonnement approximatif dont le résultat peut être erroné et un raisonnement certain qui peut ne pas aboutir, mais qui, lorsqu’il aboutit, donne un résultat dont la véracité peut être affirmée sans conteste.

CONT

Ces méthodes visent à simuler la logique humaine en inculquant aux ordinateurs un mode de raisonnement inexact, présumé être le mode de raisonnement humain habituel.

Spanish

Save record 19

Record 20 1998-04-21

English

Subject field(s)
  • Mathematics
  • Artificial Intelligence
CONT

Contraction and monotonicity are in fact the basic notions used in the study of iterations in a continuous setting.

French

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

En mathématique, propriété d’une fonction qui varie dans le même sens. En logique, propriété du raisonnement logique ordinaire qui admet l'ajout de nouvelles connaissances mais ne tolère pas la remise en cause des connaissances déjà acquises.

CONT

Deux règles formalisent le principe de monotonie. La première règle exprime que toute inférence dont la conclusion est l’une des hypothèses est nécessairement valide. La seconde exprime que l’adjonction d’une hypothèse à une inférence valide donne une inférence valide.

CONT

monotonie restreinte, condition de monotonie, principe de monotonie

Spanish

Save record 20

Record 21 1989-12-08

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

toute logique qui s’éloigne du raisonnement catégorique, à valeurs de vérité binaires. Les concepts étudiés sont la possibilité, la nécessité, l'obligation, le temps, le savoir, la croyance. Les formules de ces logiques sont transformées par des opérateurs non définis en logique classique, tels "il est possible", "il a été vrai", "sait que", "croit que".

Spanish

Save record 21

Record 22 1989-12-07

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

Raisonnement déductif non rigoureux, de la logique floue, particulièrement bien adapté à la représentation de certains aspects des langues naturelles.

Spanish

Save record 22

Record 23 1989-08-23

English

Subject field(s)
  • Artificial Intelligence
OBS

See knowledge engineering, cognitive science, software intelligence.

French

Domaine(s)
  • Intelligence artificielle
DEF

Domaine de recherches interdisciplinaires(informatique, linguistique, psychologie, logique) concernant l'analyse des processus cognitifs, les représentations de connaissances et leur traitement, la modélisation de différentes formes de raisonnement, la production et la compréhension d’énoncés(oraux et écrits) exprimés dans une langue naturelle, la perception et l'analyse de scènes. Ces recherches comprennent aussi bien l'analyse que la simulation de ces phénomènes. Elles embrassent points de vue formels(théoriques) aussi bien qu'expérimentaux et techniques. Elles s’ouvrent aux questions épistémologiques comme aux applications concrètes.

OBS

Le néologisme «intellectique» a été proposé en 1981 lors de la création de l’Association pour la recherche cognitive (Daniel Kayser, Laboratoire de Recherche en Informatique, Bâtiment 490-Campus d’Orsay 91405 Orsay, Cedex.

OBS

Selon Daniel Kayser, le terme allemand «Intellektik» avait été proposé en 1980 par Wolfgang Bibel pour désigner la discipline «intelligence artificielle». Il paraît qu’Albert Ducrocq avait déjà proposé «intellectique» dans les années 1960 mais pour désigner un autre concept. Voir aussi «génie cognitif».

Spanish

Save record 23

Record 24 1986-10-22

English

Subject field(s)
  • Artificial Intelligence
DEF

Reasoning that involves adopting assumptions that may have to be abandoned in light of new information.

CONT

Nonmonotonic reasoning can deal with problems that involve rapid changes in values in short periods of time.

French

Domaine(s)
  • Intelligence artificielle
DEF

Raisonnement qui tire à un moment donné des conclusions à partir d’un ensemble d’informations incomplètes et qui ensuite, revient sur ses conclusions quand l’information se précise.

CONT

Ce type de raisonnement, généralement appelé non monotone, est important dans le raisonnement humain mais n’ est pas permis dans la logique du premier ordre pure.

Spanish

Save record 24

Record 25 1986-05-08

English

Subject field(s)
  • Artificial Intelligence
DEF

A reasoning system based on the assumption that once a fact is determined it cannot be altered during the course of the reasoning process. MYCIN is a monotonic system; and, thus, once the user has answered a question, the system assumes that the answer will remain the same throughout the session. Given the brief duration of most MYCIN sessions, this is a reasonable assumption.

French

Domaine(s)
  • Intelligence artificielle
CONT

Alors que le raisonnement logique ordinaire est "monotone"(lorsque des informations nouvelles arrivent, il est possible d’en déduire de nouvelles conséquences, mais pas de remettre l'acquis en cause), le raisonnement usuel tolère souvent des conclusions "par défaut".

Spanish

Save record 25

Record 26 1976-06-19

English

Subject field(s)
  • Logic (Philosophy)

French

Domaine(s)
  • Logique (Philosophie)
OBS

"Beaucoup des paradoxes précédents pivotent autour d’une même confusion ou erreur dénommée par les logiciens "erreur de composition" et définie comme suit dans les traités de logique Erreur de raisonnement consistant à prétendre que ce qui est vrai d’une partie d’un tout l'est également pour cette seule raison du tout. "p. 13(39) On pourrait également le terme "erreur adilitive"

Spanish

Save record 26

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2025
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

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

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: