Université de la Manouba II3 Tronc Commun

Ecole Nationale des Sciences

de l’Informatique

Intelligence Artificielle
TD1

Exercice 1
Soit le texte suivant : « Si Jean n’a pas rencontré Pierre l’autre nuit alors Pierre est le meurtrier ou
Jean est un menteur. Si Pierre n’est pas le meurtrier alors Jean n’a pas rencontré Pierre l’autre nuit
et le crime a eu lieu après minuit. Si le crime a eu lieu après minuit, alors Pierre est le meurtrier ou
Jean n’est pas un menteur. »

1. Est-ce qu’on peut formaliser cet ensemble de connaissances avec la logique d’ordre 0.
2. Ecrire l’ensemble des connaissances correspondantes dans le formalisme choisi.
3. Prouvez que Pierre est le meurtrier.

Exercice 2
Soit le texte suivant : « Marcus était un homme. Marcus était un pompéien. Tous les pompéiens
étaient romains. César était un souverain. Tous les romains étaient fidèles à César ou le haïssaient.
Marcus a essayé d’assassiner César. Tous les hommes sont des personnes. Les personnes n’essaient
d’assassiner que les souverains auxquels ils ne sont pas fidèles. Chacun est fidèle à quelqu’un. »

1. Quel formalisme de représentation des connaissances proposeriez-vous pour l’énoncé

ci-dessus ?
2. Ecrire la base de connaissances correspondante.
3. Prouvez que « Marcus n’était pas fidèle à César ».
4. Prouvez que « Marcus haïssait César ».

Exercice 3
1. Aujourd’hui, je vais à la mer
2. Michel est mon voisin
3. Je ne vais jamais à la mer les jours où il ne fait pas beau
4. Jean ne va jamais à la mer le même jour que moi.
5. Certains de mes voisins ne vont jamais à la mer le même jour que moi.
6. Michel ne va à la mer que si j’y vais.
7. Aucun de mes voisins ne va à la mer deux jours de suite.

1) Formaliser les affirmations suivantes en utilisant la logique d’ordre 1. On suppose donnés :

Les prédicats suivants : beau(j) est vrai lorsqu’il fait beau le jour j ; voisin(x,y) est vrai lorsque x
est voisin de y ; mer(x,j) est vrai lorsque x va à la mer le jour j.
Ainsi que les constantes : moi, aujourd’hui, Michel et Jean.

2) Transformer les propositions obtenues sous forme clausale. Numéroter les clauses.
3) Montrer par réfutation les affirmations suivantes :
* Aujourd’hui il fait beau.
* Jean ne va pas à la mer aujourd’hui.

Exercice 4
Soit p la proposition : ″il pleut”.
1/2
Formalisez les affirmations suivantes en logique modale :

▶ Il ne pleut pas
▶ L’agent sait qu’il pleut
▶ L’agent sait qu’il ne pleut pas
▶ L’agent tient pour concevable qu’il pleuve
▶ L’agent tient pour concevable qu’il ne pleuve pas
▶ L’agent sait qu’il sait qu’il pleut
▶ L’agent sait qu’il ne sait pas s’il pleut

Exercice 5
Représentez les phrases suivantes à l’aide de la logique modale :
▶ Bruno croit que la ligne de tram T1 est en travaux.
▶ Mélanie sait que toutes les lignes de tram fonctionnent.
▶ Carole croit que tous les voyageurs savent que la ligne de tram T1 est en travaux.

Exercice 6
Jean et Alain sont deux personnages dont l'humeur est régie par un principe général très simple,
qu'on peut exprimer par la phrase suivante où X représente soit Jean soit Alain :
X est de bonne humeur si X a de l'argent et X est en vacances et il y a du soleil ou si X réussit
dans le travail et dans sa famille.

On sait aussi que :

Jean a de l'argent, Alain a de l'argent
Jean est en vacances si on est en août
Alain est en vacances si on est en juillet
On est en juillet
Il y a du soleil si on est en août
Jean réussit dans le travail
Alain réussit dans le travail
Alain réussit dans sa famille.

1. Quel formalisme de représentation de connaissances proposeriez-vous pour l'énoncé ci-dessus?

2. Ecrire la base de connaissances dans le formalisme choisi.
3. On désire savoir d'après l'énoncé, qui est de bonne humeur? Expliquer les étapes du
raisonnement. Illustrer ces étapes par un arbre dont chaque noeud comporte la liste des buts à
satisfaire.

Exercice 7
Soit le texte suivant : « Tous les joueurs sont forts et disciplinés. Maradona est un joueur qui n’est
pas fort. Les joueurs de football ne sont pas disciplinés. Zidane est un joueur de football mais il est
discipliné.»
1. Quel système de représentation des connaissances proposeriez-vous pour formaliser l’énoncé ?
2. Ecrire la base de connaissances.

Exercice 8
Une personne est une entité identifiée par un NOM. Les caractéristiques de cette entité sont : le
sexe, l'âge, le père, la mère et les enfants. Soit la liste suivante de personnes :
Ali, masculin, âge 65, enfants : Mohamed, Fatma ;

2/3
 Khédija, féminin, âge 60, enfants : Mohamed, Fatma ;
Mohamed, masculin, âge 30, enfants : Salah ;
Fatma, féminin, âge 25 ;
Salah, masculin, âge 10.

1. Etablir un réseau sémantique correspondant à cet ensemble de connaissances.

2. Comment poser la question pour connaître toutes les mères dans ce réseau.
3. Comment faire pour répondre à la question : quel est le grand père de Salah ?

Exercice 9
Soit la base de connaissances suivante :
R1 A → E R2 B→D
R3 H → A R4 E∧G→C
R5 E ∧ K → F R6 D ∧E ∧K →C
R7 G ∧ K ∧ F → A R8 D∧ F→J

Et la base de faits initiale : H, K, B.

1. En choisissant comme stratégie d’inférence le chaînage avant avec l’application en premier de la
règle ayant le plus d’éléments dans le membre gauche et en cas d’égalité la première qui se
présente, donner les étapes de déductions.

2. On considère maintenant un fonctionnent en chaînage arrière avec la même stratégie que la

question précédente. Donner l’arbre de déduction pour le but J.

3. On considère maintenant la base de faits H, K, B, G et on associe à chacune des règles de la base

de connaissances un coefficient de certitude CC qui indique de degré de confiance accordé à la
règle :

CC1=0.7, CC2=0.5, CC3=0.6, CC4=0.5, CC5=0.5, CC6=0.4, CC7=0.7, CC8=0.9

Le système expert fonctionne en chaînage avant et choisit la règle la plus certaine. La

combinaison de coefficients de certitude CC est réalisée suivant la loi : CCN= CCA + CCi (1
– CCA)

4. CCA est le CC d'un fait avant l’application de la règle Ri,

5. CCi est le CC de la règle Ri qui contient le fait en conclusion.
6. CCN est le nouveau CC du fait après l’application de la règle Ri concluant sur ce fait.

Un fait est admis comme vrai si son CC ≥ 0.5. Les faits de la base de faits initiale sont supposés
avoir un CC = 1.
Sachant qu’une règle ne s’applique qu’une seule fois, donner l'évolution du contenu de la base.

3/3