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 1

Cette première série a pour but d’initier l’étudiant au raisonnement en logique formulée, a
savoir logique propositionnelle.

Exercice 1 :

Soit à automatiser la gestion d’un feu de circulation de la figure ci-dessous. Etablir, dans
un langage naturel, l’ensemble des règles (formules) pouvant vous servir à votre tâche.
Exemple : Si feu F1 passe au rouge, alors véhicule 1 doit s’arrêté.

F1 F2 2

4 F4 F3

Exercice 2 :

Décrivez en langage naturel, le fonctionnement du circuit électrique ci-dessous. L1, L2

lampes, I1 et I2 des interrupteurs.
 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 1

+ -

I2
I1
L2
L1

Exercice 3 :

Reprendre l’exercice 1 avec la figure ci-dessous.

Hopital
Entree Sortie Ambulance
1

F1 F2 2 21 22

4 F4 F3

Reprendre toutes les propositions ainsi formulées, en logique des propositions.