- 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.
- 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.