Systèmes experts
4. Fonctionnement
4.2. Chainage arrière
Chaînage arrière ( Raisonnement guidé par le but)
- Détection des règles qui concluent à ce but
- Résolution de conflits
- Application de la règles (les éléments des prémisses deviennent de nouveau sous- buts à atteindre).
- Arrêt : pile vide ou aucune règle applicable
Se base sur le Modus Tollens:
Si f2 est non vrai et si f1 Þ f2 alors f1 est non vrai.