Vous êtes sur la page 1sur 5

Intelligence artificielle S2: 2008 Examen 25 avril 2008

Probl`
eme 1 Etudiez le jeu suivant. Dans quatre cases se trouvent deux jetons A et B. La
position de depart est la suivante:
A

Le deux joueurs A et B jouent un coup `a tour de role et chacun doit deplacer son jeton vers un
espace libre adjacent dans une direction quelconque. Si ladversaire occupe un espace adjacent,
lautre joueur peut sauter par-dessus son jeton pour aller vers lespace libre suivant sil y en a un;
(par exemple, si A est sur 3 et B sur 2, alors A peut aller sur 1). Le joueur A joue en premier. La
partie est terminee lorsquun des joueurs atteint lautre extremite du plateau de jeu.
1. Definissez formellement ce probl`eme (espace des
etats,
etat initial,
etat final, op
erateurs.
2. Construisez larbre de recherche complet.
3. Est-ce que A (ou B) peut toujours gagner?
Solution:
On represente un etat par un tuple (i, k, X) signifiant que A est dans la case i, B est dans la case
k et X doit jouer.
Espace des
etats : E = {(i, k, X) : i, k {1, 2, 3, 4}, X {A, B} et i 6= k}

Etat
initial: (1, 4, A)

Etats
finals: (4, i, B), (k, 1, A) o`
u i, k {1, 2, 3, 4}
Op
erateurs:
(i, k, A) 7 (i + 1, k, B), i + 1 6= k, i < 4
(i, k, A) 7 (i + 2, k, B), i + 1 = k, i < 3
(i, k, A) 7 (i 1, k, B), i 1 6= k, 1 < i
(i, k, A) 7 (i 2, k, B), i 2 6= k, 2 < i
(i, k, B) 7 (i, k + 1, A), i 6= k + 1, k < 4
(i, k, B) 7 (i, k + 2, A), i = k + 1, k < 3
(i, k, B) 7 (i, k 1, A), i 6= k 1, 1 < k
(i, k, B) 7 (i, k 2, A), i = k 1, 2 < k

Graphe de transition

Probl`
eme 2 Logique propositionnelle. Durand, Tintin et Milou jouent du violon, du piano et
de la clarinette. Le dimanche, Durand fait du velo avec le violoniste. La femme du pianiste lui

interdit de faire du velo. Milou nest pas marie.


Trouvez quelle personne joue `
a quel instrument. Utilisez la methode des tableaux pour le demontrer.
Solution:
On a les symboles propositionnnelles suivantes:
Durand joue du violon, du piano et de la clarinette: DV, DP, DC
Tintin joue du violon, du piano et de la clarinette: TV, TP, TC
Milou joue du violon, du piano et de la clarinette: MV, MP, MC
Le dimanche, Durand fait du velo avec le violoniste: DV
La femme du pianiste lui interdit de faire du velo: DP
Milou nest pas marie: M P
Il faut en plus des r`egles qui expriment que joue un et un seul instrument.
DV DP DC Durand joue du violon ou du piano ou de la clarinette . . .
DV M V T V Si Durand joue du violon alors ni Milou ni Tintin joue du violon . . .
...
Le tableaux pour ces phrases est (je ne donne pas toutes les lois, trop encombrant, seulement celles
qui sont utilisees pour trouver la reponse)
DV DP DC
MV MP MC
TV TP TC
DC T C M C
M V T V DV
...
DV
DP
M P
Q
 Q
 
Q
 
Q

Q
DV DP
DC

#c
#
c
#
c
#
c
DC
T C

M C
"b
"% b
"%
b
"
b
b
%
"
MP MC
MV

B@
B@
B @
@
TC
TV
TP

A
 A
A

T V
M V
DV

Larbe de demonstration a une branche ouverte qui contient DC, M V, T P . La solution est donc:
Durand joue de la clarinette, Milou joue du violon et Tintin joue du piano.

Probl`
eme 3 Representez les phrases suivantes en logique du premier ordre (vous devriez definir
le vocabulaire).
1. Tous les etudiants qui ont choisi loption IA ont dej`a fait de la logique.
2. Pas tous les etudiants suivent le cours de LN et de IA.
3. Les etudiants qui font les TD dIA sont prevoyants.
Solution:
On choisit les predicats et constantes suivants pour la representation:
Constantes : IA, log , LN , T DIA
Pr
edicats
E(x) x est un etudiant
C(x, y) x a choisi le cours y
F (x, y) x fait y
P (x) x est prevoyant
1 x[(E(x) C(x, IA) C(x, log)]
2 x(E(x) (C(x, IA) C(x, LN )))
3 x(E(x) F (x, T DIA) P (x)))

Probl`
eme 4

Considerez les phrases suivantes:

(1) Il y a des patients qui aiment tous les docteurs.


(2) Aucun patient naime les charlatans.
(3) Aucun docteur nest un charlatan.
Traduisez ces phrases en formules de la logique du premier ordre.
Demontrez par la methode des tableaux que la phrase (3) est une consquence des autres
phrases (1) et (2).
Solution:
On choisit les predicats et constantes suivants pour la representation:
Pr
edicats
P (x) x est un patient
4

C(x) x est un charlatan


D(x) x est un docteur
A(x, y) x aime y
1 x(P (x) y(D(y) A(x, y)))
2 x(C(x) y(P (y) A(y, x)))
3 x(D(x) C(x)))
Pour demontrer que 1 2 3, on construit le tableaux pour {1, 2, 3}.

1.x(P (x) y(D(y) A(x, y)))


2.x(C(x) y(P (y) A(y, x)))
3.(x(D(x) C(x))))

de 3.D(d0 ) C(d0 )

de 1. P (p0 )
y(D(y) A(p0 , y)) 4
HH
H

HH


H

de 2. C(d0 )
y(P (y) A(y, d0 )) 5

Q

Q

Q

QQ

de 4. D(d0 )
A(p0 , d0 )

@
@
@
de 5. P (p0 ) A(p0 , d0 )

Ce tableau est clos, on a donc 1 2 3.

Vous aimerez peut-être aussi