Controle iia 2012 Université Mentouri Constantine Département d ? informatique Licence SITW Semestre Juin Introduction à l ? Intelligence Arti ?cielle Contrôle rattrapage Durée h mn Questions de cours points Citer les modes de représentation de problèmes
Université Mentouri Constantine Département d ? informatique Licence SITW Semestre Juin Introduction à l ? Intelligence Arti ?cielle Contrôle rattrapage Durée h mn Questions de cours points Citer les modes de représentation de problèmes en IA Dites pour comment faire pour représenter un problème en IA dans chaque mode cité Exercice 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 ?ls 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 pions au premier coup Il y a cinq ?ls possibles qui correspondent à la prise de pions donc de gauche à droite Donner l ? arbre de jeu du point de vue d ? un joueur A lorsqu ? il pose initialement pions NB Représenter d ? une manière complète niveaux de l ? arbre de jeux Exercice 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 Identi ?er 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 pts Soit la base de règles suivantes R A ?? B R F et G et B ?? H R D et E ?? H R J et K ?? F R G et D ?? E R A et H et I ?? Ccl R C et A ?? I R G et J et F ?? K La base initiale de faits est A D C G On veut prouver le fait Ccl par cha? nage arrière en profondeur d ? abord Donner l'arbre et ou pour prouver le fait
Documents similaires
-
22
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise- Détails
- Publié le Jan 10, 2022
- Catégorie Geography / Geogra...
- Langue French
- Taille du fichier 29.1kB