Ce document présente des exercices sur la résolution de problèmes par chaînage avant et arrière dans des systèmes experts à base de règles. Les exercices sont résolus en détail avec des tableaux ou graphes montrant les étapes d'inférence.
0 évaluation0% ont trouvé ce document utile (0 vote)
774 vues5 pages
Ce document présente des exercices sur la résolution de problèmes par chaînage avant et arrière dans des systèmes experts à base de règles. Les exercices sont résolus en détail avec des tableaux ou graphes montrant les étapes d'inférence.
Ce document présente des exercices sur la résolution de problèmes par chaînage avant et arrière dans des systèmes experts à base de règles. Les exercices sont résolus en détail avec des tableaux ou graphes montrant les étapes d'inférence.
Ce document présente des exercices sur la résolution de problèmes par chaînage avant et arrière dans des systèmes experts à base de règles. Les exercices sont résolus en détail avec des tableaux ou graphes montrant les étapes d'inférence.
Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
Télécharger au format pdf ou txt
Vous êtes sur la page 1/ 5
2ème année Master ADSI,
Module Système à base de connaissances
ABDELOUHAB F.Z
Solutions des exercices
Exercice1 : On considère un système expert défini par la logique de prédicat d’ordre 0 et qui est décrit comme suit: Base de Règles : R1 : A, B, C →D R2 : E, H →B R3 : H, F →B R4 : A, K→ C R5: A →E R6: E, F→ D R7: A →F R8: I →H R9: K, I →E Base de Faits initiale: A, K, I Prouver le but D en utilisant le chaînage avant puis le chaînage arrière
Solution : Chaînage Avant : Résolution en utilisant un tableau N°d’inférence Règles Règle Base de faits Règles restantes candidates sélectionnée 1 R4, R5, R7, R8, R4 A, K, I, C R1, R2, R3, R4, R5, R6, R7,R8, R9 R9 2 R5, R7, R8, R9 R5 A, K, I, C R1, R2, R3, R4, R5, R6, R7,R8, R9 3 R7, R8, R9 R7 A, K, I, C, F R1, R2, R3, R4, R5, R6, R7,R8, R9 4 R8, R9 R8 A, K, I, C, F,H R1, R2, R3, R4, R5, R6, R7,R8, R9 5 R2, R3, R9 R2 A, K, I, C, F,H, R1, R2, R3, R4, R5, R6, R7,R8, R9 B 6 R1, R3, R9 R1 A, K, I, C, F,H, R1, R2, R3, R4, R5, R6, R7,R8, R9 B, D
Le but D est atteint au bout de 6 inférences :
R4R5R7R8R2R1
[Texte] Page 1 2ème année Master ADSI, Module Système à base de connaissances ABDELOUHAB F.Z
Chaînage Arrière en profondeur d’abord:
Résolution par un tableau
But à Règles Règle Buts Interprétation prouver candidates sélectionnée intermédiaires D R1 ou R6 R1 A, B, C A∈ BF A prouvé Reste à prouver B et C B R2 ou R3 R2 E, H Reste à prouver E et H E R5 ou R9 R5 A A prouvé E prouvé R5 validée Reste à prouver H H R8 R8 I I∈ BF I prouvé H prouvé B prouvé reste à prouver C C R4 R4 A, K A, K prouvés C prouvé R1 validée D prouvé But initial atteint.
Résolution par graphe
Prouvé D R1 Ou R6 Et
A B C Prouvé Prouvé Prouvé R2 Ou R4 R3 Et Et E H K Prouvé Prouvé A Prouvé Prouvé
A I Prouvé Prouvé
[Texte] Page 2 2ème année Master ADSI, Module Système à base de connaissances ABDELOUHAB F.Z
Exercice2 : Soit un système expert défini comme suit : Base de règles : Base de Faits : E, F 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 On cherche à démontrer C
1. Résoudre le problème suivant par chaînage avant
N°d’inférence Règles Règle Base de faits Règles restantes
candidates sélectionnée 1 R5 R5 E, F, D R1, R2, R3, R4, R5 2 R2, R3 R2 E, F, D, A R1, R2, R3, R4, R5 3 R3 R3 E, F, D, A, B R1, R2, R3, R4, R5 4 R1, R4 R1 E,F, D, A, B, C R1, R2, R3, R4, R5
Base finale : A, B, D, E, F, C Il y a réussite, le fait C a été inclus dans la base
2. Résoudre le problème suivant par chaînage arrière en profondeur d’abord :
But à Règles Règle Buts Interprétation
prouver candidates sélectionnée intermédiaires C R1 R1 A et B Reste à prouver A et B A R2 R2 F et D F prouvé, reste à prouver D D R5 R5 E et F E et F prouvé D prouvé R2 validée A prouvé. Reste à prouver B B R3 R3 D et E D et E prouvé B prouvé A et B prouvé C prouvé (But initial
Chaînage arrière en largeur d’abord :
But à Règles Règle Buts Interprétation
prouver candidates sélectionnée intermédiaires C R1 R1 A et B Reste à prouver A et B A R2 R2 F et D F prouvé, reste à prouver D B R3 R3 D et E E prouvé, reste à prouver D D R5 R5 E et F E et F prouvé D prouvé A et B prouvé C prouvé (But initial
[Texte] Page 3 2ème année Master ADSI, Module Système à base de connaissances ABDELOUHAB F.Z
Exercice3 : ™ Base de Fait (BDF): B, C ™ But : H ™ Base des règles (BDR): ƒ R1: B∧D∧E →F ƒ R2: D∧G →A ƒ R3: C∧F →A ƒ R4: B→X ƒ R5: D→E ƒ R6: A∧X→H ƒ R7: C→D ƒ R8: X∧C→A ƒ R9: X∧B→D
Résoudre ce problème en appliquant l’approche de chainage avant selon une stratégie en
profondeur d’abord monotone avec régime irrévocable :
•La 1ère règle qui apparaît dans l’ensemble des règles détectées est celle à appliquer •Une règle appliquée est définitivement écartée de BDR
Solution Chainage avant en profondeur d’abord monotone avec régime irrévocable :
N°d’inférence Règles Règle Base de faits Règles restantes
