SOLUTION :

Exercices sur la résolution dans les systèmes de connaissances

à base de règles

Exercice #1

On dispose d’un système à base de connaissances permettant de valider un trajet en fonction d’un
contexte. La base de connaissances est constituée d’un ensemble de 9 règles. Le moteur
d’inférence de ce système à base de connaissances fonctionnement en chaînage arrière et sa
stratégie de résolution de conflit consiste à choisir la 1e règle disponible dans sa base.

À partir des 9 règles données ci-dessous, déterminer la validité du trajet pour Paul. On sait
seulement que Paul répare lui-même son auto et qu’il a un problème de santé à ses jambes
altérant leur santé. Cependant, il est capable d’effectuer de courts trajets à pied comme se rendre à
la station de métro.

R1 : SI deplacement = auto ALORS but = se_rendre_au_travail

R2 : SI deplacement = marche ALORS but = se_rendre_au_travail
R3 : SI deplacement = métro ALORS but = se_rendre_au_travail
R4 : SI condition_auto = bonne ET essence_auto = vrai ALORS deplacement = auto
R5 : SI santé-jambes = bonne ALORS deplacement = marche
R6 : SI station_métro = en_marchant OU station_métro = en_auto ALORS deplacement = métro
R7 : SI reparation_auto = moi OU reparation_auto = reparateur ALORS condition_auto = bonne
R8 : SI plein_essence = oui ALORS essence_auto = vrai
R9 : SI condition_auto = bonne ET essence_auto = vrai ALORS station_métro = en_auto

Présenter la résolution sous forme d’un graphe en indiquant bien le numéro de chaque
clause utilisée. Encadrer les faits. Tracer en gras ou d’une autre couleur le chemin qui
amène à la solution.

SOLUTION

Le graphe se lit de haut en base et de gauche à droite. C’est donc le 3e chemin qui valide le trajet
de Paul. Les faits sont encadrés en bleu (de la base de faits) et en rouge (faits déduits). Le trajet
de solution est en gras rouge.

1
IFT-2003 Intelligence artificielle I
Exercice #2

Supposons la base de règles et de faits ci-dessous. On veut appliquer un raisonnement en

chaînage avant à partir de cette base de connaissances. Donner la trace du raisonnement,
soit pour chaque étape le contenu de la base de faits au début de l’étape, les noms des
règles candidates, le nom de la règle choisie (la règle ayant le plus petit numéro est
choisie en premier), ainsi que le nouveau fait déduit. La résolution se termine lorsqu’il
n’y a plus de nouveaux faits à déduire.

Appliquer ensuite un chainage arrière pour prouver j. Donner la trace du raisonnement

par un graphe et/ou.

Base de connaissances Base de faits

si a alors d. %R1 fait(a).
si c et e alors i. %R2 fait(b).
si a et c alors g. %R3 fait(c).
si b et d alors f. %R4
si f alors e. %R5
si g alors h. %R6
si c et d et g alors j. %R7
si k alors m. %R8

SOLUTION

Chainage avant :

# Base de faits Règles candidates Règle choisie Fait déduit

1 a,b,c R1, R3 R1 d
2 a,b,c,d R3, R4 R3 g
3 a,b,c,d,g R4, R6, R7 R4 f
4 a,b,c,d,g,f R5, R6, R7 R5 e
5 a,b,c,d,g,f,e R2, R6, R7 R2 i
6 a,b,c,d,g,f,e,i R6, R7 R6 h
7 a,b,c,d,g,f,e,i,h R7 R7 j
8 a,b,c,d,g,f,e,i,h,j Aucune
La résolution se termine car il n’y a plus de nouveaux faits à déduire.

Chainage arrière :

2
IFT-2003 Intelligence artificielle I
Donc j est prouvé en utilisant les règles R7, R1 et R3. Les faits appartenant à la base de faits sont
encadrés en bleu. Les faits déduits sont encadrés en rouge.

Exercice #3

Considérons la base de règles suivante :

R1 : Si n et p et q alors r
R2 : Si p et s alors m
R3 : Si r et o alors m
R4 : Si n alors y
R5 : Si p alors q
R6 : Si m et y alors t
R7 : Si o alors p
R8 : Si y et o alors m
R9 : Si y et n alors p

Supposons que les faits n et o sont vrais.

Donner la suite de règles à appliquer pour démontrer m en appliquant le chaînage avant.

Expliquer la stratégie de résolution de conflits lorsque plus d’une règle est candidate.

Donner le graphe et/ou correspondant à la preuve de m par chaînage arrière.

SOLUTION

Chainage avant :

# Base de faits Règles candidates Règle choisie Fait déduit

1 n,o R4, R7 R4 y
2 n,o,y R7, R8, R9 R7 p
3 n,o,y,p R5, R8, R9 R5 q
4 n,o,y,p,q R1, R8, R9 R1 r
5 n,o,y,p,q,r R3, R8, R9 R3 m
6 n,o,y,p,q,r,m R6, R8, R9 R6 t
7 n,o,y,p,q,r,m,t R8, R9 aucun nouveau
fait
La résolution se termine car il n’y a aucun nouveau fait à déduire. La stratégie de résolution de
conflit utilisée est la suivante : la règle candidate ayant le plus petit numéro est choisie. Une autre
stratégie aurait pu être adoptée : la règle candidate ayant le plus grand numéro est choisie, la règle
la plus spécialisée est choisie, etc.

Chainage arrière :

Dans le graphe suivant, m a été prouvé. Les faits utilisés de la base de faits sont encadrés en bleu.
Les faits déduits sont encadrés en rouge. Les numéros de règles qui font partie du chemin de
solution sont entourés de rouge.

3
IFT-2003 Intelligence artificielle I
 4
IFT-2003 Intelligence artificielle I