TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

FORMALISATION [28 fiches]

Fiche 1 2025-04-04

Anglais

Subject field(s)
  • Federal Administration
  • Provincial Administration
  • Emergency Management
CONT

[The minister] approved a request for federal assistance from Alberta to provide firefighting resources, strategic airlift capacity, as well as Canadian Armed Forces' resources and logistics support.

OBS

A request for federal assistance (RFA) is the formalization of a request to the federal government to provide support in response to an emergency such as a natural disaster, national security incident and/or pandemic like COVID-19. If the provinces or territories (P/Ts) assess that the emergency exceeds their capacity and resources to response, they may seek assistance from the federal government to help them fill the gaps to mitigate and respond to an emergency.

Français

Domaine(s)
  • Administration fédérale
  • Administration provinciale
  • Gestion des urgences
CONT

[...] le ministre [...] a approuvé une demande d’aide fédérale de l’Alberta visant à fournir des ressources de lutte contre les incendies, une capacité de transport aérien stratégique, ainsi que des ressources et un soutien logistique des Forces armées canadiennes.

OBS

Une demande d’aide fédérale(DAF) est la formalisation d’une demande au gouvernement fédéral pour qu'il fournisse un soutien en réponse à une urgence telle qu'une catastrophe naturelle, un incident de sécurité nationale et/ou une pandémie comme la COVID-19. Si les provinces ou les territoires(PT) estiment que l'urgence dépasse leur capacité et leurs ressources d’intervention, ils peuvent demander l'aide du gouvernement fédéral pour combler les lacunes afin d’atténuer les effets de l'urgence et d’y répondre.

Espagnol

Conserver la fiche 1

Fiche 2 2025-03-27

Anglais

Subject field(s)
  • Information Processing (Informatics)
  • Computer Processing of Language Data
  • Artificial Intelligence
DEF

A formal representation of domain knowledge, including concepts, relationships and axioms.

CONT

Ontologies are used to create a common vocabulary and understanding of a particular domain, which can be used to improve data integration, knowledge sharing, and decision-making. Ontologies can be represented using various formal languages, such as RDF [Resource Description Framework], OWL [Web Ontology Language], or XML [Extensible Markup Language], and can be used in a variety of applications, including natural language processing, semantic search, and machine learning.

Français

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

Corpus structuré de concepts, qui est modélisé dans un langage permettant l’exploitation par un ordinateur des relations sémantiques ou taxonomiques établies entre ces concepts.

CONT

En informatique et en science de l’information, une ontologie est l’ensemble structuré des termes et concepts représentant le sens d’un champ d’informations, que ce soit par les métadonnées d’un espace de noms, ou les éléments d’un domaine de connaissances. L’ontologie constitue en soi un modèle de données représentatif d’un ensemble de concepts dans un domaine, ainsi que des relations entre ces concepts.

CONT

Une ontologie fournit le vocabulaire spécifique à un domaine de la connaissance et, selon un degré de formalisation variable, fixe le sens des concepts et des relations qui les unissent.

OBS

ontologie informatique : désignation et définition publiées au Journal officiel de la République française le 30 avril 2022.

Espagnol

Campo(s) temático(s)
  • Tratamiento de la información (Informática)
  • Procesamiento por computadora de datos lingüísticos
  • Inteligencia artificial
DEF

Formulación de un exhaustivo y riguroso esquema conceptual dentro de uno o varios dominios dados con la finalidad de facilitar la comunicación y la compartición de la información entre diferentes sistemas y entidades.

Conserver la fiche 2

Fiche 3 2024-08-29

Anglais

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.

Français

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.

Espagnol

Conserver la fiche 3

Fiche 4 2024-05-09

Anglais

Subject field(s)
  • Artificial Intelligence
  • Continuing Education

Français

Domaine(s)
  • Intelligence artificielle
  • Éducation permanente
DEF

Outil graphique de formalisation de la structure et des fonctions d’un didacticiel.

DEF

Représentation graphique de la structure et des fonctions du didacticiel qui est généralement fixée à la maquette et qui permet de formaliser les relations existant entre chacune des composantes.

OBS

