Eine Inferenzmaschine (lehnübersetzt aus dem englisch inference engine), auch Regelinterpreter und Schlußfolgerungsmaschine genannt, ist der Teil eines wissensbasierten Systems, der durch die Verarbeitung des Wissens aus der gegebenen Wissensbasis neue Aussagen ableitet. Die Inferenzmaschine und die Wissensbasis sind damit die beiden zentralen Bestandteile eines wissensbasierten Systems.