1 * Contrôle session 1 IA : Master DSBD Durée 1h30H //Année 2020-2021 Exercice
1 * Contrôle session 1 IA : Master DSBD Durée 1h30H //Année 2020-2021 Exercice 1 : (5 points) Soit les formules suivantes : A1 :x (P(x) y (R(y) Q(x, y))) A2 : x P(x) C : x y Q(x, y) Nous voulons montrer que C est conséquence de A1 et A2 par instanciation et par résolution, pour cela on va montrer que A = A1 ∧ A2 ∧ ¬ C est une formule inconsistante. 1) Mettre A1 , A2 ¬ C en forme Prenex. 2) Mettre A1 , A2 ¬ C en forme Skolen. 3) Donner la FNC de A1 , A2 ¬ C et déduire l’ensemble F des clauses final obtenu. 5) Donner la signature de Herbrand de F, l’univers de Herbrand H0, et H 7) Donner le système de Herbrand S (les instances de F) associé à F sur H0 8) Prouver que S est inconsistant Exercice 2 : (5 points) Soit un système à base de connaissance dont la base initiale de faits est : {A, D, J, K, L} et les règles sont les suivantes. R1: A→B, R2: C, D →E, R3: B, F, G →H R4: A, L→ C, R5: D, E→ H, R6: C, D →I, R7: J, K→ F, R8: G, J, F → K On veut prouver le fait H par chaînage arrière en profondeurs d’abord. Donner à l’aide d’un graphe et/ou les étapes des règles essayées. On indiquera si chaque règle essayée a été un succès ou un échec. Exercice 3 : (5 points) Dans l’espace de recherche suivant, l’état S est l’état de départ et les états G1 et G2 sont des états qui satisfont le test de but. Le nombre au-dessus d’un arc représente le coût pour le parcourir. La valeur de la fonction heuristique h est inscrite dans le cercle. Pour chacune des méthodes de recherche suivantes : indiquez quel but est atteint et. 1) utilisez la méthode de recherche A* pour arriver à un des buts et donnez la liste, dans l’ordre, de tous les états qui ont été choisis pour être explorés. (utiliser un tableau pour cela). 2) L’heuristique donnée est-elle admissible ? Expliquez pourquoi. UNIVERSITE HASSAN II DE CASABLANCA Faculté des Sciences Ben M’Sick Département de Mathématiques et Informatique 2 Exercice 4: (5 points) Dans cette question nous allons résoudre un problème avec l’algorithme de Hill-Climbing. Le problème est représenté par un ensemble d’état ui i=1,… ,16. La fonction objective (qu’on veut maximiser) associée à chaque nœud est la suivante : u u1 u2 u3 u4 u5 u6 u7 u8 u9 u10 u11 u12 u13 u14 u15 u16 f(u) 4 6 15 2 3 2 4 5 6 7 8 10 9 8 7 3 a. Quelle est la solution de ce problème sachant que les voisins de ui sont définis par par ui-1 ui-2 et ui+1 ui+2 sauf pour u1 qui a u2 et u3 comme voisins et u16 qui a u14 u15 comme voisins. Expliciter les étapes de l’algorithme( utiliser un tableau y mettre les successeurs de l’état courant et le meilleur choisi). L’état initial choisi aléatoirement est u6. b. La solution trouvée est -elle optimale? Expliquer pourquoi. Aide-mémoire Algorithme Hill Climbing : l’algorithme s’arrête lorsqu’on ne peut plus améliorer la solution. Chainage arrière : La partie « conclusions » des règles est unifiée avec ce but. En cas de succès, les prémisses de la règle unifiée sont les nouveaux buts assignés. Puis à appliquer récursivement le même mécanisme aux faits contenus dans ces listes. Algorithme A* uploads/Science et Technologie/ controle-session-1.pdf
Documents similaires
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/F3gudcvWqx2CuqV0prYqdqUZW0wDltCelOVOouRwrk40Xke8W5kgahTWI7uIwXTPZEugim2pHseh79fRSh4ws3eb.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/3D7dSVX5gvQCB7dozXFrmsgsHaRPS3UXdS77iMBbibN6mQro81wdvbdn4FWyEr6f4CCbrS83Z4Ikq5aayFUfcuCP.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/MslHWURWzVtD9gXpOcmOfLXJF8vL17ho7I5WfHQ34OeGebYyKoQ9Qm689OdTbrfxcMZ66A6p1mGO9QT8o18Jf5ik.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/C4wuO5JGYdiZKs1JHOTmfVn8RaCZ9ep5J1Vbhk4xiQZ4wyQYdDIAvacWfa7wwsvjEu9dq8KjyCatbrICddGSNHsp.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/U1qYP9bT436WmctwmqwOT5Bh5hifOM1ALlrFUDLw4EaRu2shVH5EmMjzwgtK9Yj6FeHZMzuMmkJvDnYgzPm9YKG9.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/sNI8EevHluS7EW9lMtGdVt3uU6XdbUKJ7goqHXekSzWz7Psmaeo9m8Eo4ysmI5UyKCAeBKZsqiWbpk9XBLinn8Jr.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/Jc9LECUtUMnxqaifdkA3MUJg7RgqxkB35wUXPDyBccSilCcS0O2mcrgB20ywQb2cptEk1YBjep8EwlsrN7QDeb1N.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/9hlzO820OerEsta2ksBX0s5Udv1itZOp5Sn1wUW39qCUeFtLco9NrSnaU75Kxn9mYOefotvvp0FGYrHILo8QeULO.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/UUaA40KamAfco2Uj01MKZ4xjp61WYDnz3FV3yCi32e0oe5q15cPQT8ZdQD2ld5q8uX30MiMxIBNtaHzcWHVbOYWw.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/t89nNPJNYvBcqO7i5W6fs8K9jh339SeQgM2VulJnl0X8yCmfYXOVvGG6EhZMCW10i4EReFjjGoX5zUMrZ3bBG0IJ.png)
-
23
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Attribution requise- Détails
- Publié le Dec 18, 2022
- Catégorie Science & technolo...
- Langue French
- Taille du fichier 0.2005MB