Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Université Mentouri Constantine Département d’informatique Licence SITW Semestr

Université Mentouri Constantine Département d’informatique Licence SITW Semestre 4 / 2012 18 Juin 2012 Introduction à l’Intelligence Artificielle Contrôle rattrapage Durée 1h15mn Questions de cours (4 points) : 1/ Citer les modes de représentation de problèmes en IA 2/ Dites pour comment faire pour représenter un problème en IA dans chaque mode cité. Exercice 1 (5 points): Ce jeu se joue à deux. L’un des deux adversaires pose le nombre de pions de son choix. Il doit en poser au moins deux. L’autre peut retirer le nombre qu’il veut, mais au moins un et il ne peut les retirer tous la première fois. Ensuite, les adversaires jouent l’un après l’autre, en retirant le nombre de pions qu’ils veulent, mais au moins un et au plus le double de ce qui a été retiré par l’adversaire juste avant. Le gagnant est celui qui retire le dernier pion. Dans l’arbre de jeu, les fils seront donnés dans l’ordre gauche-droite qui correspond à l’ordre croissant du nombre de pions enlevés. Ainsi pour un nombre initial de 6 pions, au premier coup, Il y a cinq fils possibles qui correspondent à la prise de 1, 2, 3, 4, 5 pions, donc de gauche à droite Donner l’arbre de jeu du point de vue d’un joueur A, lorsqu’il pose initialement 7 pions. NB : Représenter d’une manière complète 03 niveaux de l’arbre de jeux. Exercice 02 (7 points) : I/ Exprimer en logique propositionnelle les phrases suivantes : a/ Constantine est une belle ville, c’est la ville des ponts suspondus. b/ Constantine est la ville des ponts suspondues c’est pour cela qu’elle est belle. c/ Constantine est une belle ville avec un beau paysage mais elle n’est pas très visitée. II/ Exprimer en logique des prédicats les raisonnements suivants : a/ une maladie est curable quand il existe au moins un médicament qui la guéri b/ Quand il n’existe aucun médicament qui guéri une maladie, alors elle est incurable III/ Soit la formule : V x ] z P(x,z) Λ P(y,z) => V y P(x,y) v T(z) a/ Signaler les occurrences libres et liées de chaque variable b/ Identifier les symboles de fonction et les symboles de prédicats c/ Mettre cette formule sous forme skolem et prenexe en indiquant à chaque étape la forme obtenue. Exercice 03 (4pts) Soit la base de règles suivantes : R1 : A  B R2 : G et D  E R3 : F et G et B  H R4 : A et H et I  Ccl R5 : D et E  H R6 : C et A  I R7 : J et K  F R8 : G et J et F  K La base initiale de faits est : (A, D, C,G) 1. On veut prouver le fait Ccl par chaînage arrière en profondeur d’abord ; Donner l'arbre et/ou pour prouver le fait H ? 2. Donner la suite des faits prouvés jusqu’à saturation de la base de faits. uploads/Geographie/ controle-iia-2012.pdf