inférence [ɛ̃ferɑ̃s]

nom féminin

(de inférer)

  1. LOGIQUE Opération intellectuelle par laquelle on passe d'une vérité à une autre vérité, jugée telle en raison de son lien avec la première : La déduction est une inférence.
  2. LOGIQUE Règles d'inférence, règles qui permettent, dans une théorie déductive, de conclure à la vérité d'une proposition à partir d'une ou de plusieurs propositions, prises comme hypothèses.

    INFORMATIQUE Moteur d'inférence, programme qui, partant de données d'un système expert, aboutit à des conclusions à l'aide d'inférences successives.