Le didactogramme permet de visualiser les différents parcours possibles selon les réactions prévues des apprenants et les actions pédagogiques correspondant à chacun de ces parcours.

Espagnol

Conserver la fiche 4

Fiche 5 2021-11-01

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Degré de complexité d’une formalisation logique selon qu'elle accepte ou non les variables de prédicat.

OBS

Les théories du premier ordre sont de loin les plus nombreuses parce qu’exprimées dans un langage formalisant la plupart des énoncés mathématiques.

PHR

logique d’ordre zéro, logique du deuxième ordre

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
CONT

¿De qué hablamos cuando hablamos de lógica proposicional? A veces entendida como "lógica de orden cero", es un sistema formal cuyos elementos más simples representan proposiciones, y que posee operadores lógicos que se aplica sobre proposiciones para formar otras de mayor complejidad.

Conserver la fiche 5

Fiche 6 2016-04-26

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming
DEF

A type of expert system where the procedural knowledge is integrated with the declarative knowledge in the form of production rules.

CONT

Rule-based systems provide explanations of results to users by keeping track of which rules were invoked in a consultation.

OBS

rule-based system: term standardized by ISO and IEC.

Terme(s)-clé(s)
  • rule-based programme
  • rule system

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
DEF

Système expert reproduisant certaines facultés humaines de décision à partir non d’algorithmes complets mais d’éléments d’algorithmes spécifiques d’un domaine d’application, épars et non définitifs, fournis par des experts du domaine.

CONT

Les tentatives de formalisation logique des systèmes à base de règles restent très limitées; plus fondamentalement, le rôle de la logique dans la représentation des connaissances est l'objet de vives controversies.

OBS

Ainsi appelé parce que les connaissances opératoires sont intégrées sous forme de règles aux connaissances assertionnelles de la base de connaissances.

OBS

système à base de règles : terme normalisé par ISO et CEI.

Terme(s)-clé(s)
  • système de règles

Espagnol

Campo(s) temático(s)
  • Inteligencia artificial
  • Programas y programación (Informática)
Conserver la fiche 6

Fiche 7 2015-04-23

Anglais

Subject field(s)
  • Econometrics
CONT

Examples of general equilibrium analysis that have become widespread in recent years are econometric models and the body of techniques that have been labelled systems analysis. These models consist of sets of equations expressing the relationship among the key variables in the economy ... The use of such models will be most familiar to the analyst in connection with the simulation of changes in macroeconomic policies. These models have also been deemed appropriate in examining proposed public health programs ...

OBS

model: In econometrics an equation or set of equations depicting the causal relationships that are believed to generate observed data.

PHR

Aggregate econometric model.

Français

Domaine(s)
  • Économétrie
CONT

Modèle (économétrique) [...] Le modèle est une construction simplifiée, qui cherche à représenter la réalité économique sous son aspect chiffré. De plus, le modèle est le résultat d’une réflexion théorique appuyée et contrôlée par les mesures statistiques. Tout modèle est donc, par nature, économétrique, l’économétrie étant la théorie économique basée sur la mesure effective chiffrée des phénomènes.

OBS

modèle : Instrument d’analyse économétrique qui s’exprime généralement comme une formalisation mathématique de l'évolution d’un ensemble économique cohérent à partir d’hypothèses données.

PHR

Modèle économétrique agrégatif.

Espagnol

Campo(s) temático(s)
  • Econometría
DEF

Modelo económico que contiene las especificaciones necesarias para su aplicación empírica.

Conserver la fiche 7

Fiche 8 2014-12-12

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Phase de formalisation des connaissances expertes lors de la conception d’un système expert. Le cogniticien distingue le niveau structurant qui définit le mécanisme générant la certitude, le niveau conceptuel qui détermine l'ensemble des concepts opératoires utilisés par l'expert, et le niveau cognitif qui correspond à l'ensemble des connaissances mises en œuvre par l'expert.

Espagnol

Conserver la fiche 8

Fiche 9 2012-01-04

Anglais

Subject field(s)
  • Training of Personnel
  • Software
  • Education Theory and Methods
CONT

