TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

An inference rule that, given one or more assertions, produces an assertion that logically implies the original assertions. An inductive inference rule is a falsity-preserving transformation of assertions. (cf. deductive inference rule).  1, fiche 1, Anglais, - inductive%20inference%20rule

Record number: 1, Textual support number: 1 CONT

An inductive inference rule performs some elementary act of inductive inference. It takes one or more assertions and generates an assertion that tautologically implies them.  1, fiche 1, Anglais, - inductive%20inference%20rule

Record number: 1, Textual support number: 1 OBS

Here are a few examples of such rules: Dropping conditions ... Turning constants into variables ... Adding options ... Climbing generalization tree ...  1, fiche 1, Anglais, - inductive%20inference%20rule

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

L'induction est un processus de dérivation de sentences plus générales à partir de sentences établies pour certains cas spécifiques par application d'un ensemble de règles d'inférence inductive.  1, fiche 1, Français, - r%C3%A8gle%20d%27inf%C3%A9rence%20inductive

Record number: 1, Textual support number: 1 OBS

Parmi les règles d'inférence les plus utilisées pour généraliser des implicants, citons les suivantes (...) restriction de conjonction (...) extension de disjonction (...) remplacement de constantes par des variables (...) montée d'un arbre de spécialisation.  1, fiche 1, Français, - r%C3%A8gle%20d%27inf%C3%A9rence%20inductive

Fiche 1,  Justifications,  Espagnol