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 :

R4R5R7R8R2R1

[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

candidates sélectionnée
1 R4, R7 R4 B, C, X R1, R2, R3, R4, R5, R6, R7, R8, R9
2 R7, R8, R9 R7 B, C, X, D R1, R2, R3, R4, R5, R6, R7, R8, R9
3 R5, R8, R9 R5 B, C, X, D, E R1, R2, R3, R4, R5, R6, R7, R8, R9
4 R8, R9 R8 B, C, X, D, E, R1, R2, R3, R4, R5, R6, R7, R8, R9
A
5 R6, R9 R6 B, C, X, D, E, R1, R2, R3, R4, R5, R6, R7, R8, R9
A, H

[Texte] Page 4
2ème année Master ADSI,
Module Système à base de connaissances
ABDELOUHAB F.Z

Chainage avant en largeur d’abord monotone avec régime irrévocable :

N°d’inférence Règles Règle Base de faits Règles restantes

candidates sélectionnée
1 R4, R7 R4 B, C, X R1, R2, R3, R4, R5, R6, R7, R8, R9
2 R7 B, C, X, D R1, R2, R3, R4, R5, R6, R7, R8, R9
3 R5, R8, R9 R5 B, C, X, D, E R1, R2, R3, R4, R5, R6, R7, R8, R9
4 R8 B, C, X, D, E, R1, R2, R3, R4, R5, R6, R7, R8, R9
A
5 R9 B, C, X, D, E, R1, R2, R3, R4, R5, R6, R7, R8, R9
A
6 R1, R6 R1 B, C, X, D, E, R1, R2, R3, R4, R5, R6, R7, R8, R9
A, F
7 R6 B, C, X, D, E, R1, R2, R3, R4, R5, R6, R7, R8, R9
A, F, H
Chainage arrière :

[Texte] Page 5