Un moteur d'inférence (du verbe "inférer" = déduire) est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs.
Pour la suite, voir Wikipédia.org…
n. m. Partie d'un système expert qui effectue la sélection et l'application des règles en vue de la résolution d'un problème donné. Anglais : inference engine.