TD 1 Systemes Experts
TD 1 Systemes Experts
TD 1 Systemes Experts
Existe-t-il une règle applicable ? : ceci consiste à trouver parmi toutes les règles celles
dont la partie condition est vraie et à en choisir une à l'aide d'une fonction de choix.
Appliquer cette règle : une fois la règle choisie, le programme exécute sa partie action
ou conclusion.
Désactiver cette règle : en logique des propositions, il est inutile d'appliquer plus d'une
fois la même règle. Ainsi, les règles utilisées sont rendues inactives.
Le but souhaité est-il démontré ? : cet algorithme suppose que l'utilisateur du moteur
veut obtenir une proposition particulière, but du problème. Si ce fait vient d'être obtenu,
il est inutile de poursuivre le travail.
Dans le cas où aucun but particulier n'est demandé, le moteur fonctionne jusqu'au
moment où aucune règle n'est applicable (condition d'arrêt). On dit alors que le moteur
fonctionne par saturation.
Le chaînage arrière est un mécanisme d'exploitation guidé par les buts. Il traduit la règle
du modus tollens. Si q est non vrai et si p implique q alors p est non vrai.
Le système recherche, par la méthode du chaînage arrière, si le but souhaité peut être
démontré à l'aide des règles présentes dans la base de règles.
Le chaînage arrière traduit un raisonnement déductif
3- Description de chaînage mixte
Remarque
Enfin, le Chaînage avant: But (jusqu’à saturation) et le Chaînage arrière: Saturation (+ But).
Vous allez trouver ces algorithmes dans plusieurs références.
Voilà des Exemples Système expert ABC avec solution détaillée pour les deux stratégies
étudiées
Exercice 1
R1: A --> E
R2: B --> D
R3: H --> A
R4: E et G --> C
R5: E et K --> B
R6: D et E et K --> C
R7: G et K et F --> A
i) Le chaînage avant : on part de la base de faits initiale; on déclenche toutes les règles
dont les prémisses sont satisfaites ; on ajoute les faits ainsi obtenus ; on poursuit jusqu'à
"saturation".
ii) Le chaînage arrière : supposons que l'on cherche à démontrer si le fait D est vérifié
; c'est le but recherché. On regarde toutes les règles qui ont le but dans leurs conséquences.
Chacune de ces règles est considérée : si toutes ses prémisses sont satisfaites dans la base de
faits initiale, le but est atteint, sinon on enregistre les prémisses inconnues comme autant de
nouveau buts et on recommence le cycle sur chacun d'eux.
Exercice 2
R1 Si B et D et E Alors F
R2 Si G et D Alors A
R3 Si C et F Alors A
R4 Si B Alors X
R5 Si D Alors E
R6 Si X et A Alors H
R7 Si C Alors D
R8 Si X et C Alors A
R9 Si X et B Alors D
Si H résulte des faits B et C par application des règles données dans la base de
connaissance.
Résolution du problème: par chaînage avant et chaînage arrière
R4 : B X B, C, X
R8 : X et C A A, B, C, X
R6 : X et A H A, B, C, X, H Succès.
Exercice 3
Compléter les solutions proposées dans les cas de chaînage avant et chaînage arrière pour le
système suivant : Base de faits: BC et la Base des règles:
R1 : Si B et D et E alors F
R2 : Si G et D alors A
R3 : Si C et F alors A
R4 : Si B alors X
R5 : Si D alors E
R6 : Si X et A alors H
R7 : Si C alors D
R8 : Si X et C alors A
R9 : Si X et B alors D
Solution3
a) Chaînage avant
b) Chaînage arrière
Exercice 4
R1 : A → E
R2: B → D
R3 : H → A et F
R4 : E et G → C
R5 : E et K → B
R6 : D et E et K → C
R7 : G et K et F → A
Exercice 5
Base de règles :
R1 : Si A et B alors C
R2 : Si F et D alors A
R3 : Si D et E alors B
R4 : Si B et D alors F
R5 : Si E et F alors D
Exercice 6
Résoudre le problème suivant par chaînage arrière : Base de faits initiale E,F
On cherche à démontrer C.
Base de règles
R1 : Si E et B alors C
R2 : Si B et D alors A
R3 : Si J et H alors B
R4 : Si D et E alors B
R5 : Si B et D alors F
R6 : Si E et F alors D
Exercice 7
R1 : A et B →C
R2 : D →A
R3 : E→ F
R4 : G→ H
R5 : I →F
R6 : H et F et J →B
R7 : H et K→ J
R8 : G et F→ K
Solution 4
Solution 5
E, F, A, B avec R1
E, F, D, B avec R2
E, F, D avec R3
Solution 6
E, F, B avec R1
E, F, J, H avec R3
Blocage : on repart avec les bases du cycle 2 moins la règle R3
E, F, D avec R4
E, F avec R6
Base de faits finale : E, F. Il y a réussite, il n'y a plus de faits à démontrer en base de faits