Institut Supérieur de Gestion                                                                                     Janvier 2007

Département Informatique

Examen Session Principale
Intelligence Artificielle
Durée : 2 heures

Partie I

1-        Comparer entre le schéma arrière 2 et le schéma arrière 1 en précisant les améliorations qu'a apportées la version 2 par rapport à la version 1 du haînage arrière.

2-        Donner l'algorithme du schéma avant 2 en pseudo-code.

3-        Quand dit-on qu'un groupe de règles d'inférence est sain ?

4-        Donnez un exemple de règle d'inférence saine et non complète pour la déduction. Justifier.      

Partie II Exercicel

Donner le plus général unificateur (PGU), quand c'est possible, pour chacun des ensembles suivants :

a-      E 1 {P(a, f(X), g(Z)); P(A, B, g(f(C))); P(Y,                                                                      f(Y),W)}

b-    E2 {P(X, h(f(a), g(X))); P(b, h(Y, Z)); P(h(A, A), B)}

c- E3 {Q(f(a), g(X)); Q(Y, Y)}

Exercice2

Soit les expressions suivantes :

-   Certains malades aiment tous les docteurs

-   Aucun malade n'aime les charlatans

a- Exprimer ces expressions sous forme de fbf en utilisant la logique des prédicats du premier ordre.

b- Mettre ces fbf sous forme normale conjonctive.

e- Mettre ces formules sous forme clausale.

d-     Déterminer une nouvelle expression qui peut être déduite à partir de ces deux expressions, la mettre sous forme de fbf

Utiliser la stratégie de réfutation de l'ensemble de support pour prouver cette déduction.

 

Exercice3

Soit la base de connaissances suivante :

Base des règles :

R1   : P2, F2 ß--- P2, A2, A4

R2   : P3, F4, F6 ß---A2

R3   : P3 ß--- A5, P1

R4   : P3, F3, Fl ß---A7, A5, P5

R5   : P4, F5 ß---A7, A3, A2

R6   : P4, F2, F3, F4 ß--- Al, A2

R7  : P5, F2 ß---- P2, Al

R8  : P5, F3 ß---Al, A4, P4

R9   : P5 ß---A3, A2

R10  : P6, F1 ß--- P7, A4, P1

R11   :P5ß--- P3, A4, P7                                                                 

R12  : P7 ß---- A7, A6, A3

BF= {F1, F3, F6}

Plan = Ø

PBB = {P6}

Table des actes terminaux:

Symboles	Faits ajoutés	Faits enlevés
Al	F2	Néant
A2	Néant	F2, F3, F4
A3	Néant	F2
A4	F4	Néant
A5	F?	Fl, F6
A6	Fl, F2	F4
A7	Néant	Néant

Résoudre le problème P6 en utilisant le moteur de type schéma mixte. On donnera une trace d'exécution, puis on donnera le plan de résolution du problème P6.