TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Algorithme dont l'exécution permet de reproduire un comportement intelligent en présence de données incertaines.  2, fiche 1, Français, - algorithme%20de%20d%C3%A9duction%20plausible

Record number: 1, Textual support number: 1 CONT

Les incertitudes résultant du modèle conceptuel peuvent être explorées en considérant des relations alternatives. Si plus d'un modèle est possible, l'évaluateur de risque peut évaluer lequel des algorithmes de déduction plausible fournit le meilleur résultant en appliquant séparément les modèles jusqu'à la phase d'analyse.  3, fiche 1, Français, - algorithme%20de%20d%C3%A9duction%20plausible

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

... deduction algorithms are widely used in applications such as scheduling and design verification, showing that they can be useful for many real-world reasoning tasks.  3, fiche 2, Anglais, - deduction%20algorithm

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

Algorithme de déduction. La première étape consiste à présélectionner les mots du dictionnaire qui correspondent aux deux critères précédemment décrits : l'algorithme ne garde que les mots commençant par la même première lettre que la première lettre saisie par l'utilisateur et qui ont [un nombre de caractères égal au] nombre de frappes effectuées par l'utilisateur.  3, fiche 2, Français, - algorithme%20de%20d%C3%A9duction

Fiche 2,  Justifications,  Espagnol

Record number: 2, Textual support number: 1 OBS

Lenguaje formal de la lógica que, mediante un conjunto de reglas, permite decidir si una fórmula es deducible de otras.  1, fiche 2, Espagnol, - algoritmo%20deductivo