TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Predicate logic is a formal system of logic that allows for the expression of complex propositions and relationships between objects, including the use of variables.  2, fiche 1, Anglais, - predicate%20logic

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

La puissance additionnelle de la logique des prédicats résulte de la possibilité d'utiliser des variables quantifiées. Ainsi la proposition "Tous les escargots ont des cornes" est exprimable en logique des prédicats de premier ordre et pas en logique des propositions.  2, fiche 1, Français, - logique%20des%20pr%C3%A9dicats

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

Every expression of boolean algebra corresponds to a logic circuit. The letters used in the expression are represented by the inputs to the circuit. Each wire in the circuit represents some part of the expression. A gate takes the values from its input wires and combines them with the appropriate word--and, or, or not--to produce the label on its output wire.  2, fiche 2, Anglais, - output%20line

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

Global analysis of gene expression by using DNA microarrays is employed increasingly to search for differences in biological properties between normal and diseased tissue.... We used GABRIEL(Genetic Analysis By Rules Incorporating Expert Logic), a platform of knowledge-based algorithms for the global analysis of gene expression, together with conventional statistical approaches, to examine the sensitivity of conclusions to threshold choice in recently published microarray-based studies.  2, fiche 3, Anglais, - analysis%20by%20rules

Record number: 3, Textual support number: 2 CONT

Analysis by Rules. The password cracker combines user-specific information, like the username and full name, with a series of precompiled word lists to obtain a list of password candidates. To each word in this list, it applies a set of transformation rules to generate even more potential passwords.  3, fiche 3, Anglais, - analysis%20by%20rules

Record number: 3, Textual support number: 1 PHR

Genetic, morphological, structural analysis by rules.  4, fiche 3, Anglais, - analysis%20by%20rules

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 CONT

Le nouveau moteur antispam de NETASQ consiste en une analyse de liste noire DNS (RBL) [...] et un moteur d'analyse heuristique [qui] réalise de nombreuses analyses (sur les entêtes de messages ainsi que sur le contenu), telle l'analyse par règles empiriques, l'analyse sémantique, la recherche de contre-mesures et même l'analyse du code HTML intégré.  2, fiche 3, Français, - analyse%20par%20r%C3%A8gles

Record number: 3, Textual support number: 2 CONT

Stratégie d'analyse et organisation syntaxique et sémantique. L'oral spontané se caractérise par la souplesse des constructions syntaxiques et sémantiques : en particulier, les changements de parcours rendent difficile une analyse linéaire de l'énoncé. Tous les systèmes basés sur une analyse par règles (comme par exemple TINA) sont confrontés à ce problème. En revanche, les analyses sélectives semblent mieux armées pour y faire face.  3, fiche 3, Français, - analyse%20par%20r%C3%A8gles

Record number: 3, Textual support number: 3 CONT

Analyse par règles pour l'extraction de connaissances. Cette approche consiste à utiliser une analyse du texte basée sur des règles décrivant des schémas de relations à rechercher dans le corpus. L'objectif est de repérer les contextes de ces relations dont les contraintes morphosyntaxiques sont décrites dans des règles déclaratives du type : (SI conditions ALORS conclusion). Cette démarche a été appliquée au système SEEK (Jouis, 1995) en se basant sur la grammaire applicative et cognitive de Desclés (1990). En appliquant des règles morphosyntaxiques préétablies, il est possible de repérer des relations à partir de textes connaissant des indices et des marqueurs linguistiques.  4, fiche 3, Français, - analyse%20par%20r%C3%A8gles

Record number: 3, Textual support number: 4 CONT

Construction de la sémantique à partir de corpus de dialogue oral homme-machine : De la description catégorielle à la modélisation stochastique («Constructing semantics using corpora of oral human-machine dialogs: From a categorial description to stochastic modeling»). Cette thèse traite du problème de la compréhension automatique de la parole spontanée. L'objectif est de concevoir et d'étudier une méthode stochastique pour l'analyse sémantique et de la comparer avec une méthode conventionnelle d'analyse par règles.  5, fiche 3, Français, - analyse%20par%20r%C3%A8gles

Record number: 3, Textual support number: 1 PHR

Analyse par règles empiriques, lexicales.  6, fiche 3, Français, - analyse%20par%20r%C3%A8gles

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

The expression... means that the membership of the element X in the set A ranges from 0 to 1, inclusive.(Fuzzy Logic Basics : Intuitive Rules Replace Complex Mathematics, EDN, June 1992).  1, fiche 4, Anglais, - membership

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 CONT

L'appartenance d'un élément X à un ensemble flou A s'interprète également comme une mesure de possibilité de l'évènement «X est (de type) A». [...] L'appartenance à un tel ensemble [flou] n'est pas à valeurs binaires [...] mais continues (entre 0 et 1).  1, fiche 4, Français, - appartenance

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

A logic that has terms whose intended meaning is an expression of some object language.  1, fiche 5, Anglais, - syntactic%20logic

Fiche 5,  Justifications,  Français

Fiche 5,  Justifications,  Espagnol