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 / 2011 Septembre 2011 Introduction à l’Intelligence Artificielle Contrôle rattrapage Durée 1h30mn Questions de cours (4 points) : 1. Rappeler les modes de représentation des connaissances vus en cours et illustrer chaque cas par un exemple. 2. Rappeler les ordres de fonctionnement d’un moteur d’inférence. Exercice 1 (5 points): On considère le jeu à deux joueurs dont la position initiale est donnée sur la figure ci-dessous. X X + + 1 2 3 4 5 Le but des x est de placer leurs deux pions en cases 4 et 5. Le but des + est de placer leurs deux pions en case 1 et 2. Les x se déplacent toujours vers la droite, les + toujours vers la gauche. Un pion se déplace en occupant la case libre si elle se trouve dans le sens dans lequel il a le droit de se déplacer. Par exemple, au début de la partie, les x peuvent déplacer le pion de la case 1 en case 3 ou le pion de la case 2 en case 3. Au premier coup des +, si les x ont joué leur pion de la case 1 en case 3 lors de leur premier coup, alors les + peuvent déplacer un pion de la case 4 à la case 1 ou de la case 5 à la case 1. A chaque tour, un joueur ne peut déplacer qu’un seul pion. Si aucun déplacement n’est possible, il passe son tour. Représentez l’arbre de jeu des coups possibles quand c’est x qui commence du point de vue de x. Exercice 02 (7 points) : I/ Exprimer en logique propositionnelle les phrases suivantes : a/ L’appareil est allumé, il y a un bruit de moteur mais il ne fonctionne pas. b/ quand l’appareil est allumé et qu’il ne fonctionne pas c’est qu’il y a une panne. II/ Exprimer en logique des prédicats les raisonnements suivants : a/ Tout le monde aime les fleurs b/ Certains humains aiment toutes les fleurs c/ La rose est une fleur que tout le monde aime III/ Soit la formule : V x ] y P(x,z) Λ P(y,z) => V z P(x,y) v T(z) a/ Signaler les occurrences libres et liées de chaque variable b/ Identifier pour chaque formule, les symboles de fonction et les symboles de prédicats c/ Mettre chaque formule, sous fourme skolem et prenexe et 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  Ccl R5 : D et E  H R6 : C et D  I R7 : J et K  F R8 : G et J et F  K La base initiale de faits est : (A, J, K,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, en admettant que l’on parcourt la base de règles dans l’ordre dans laquelle elle est écrite? uploads/Philosophie/ control-ratt-iia2011.pdf