Systèmes experts, une base de faits, une base de règles, un moteur d'inférence,logique des propositions, logique des prédicats, si P est vrai (fait ou prémisse) et si on sait que P implique Q (règle) alors, Q est vrai (nouveau fait ou conclusion).
Les moteurs - dits à « chaînage avant » qui partent des faits et règles de la base de connaissance, et tentent de s'approcher des faits recherchés par le problème ; les moteurs - dits à « chaînage arrière » qui partent des faits recherchés par le problème, et tentent par l'intermédiaire des règles, de « remonter » à des faits connus ; les moteurs dits à « chaînage mixte » qui utilisent une combinaison de ces deux approches chaînage avant et chaînage arrière.
