TERMIUM Plus®

Par le Bureau de la traduction

Dans les médias sociaux

Consultez la banque de données terminologiques du gouvernement du Canada.

LOGIC RULE [9 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-05-09

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A rule of logic that states : when B is known to be false, and if there is a rule "if A, then B", then it is valid to conclude that A is false.

CONT

This rule, which has the latin name modus tollens ... cannot be reached by most expert systems.

Français

Domaine(s)
  • Intelligence artificielle
DEF

OtOtRègle d'inférence de la forme: si A alors B; or B n'est pas vrai; donc A ne l'est pas non plus.

OBS

Signifie en latin "mode qui supprime". Il existe aussi un mode qui supprime en posant" (modus ponendo-tollens) du type: ou A est vrai, ou B est vrai mais pas les deux; or A est vrai; donc B n'est pas vrai.

Espagnol

Conserver la fiche 1

Fiche 2 2020-09-14

Anglais

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

A rule definition based on temporal logic(an extension of Boolean logic with temporal operators) specifies relative statements about the temporal order of the elements...

Français

Domaine(s)
  • Mathématiques
  • Logique (Philosophie)
  • Programmes et programmation (Informatique)
  • Intelligence artificielle

Espagnol

Campo(s) temático(s)
  • Matemáticas
  • Lógica (Filosofía)
  • Programas y programación (Informática)
  • Inteligencia artificial
Conserver la fiche 2

Fiche 3 2019-04-24

Anglais

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.

Français

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

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

Espagnol

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Programas y programación (Informática)
  • Inteligencia artificial
Conserver la fiche 3

Fiche 4 - données d’organisme externe 2014-09-03

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
28.02.26 (2382)
numéro d'article de norme ISO/CEI
DEF

formal logic rule which consists of an "if" part representing the premise or condition and a "then" part representing the goal or action to be taken when the "if" part is true

OBS

if-then rule; if-then statement: 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.02.26 (2382)
numéro d'article de norme ISO/CEI
DEF

règle de la logique formelle qui comprend une partie «si» représentant la condition et une partie «alors» représentant l'action à entreprendre lorsque la partie «si» est vraie

OBS

règle conditionnelle; règle «si...alors» : termes et définition normalisés par l'ISO/CEI [ISO/IEC 2382-28:1995].

Espagnol

Conserver la fiche 4

Fiche 5 1999-04-13

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A formal logic rule which consists of an "if" part representing the premise or condition and a "then" part representing the goal or action to be taken when the "if" part is true.

DEF

A statement of a relationship among a set of facts. The relationship may be definitional (e.g., if female and married, then wife), or heuristic (e.g., if cloudy, then take umbrella).

OBS

if-then statement, if-then rule: terms standardized by ISO/IEC and CSA.

Français

Domaine(s)
  • Intelligence artificielle
DEF

Relation entre un ensemble de faits. Elle comprend une partie gauche (prémisse ou pattern) et une partie droite (conséquence, conclusion ou action).

DEF

Règle de la forme «si prémisses, alors conclusions».

OBS

règle conditionnelle, règle si...alors : termes normalisés par ISO/CEI et la CSA.

Espagnol

Conserver la fiche 5

Fiche 6 1995-02-23

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A basic rule of logic that asserts that if we know that A implies B and we know for a fact that A is the case, we can assume B.

DEF

If A is true, then B is true. A is true therefore B is true.

CONT

Logically speaking, the two rules of inference most used in problem solving are modus ponens ("If A implies B and you know A, then infer B") and modus tollens ("If A implies B and you know not-B, then infer not-A")...

Français

Domaine(s)
  • Intelligence artificielle
DEF

Règle qui veut que si P alors Q, et que si P est vrai, alors Q est vrai.

CONT

SI Durand est informaticien ALORS Durand est mort : Durand est informaticien PAR CONSÉQUENT Durand est mort. La formule simple, utilisée dans les deux exemples ci-dessus est l'une des plus fondamentales en logique; on lui a donné le nom latin de modus ponendo ponens (abrégé généralement en modus ponens).

OBS

En logique, appelée "règle de détachement". Signifie en latin "mode qui pose". Il existe aussi un "mode qui pose en supprimant" (modus tollendoponens) du type : ou A est vrai, ou B est vrai; or A n'est pas vrai; donc B est vrai.

Espagnol

Conserver la fiche 6

Fiche 7 1988-11-04

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

In McDermott's(1982) and Davis(1980) sense, a rule of inference that can be obtained from a modal logic relation by some bootstrapping process.

Français

Domaine(s)
  • Intelligence artificielle
OBS

possibiliser : rendre possible (Journal de la langue française, vol 2, no 6, 7 mai 1791, p. 202 Réponse de François Domergue à E.-B. Mertiau qui lui demande son avis sur "possibiliser".); possibilisant : qui peut rendre possible.

Espagnol

Conserver la fiche 7

Fiche 8 1986-11-26

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

Since Colmerauer's introduction of metamorphosis grammars(MGs), with their associated type O-like grammar rules, there has been a desire to allow more general rule formats in logic grammars.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 8

Fiche 9 1985-12-16

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

Concern with architecture of task-specific reasoning as opposed to concern with implementation-level concerns at rule, frame or logic language level.

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 9

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 :