Remerciez-le!

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

Control ratt iia2011 Université Mentouri Constantine Département d ? informatique Licence SITW Semestre Septembre Introduction à l ? Intelligence Arti ?cielle Contrôle rattrapage Durée h mn Questions de cours points Rappeler les modes de représentation de

Université Mentouri Constantine Département d ? informatique Licence SITW Semestre Septembre Introduction à l ? Intelligence Arti ?cielle Contrôle rattrapage Durée h mn Questions de cours points Rappeler les modes de représentation des connaissances vus en cours et illustrer chaque cas par un exemple Rappeler les ordres de fonctionnement d ? un moteur d ? inférence Exercice points On considère le jeu à deux joueurs dont la position initiale est donnée sur la ?gure ci-dessous X X Le but des x est de placer leurs deux pions en cases et Le but des est de placer leurs deux pions en case et 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 en case ou le pion de la case en case Au premier coup des si les x ont joué leur pion de la case en case lors de leur premier coup alors les peuvent déplacer un pion de la case à la case ou de la case à la case 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 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 eurs b Certains humains aiment toutes les eurs c La rose est une eur 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 Identi ?er 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 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 ?? Ccl R C et D ?? I R G et J et F ?? K La base initiale de faits est A J K 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 H Donner la suite des faits prouvés