INFÉRENCE n. f.
XVII^e siècle. Dérivé d'inférer. LOGIQUE. Opération consistant à établir qu'une proposition est vraie par le seul fait de sa liaison avec une ou plusieurs propositions dont la vérité a été établie précédemment. Raisonner par inférence. La déduction et l'induction sont deux formes particulières d'inférence. • INFORM. Moteur d'inférence, type de programme utilisé en intelligence artificielle pour réaliser une telle opération logique.