Institut Supérieur d’Informatique

Département Génie Logiciel et

Systèmes d'Informations
Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
TD série 4
Exercice 1:
Traduisez les formules suivantes en français en utilisant les correspondances.
a, b, c: Antoine, Brigitte, Céline ; P(x): x se promène, R(x,y): x regarde y.
(1) P(b).
(2) xP(x).
(3) xR(b,x).
(4) xR(x,a).
(5) xyR(x,y).

Exercice 2:
Dites quels sont les prédicats dans les propositions suivantes. Formalisez-les.

1. L’inspecteur Dufour à mené l’enquête.

2. Antoine n’a pas de voiture.
3. La fête n’a pas fait long feu.
4. La plupart des invités sont partis.
5. Le plus grand cirque du monde est en train de s’agrandir.
6. Il est malade.
7. Quelqu’un doit aller chercher à boire.
8. Cette injustice à durablement déprimé Paul.
9. Les deux sœurs sont parties se promener.
10. Une personne s’occupera de Pierre.

Exercice 3:
Soulignez les quantificateurs dans les phrases suivantes, et formalisez celles-ci dans le
langage des prédicats.
(1) Quelqu’un arrive.
(2) Personne n’est venu.
(3) Quelques champignons sont comestibles.
(4) Tous les petits oiseaux volent.
(5) Tous les enfants aiment les bonbons.
(6) Aucun enfant ne déteste les bonbons.

1
 Institut Supérieur d’Informatique
Département Génie Logiciel et
Systèmes d'Informations
Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
TD série 4
Exercice 4:
Dans les formules suivantes :
a) soulignez les variables libres,
b) entourez les variables liées et indiquez par une flèche quel connecteur les lie.
1. P(x)
2. xP(x)
3. yQ(x)
4. y(Q(y)  P(y))
5. xP(x)  Q(x)
6. xP(x)  Q(y)
7. xP(x)  Q(y)
8. P(x) → xQ(x)
9. x(P(x) → Q(x))
10. xy(P(x)  Q(y))
11. x(P(x) → y(Q(y)  R(x)))

Exercice 5 :
Traduisez les phrases suivantes dans le langage des prédicats. Conservez autant de
structure que possible. Etablissez le vocabulaire nécessaire.
(1) Tous les plombiers sont des hommes
(2) Mohamed est riche
(3) Si Ali est un plombier, Ali est riche
(4) Tous les hommes sont plombiers ou riches
(5) Quelques plombiers sont riches
(6) Quelques plombiers ne sont pas riches
(7) Aucun plombier n’est riche
(8) Tous les hommes sont plombiers
(9) Tous les hommes ne sont pas plombiers

Exercice 6 :
Traduire les énoncés suivants dans le calcul des prédicats.
1. Tous les champignons violets sont vénéneux.

2
 Institut Supérieur d’Informatique
Département Génie Logiciel et
Systèmes d'Informations
Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
TD série 4
2. Aucun champignon violet n'est vénéneux.
3. Tout champignon est violet ou vénéneux.
4. Tout champignon est soit violet soit vénéneux, mais pas les deux.
5. Tous les champignons violets, sauf un, sont vénéneux.
6. Il existe exactement deux champignons violets.

Exercice 7 :
Soit le modèle suivant :
a : Mohamed, b : Houda, c : Zohra
P : {Mohamed, Zohra}
Q : {Mohamed, Houda, Zohra}
R:
Les formules suivantes sont-elles vraies ou fausses dans ce modèle ?
1. P(a),
2. Q(c),
3. R(b),
4. xQ(x),
5. xP(x),
6. x(P(x) → Q(x)),
7. x(Q(x)  P(x)),
8. xR(x),
9. x(Q(x) → P(x)),
10. x(Q(x) → P(x)).

Exercice 8 :
Soit la situation suivante :
Il y a quatre individus, Amélie, Brice, Christian, Delphine.
Amélie et Delphine sont des filles ; Brice et Christian des garçons.
Amélie et Brice ont chacun un chat ; Christian et Delphine ont chacun un chien.
Amélie lit. Brice, Christian et Delphine mangent.
(Note : ce qui n’est pas précisé est faux ; par exemple, Amélie ne mange pas.)
A) Décrivez le modèle M correspondant à cette situation.

