Professional Documents
Culture Documents
Module IA2
Camara
Page 1 sur 5
Camara
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)
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
Camara
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