-----------------------------------------------------------------------------------------------------------------

Université de Tunis
Institut Supérieur de Gestion de Tunis
Cours Fondements de la l’Intelligence Artificielle – 2ème LNIG
TD 2
Enseignants : Lilia Rejeb, Maha Elarbi, Imen Oueslati
-----------------------------------------------------------------------------------------------------------------
Exercice 1 :

1. Déduire tous les faits possibles par chaînage avant. Est-ce que le fait H est déduit ?
2. Peut-on vérifier le fait H par chaînage arrière ?

Base des faits : B,C

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

Exercice 2 :
Considérer la base de règles et la base de faits suivants :
R1 : Si distance ≤ 2km alors aller-à-pied
R2 : Si 2 km< distance ≤ 20 km alors aller-à-vélo
R3 : Si 20 km< distance alors aller-en-train
R4 : Si 400 km< distance et budget-avion alors aller-en-avion
R5 : Si aller-en-train ou aller-en-avion alors besoin-billet
R6 : Si universitaire et budget alors ordre-mission
R7 : Si ordre-mission et besoin-billet alors billet-prépayé
R8 : Si universitaire et distance ≤ 1000 km alors non budget-avion
 R9 : Si besoin-billet et non ordre-mission alors payer-billet
Considérer la base des faits suivante : {universitaire, distance = 460 km, budget}
Que pouvez-vous déduire à partir de cette base de connaissance ?
Exercice 3 :
Considérons la base des faits suivante :

R1: L,B,C  E

R2: E, B, C  F, G, K

R3: H, K  B, L

R4: C, H  B, K

R5: C, E, B  I

R6: I, F  K, L, A

R7: E, A  D

R8: C  H, E
Considérons le but {D} et la base des faits {H, B, C}
1. Résoudre le problème en utilisant le chaînage avant.
2. En considérant {I} comme but et en conservant la même base de faits, résoudre le problème
en utilisant le chaînage arrière.

Exercice 4 : SE basé sur la logique des prédicats

Considérons la base de règles suivante :

R1. AM(X) AR(Y) VD(X,Y,Z)  HO(Z)  CR(X)

R2 : MIS(X) POS(ennemi,X)  VD(west,X,ennemi)
R3 : MIS(X)  AR(X)
R4 : EN(X,am)  HO(X)
Considérons la base des faits suivante :
MIS(m1)
AM(west)
EN(ennemi,am)
POS (ennemi,m1)
Considérons CR(west) comme étant le but
1. Prouver le but par chaînage avant en utilisant les substitutions pour unifier les valeurs.
2. Prouver le but par chaînage arrière