3
 Institut Supérieur d’Informatique
Département Génie Logiciel et
Systèmes d'Informations
Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
TD série 4
B) Formalisez les phrases ci-dessous dans le langage des prédicats monadiques.
C) Pour chacune des formules correspondantes, dites si elle est vraie ou fausse dans
le modèle M en justifiant votre réponse.
(1) Amélie mange ou lit.
(2) Si Brice mange, Christian dort.
(3) Si Brice et Christian mangent, alors Delphine ne lit pas.
(4) Delphine a un chat ou un chien.
(5) Tout le monde a un chat ou un chien.
(6) Si quelqu’un lit, tout le monde mange.
(7) Si quelqu’un lit, quelqu’un mange.
(8) Tous ceux qui mangent ne lisent pas.
(9) Tous les garçons mangent.
(10) Aucune fille ne mange.
(11) Toutes les filles ont un chat.
(12) Si tous les garçons ont un chien, toutes les filles ont un chat.
(13) Ceux qui ont un chien mangent.
(14) Ceux qui mangent ont un chien.
(15) Tous les garçons ne lisent pas.
(16) Certains garçons ne lisent pas.
(17) Si une fille lit, alors une fille mange.
(18) Si une fille lit, alors elle mange. [Attention, cette traduction n’est pas
évidente !]
(19) Tous ceux qui ont un chat lisent ou mangent.
(20) Si toutes les filles ont un chat ou mangent, alors tous les garçons ont un chien
ou lisent.

Exercice 9:
Pour Chacune des formules suivantes dites quelles sont celles qui sont satisfaisables,
valides, contradictoires :
1. x (P(x)P(x)) 2. x (P(x)→ P(z)) 3. x y(P(x) P(y))
4. x (P(x)Q(x)) 5. (x P(x))→P(z) 6. x (P(x) →P(a)P(b)
Pour chaque formule qui n’est ni valide ni contradictoire, donnez une interprétation qui

4
 Institut Supérieur d’Informatique
Département Génie Logiciel et
Systèmes d'Informations
Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
TD série 4
la satisfait et une qui ne la satisfait pas.

Exercice 10:
Soient les formules suivantes :
F1 : x P(x,x), F2 : x y(P(x,y) → P(y,x)), F3 : x yz ((P(x,y)  P(y,z))→ P(x,z))
Montrez qu’aucune de ces formules n’est conséquence logique des deux autres. Quel est
le sens intuitif de chacune de ces formules.

Exercice 11:
Dites si les formules ci-dessous sont ouvertes ou fermées.
Rappel : Une formule est fermée si elle ne contient pas de variable libre. Elle est
ouverte sinon.
1. P(a)
2. xQ(x)
3. xP(x)  Q(x)
4. y(Q(y) → P(y))
5. Q(y) → yP(y)
6. x(P(x)  Q(x))
7. x(P(x) → Q(y))
8. Q(x) → yQ(y)

Exercice 12:
Formalisez les phrases suivantes dans le langage des prédicats, en conservant autant de
structure que possible.
(1) Ali marche et Mohamed court.
(2) Si Ali court, alors Ali sera fatigué.
(3) La voiture de Mohamed ne démarre plus.
(4) Fatma viendra, mais pas Zohra.
(5) Si Salah joue avec le feu, il va se faire mal.
(6) Cette table semble parfaite, ou je suis mal avisé.
(7) Si le président de l’association ne répond pas aux questions, alors l’éditorialiste
écrira un article ravageur.

5
 Institut Supérieur d’Informatique
Département Génie Logiciel et
Systèmes d'Informations
Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
TD série 4
(8) Si le match se termine tôt alors les bus seront pleins, à moins que notre équipe
gagne.
(9) Fathi ou Houda ont un vélo.
(10) Si cet homme ou son ami reviennent dans le quartier, je ferai signe.