The creation of on-line courses is first and foremost a venture in education, but it also has all the elements of a multimedia project. It includes a number of technologies, a spectrum of media encompassing the printed word, images, sound and moving images. As such, the development of on-line instruction requires a team including content specialist (the educator), programmers, the graphic and instructional designers, technical writer, editor and project manager. A development team is as complex as the process of planning, creating, and validating the courseware.

Français

Domaine(s)
  • Perfectionnement et formation du personnel
  • Logiciels
  • Théories et méthodes pédagogiques
DEF

Équipe qui étudie et réalise un didacticiel, sous la direction du concepteur médiatique.

CONT

Suite aux remarques des utilisateurs, suite à ses propres idées de simplification ou d’aménagement voire de développement, l’auteur (ou l’équipe auteur) est amené à perfectionner son produit.

CONT

[...] il n’ est pas nécessaire que le document de représentation de l'expertise soit entièrement complété pour passer à l'implémentation. En fait, l'équipe de développement alterne implémentation et identification/formalisation de la connaissance au cours du développement du système.

Espagnol

Campo(s) temático(s)
  • Capacitación del personal
  • Soporte lógico (Software)
  • Teorías y métodos pedagógicos
Conserver la fiche 9

Fiche 10 2011-07-21

Anglais

Subject field(s)
  • Computers and Calculators
  • Software
DEF

Installation of a computer system for immediate use [which] involves the selection of hardware and software, the physical installation of this hardware and software at the users' sites, and related testing and training activities.

CONT

Implementation. The implementation phase turns the design into code executable in the run-time environment. This entails defining the internal mechanisms by which each module will meet its module specification, and then mapping module mechanisms and interface properties into the implementation language.

Français

Domaine(s)
  • Ordinateurs et calculateurs
  • Logiciels
DEF

Mise en place sur un ordinateur d’un système d’exploitation ou d’un ensemble de programmes généraux correspondant à une fonction particulière destinée à l’utilisateur, et adaptée à sa configuration propre.

CONT

[...] il n’ est pas nécessaire que le document de représentation de l'expertise soit entièrement complété pour passer à l'implémentation. En fait, l'équipe de développement alterne implémentation et identification/formalisation de la connaissance au cours du développement du système [expert].

Espagnol

Conserver la fiche 10

Fiche 11 2010-04-21

Anglais

Subject field(s)
  • Regulations and Standards (Mechanics)
CONT

Dimensioning and Tolerancing for Simplified and Economical Manufacturing [title]. Dr. Irving W. Burr, Prof. of Statistics and Mathematics, Purdue University .... Suppose that an important characteristic of an assembly is determined by the sum and/or difference of dimensions of components, for example, total length of several parts or clearance between a shaft and a bearing. This paper provides simple process controls and acceptance sampling plans that the design engineer can use instead of conventional specification limits for a part.

Français

Domaine(s)
  • Réglementation et normalisation (Mécanique)
DEF

Établissement de l’ensemble des tolérances admissibles pour une pièce.

CONT

Nouvellement enregistrée en concordance technique avec la norme internationale ISO 3040, la norme NF E04-557 rappelle les caractéristiques fonctionnelles dimensionnelles des éléments coniques conjugués et propose des principes de cotation et de tolérancement dans l’établissement du dessin de définition de chacun de ses éléments d’assemblage.

PHR

Répartir le tolérancement.

PHR

Automatisation, formalisation du tolérancement(des pièces mécaniques).

Espagnol

Conserver la fiche 11

Fiche 12 2006-06-08

Anglais

Subject field(s)
  • Management Theory
  • Sociology (General)
DEF

The process of an organization acquiring and/or intensifying characteristics of a bureaucracy.

Français

Domaine(s)
  • Théories de la gestion
  • Sociologie (Généralités)
DEF

Processus de formalisation des activités, de multiplication des fonctions et de centralisation des pouvoirs par lequel une organisation acquiert progressivement les caractéristiques d’une bureaucratie.

Espagnol

Campo(s) temático(s)
  • Teorías de la gestión
  • Sociología (Generalidades)
CONT

La burocratización, es decir, el crecimiento del poder de los servicios administrativos, es una fatalidad inevitable y representa a su vez el rasgo más evidente del proceso de racionalización característico de la vida moderna [...]

Conserver la fiche 12

