You are on page 1of 5

ESP SN.

Module IA2

Camara

Travaux dirigs du chapitre 2 .................................................................................................................. 2 Travaux dirigs du chapitre 3 : ................................................................................................................ 4

Page 1 sur 5

ESP SN. Module IA2

Camara

Travaux dirigs du chapitre 2


Exercice 1 : Dcrire la preuve logique dune solution permettant de dcider si le voyageur doit tre tax ou non. Proposition 1 2 3 4 5 6 7 8 9 cognac <-1-litre adulte cognac <-1-litre petite-quantit adulte petite-quantit hors-taxe cognac (<-1-litre ) Petite quantite Adulte petite-quantit hors-taxe Justification Prmisse Prmisse Prmisse Prmisse Prmisse IE 1 2 MP 6 4 IE 3 7 MP 8 5

Exercice 2 : Dcrire la preuve logique de la solution Jacques est grand-pre de Charles .

Proposition 1 2 3 4 5 pre (Jacques, Pierre) pre (Pierre, Charles) pre (Jacques, Pierre) pre (Pierre, Charles) grandpre (Jacques, Charles) pre (Jacques, Pierre) pre (Pierre, Charles) grand-pre (Jacques, Charles)

Justification Prmisse Prmisse Prmisse IE 1 2 MP 3 4

Page 2 sur 5

ESP SN. Module IA2 Exercice 3 : Considrons les prmisses dcrites avec les phrases suivantes. Jules travaille dur si Jules travaille dur, alors il est un garon terne si Jules est un garon terne alors il nobtiendra pas le travail

Camara

Formaliser ces prmisses sous forme de clauses en numrotant sparment les faits et les rgles. Quelles sont les dductions qui peuvent tre tires de ces prmisses. Pour chaque dduction, il faut spcifier la rgle dinfrence applique et les lments sur lesquels elle sapplique. Dcrire le principe dapplication de chaque rgle dinfrence utilise.

Page 3 sur 5

ESP SN. Module IA2

Camara

Travaux dirigs du chapitre 3 :


Exercice 1 Ecrire en logique du premier ordre lnonc Toute personne qui aime tous les animaux est aime par quelquun . Traduisez ensuite lnonc en forme normale conjonctive. Les tapes sont les suivantes. Elimination des implications Dplacement des vers lintrieur Normalisation des variables Skolmisation Suppression des quantificateurs universels Distribution de sur

Exercice 2 : Unification Raliser lunification pour chacun des noncs dans la base de connaissance ci-aprs : Connat (Jean, x), Connat (Jean, Jeanne) Connat (Jean, x), Connat (y, Bill) Connat (Jean, x), Connat (y, Mre(y)) Connat (Jean, x), Connat (x, Elisabeth)

Exercice 3 : Rsolution binaire Rsoudre les deux clauses suivantes : [Animal (F(x)) Aimer (G(x), x)] et [ Aimer (u, v) Tuer (u, v)] Exercice 4 : Considrons les deux clauses ci-dessous : 1. Jasmine fait du sky ou il ne neige pas et 2. il neige ou Bart joue au hockey Identifier les littraux qui composent chacune de ces deux clauses. Dterminer et dcrire le type de rsolution applicable ces clauses. Donner ensuite les tapes de rsolution et la clause rsolvante. Exercice 5 : Quelle est la diffrence entre le filtrage et lunification ? Donner le rsultat de lunification des deux expressions ci-dessous en dtaillant les tapes intermdiaires. Expression_une : ['marc', 'foo', '?x', 'bar', '?x'] Expression_deux ['?y', 'foo', 'jean', 'bar', 'paul']

Page 4 sur 5

ESP SN. Module IA2 Exercice 6 : chanage avant avec variable Supposez les axiomes suivants : 1. 2. 3. 4. 5. 6. 7. 8. 03 79 x xx x x x+ 0 x x + 0 x x, y x +y y + x

Camara

w, x, y, z w y x z w + x y + z x, y, z x y y z x z

Donnez une preuve par chanage avant de lnonc 7 3 + 9. Nutiliser que les axiomes donns et ici et aucune autre de vos connaissances en arithmtique.

Page 5 sur 5

You might also like