Moteur d'inférence
Un moteur d’inférence est un composant du système qui applique des règles logiques à une base de connaissances pour en déduire des informations nouvelles. Les premiers moteurs d'inférence étaient des composants de systèmes experts. Le système d’expert typique consistait en une base de connaissances et un moteur d'inférence.
La base de connaissances stocke des faits sur le monde. Le moteur d'inférence applique des règles logiques à la base de connaissances et en déduit de nouvelles connaissances. Ce processus serait répété car chaque nouveau fait de la base de connaissances pourrait déclencher des règles supplémentaires dans le moteur d'inférence. Les moteurs d'inférence fonctionnent principalement selon l'un des deux modes: règle spéciale ou faits: chaînage avant et chaînage arrière. Le chaînage avant commence par les faits connus et affirme de nouvelles formes. Le chaînage arrière commence avec des objectifs, et fonctionne en arrière pour déterminer quels faits doivent être affirmé pour que les objectifs soient atteints.