Consortium International e-Miage

Contrôle terminal Code du Module : code (C217)

Session de juin 2023 Intitulé du module : Bases de l’Intelligence Artificielle
Nombre de pages : 2 Nom de l’enseignant : Nadia KABACHI

Durée de l’épreuve : 2 heures

Documents NON autorisés


Exercice 1 : Résolution de problème [6 points]

Pour franchir une rivière, 3 missionnaires et 3 cannibales doivent

utiliser une barque qui ne peut supporter plus de 2 personnes. Si à
tout moment les cannibales sont plus nombreux que les missionnaires
sur l’une des deux rives, les missionnaires seront tués et mangés.
Les six protagonistes peuvent-ils traverser la rivière sains et
saufs ? Dans la barque comme sur chacune des deux rives, les
cannibales ne peuvent pas être plus nombreux que les missionnaires.
1.1 Poser le problème [3.5 points]
Proposer une façon de décrire le problème en terme d’ensemble de
variables décrivant un état de départ, un état solution, les actions
possibles (avec leurs conditions et leur effet sur la description
d’état).

1.2 Rappeler ce qu’est une heuristique et Illustrer les deux

premiers niveaux de l’arbre de résolution conforme à votre
modélisation [2.5 point]

Exercice 2 : Algorithmes de Recherche Aveugles/heuristiques

[4 points]

Considérons la carte suivante. Le but est de trouver le chemin le

plus court de A vers I. Appliquez la recherche A* en indiquant pour
chaque nœud sa valeur f.
Le coût de chaque connexion est indiqué. L’heuristique h est donnée
comme suit :

Noeud A B C D E F G H I
h 10 5 5 10 10 3 3 3 0

1
Exercice 3 : Logique d’ordre 0 et d’ordre 1[6 points]

3.1 Démontrer par la table de vérité la validité de cette

formule :


3.2 Traduire cette phrase sous forme d’une formule logique

- Pour tout crime, il y’a quelqu’un qui l’a commis.

- Seuls les gens malhonnêtes commettent des crimes.

3.3 Pour l’expression ci-dessous :

∀x (∃y (A(x)→ B(x, g(y))))
1. Mettre l’expression logique sous forme clausale en respectant les
6 étapes suivantes :
(a) élimination des →
(b) déplacement des ¬ vers l’intérieur
(c) élimination des ∃ (“Skolémisation”)
(d) déplacement des ∀ vers l’extérieur
(e) distribution de ∧ sur ∨
(f) mise en clauses
2. Ecrire la forme clausale obtenue sous forme de clauses Prolog.

Exercice 5 : Prolog [4 points]

Ecrivez en PROLOG le prédicat substituer(X,Y,L1,L2) permettant de

substituer toutes les occurrences de X dans L1 par Y et qui va
donner L2 (liste résultat). Par exemple

?- substituer(a,3,[a, b, a, c, 2],L2).
L2= [3, b, 3, c, 2].