Fiche 13 2006-05-25

Anglais

Subject field(s)
  • Communication and Information Management

Français

Domaine(s)
  • Gestion des communications et de l'information
DEF

Accord dépourvu de toute formalisation mais pouvant reposer sur une déclaration n’ ayant pas entraîné de contestation sur le champ.

Espagnol

Campo(s) temático(s)
  • Gestión de las comunicaciones y la información
Conserver la fiche 13

Fiche 14 2004-04-30

Anglais

Subject field(s)
  • Decision-Making Process
  • Artificial Intelligence
CONT

[The] knowledge life cycle is a process involving the following four phases: knowledge extraction; decision-making; decision evaluation; data farming.

Terme(s)-clé(s)
  • knowledge life-cycle

Français

Domaine(s)
  • Processus décisionnel
  • Intelligence artificielle
CONT

Cycle de vie de la connaissance : émergence d’une idée, formalisation, validation, diffusion, réutilisation, valorisation.

Espagnol

Conserver la fiche 14

Fiche 15 1994-11-29

Anglais

Subject field(s)
  • Artificial Intelligence
CONT

Constructing a knowledge base is in general a modeling problem, using representational tools that are unavailable to the expert. It is a problem of formalization and reformulation.

OBS

[This stage] involves generation of formal representations of the key concepts, sub-problems, and information flow characteristics.

Français

Domaine(s)
  • Intelligence artificielle
CONT

L'activité principale des étudiants est la formalisation, ou encore la programmation dans un langage qui permet des constructions formelles intéressantes.

OBS

[Cette étape] comporte la production de représentations formelles des concepts clés, des sous-problèmes et des caractéristiques du débit de l’information.

Espagnol

Conserver la fiche 15

Fiche 16 1991-02-22

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 16

Fiche 17 1990-08-31

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 17

Fiche 18 1990-07-26

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 18

Fiche 19 1990-05-17

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Formalisation du raisonnement plausible.

Espagnol

Conserver la fiche 19

Fiche 20 1989-12-05

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Formulation logicielle des connaissances de l’expert par le cogniticien. Deuxième étape du transfert des connaissances.

Espagnol

Conserver la fiche 20

Fiche 21 1989-07-26

Anglais

Subject field(s)
  • Artificial Intelligence
  • Mathematics
DEF

Translating a problem statement into an alternative logically equivalent form so that an appropriate solution method can be applied. This may include reformulating data representations and restating problem constraints.

Français

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

formulation : action de mettre en formule.

OBS

Voir "mise en équation" des connaissances, formalisation.

Espagnol

Conserver la fiche 21

Fiche 22 1989-04-20

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 22

Fiche 23 1989-04-13

Anglais

Subject field(s)
  • Geology
DEF

A lithologic body to which casual reference is made but for which there is insufficient need, insufficient information, or inappropriate basis to justify designation as a formal unit.

Français

Domaine(s)
  • Géologie
CONT

Les unités informelles, dont les termes d’unité sont des noms ordinaires, ne sont pas protégées par la stabilité qu'apportent la formalisation appropriée et les procédures de classification recommandées : elles sont connues à la fois pour des raisons économiques et scientifiques.

Espagnol

Conserver la fiche 23

Fiche 24 1989-02-16

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 24

Fiche 25 1989-02-13

Anglais

Subject field(s)
  • Computer Graphics
  • Artificial Intelligence

Français

Domaine(s)
  • Infographie
  • Intelligence artificielle
DEF

La formalisation de la structure d’hologrammorphisme.

Espagnol

Conserver la fiche 25

Fiche 26 1989-02-03

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 26

Fiche 27 1987-09-18

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 27

Fiche 28 1986-06-18

Anglais

Subject field(s)
  • Artificial Intelligence
OBS

See implicit function

Français

Domaine(s)
  • Intelligence artificielle
CONT

Remarquez l'emploi de l'implicite zéro. On s’en sert quand on ne peut pas appliquer un des implicites du langage. Ici, c'est la formalisation d’une règle qui ne nécessite l'emploi d’aucune fonction. C'est pourquoi on se sert de cet implicite fourre-tout.

Espagnol

Conserver la fiche 28

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 :