Ressources IAMSI pour l’année 2019-2020.
Informations
- IMPORTANT: pour avoir des informations, pour toute question, pensez à vous inscrire sur le channel IAMSI du mattermost du Master : cliquer ici pour y aller
Barème de l’UE
- la note finale de l’UE est calculée comme suit:
NoteFinale = 2*(Exam1 + Exam2) + CRTP avec:- NoteFinale: note finale sur 100
- Exam1: note de l’examen réparti 1 (mars) sur 20
- Exam2: note de l’examen réparti 2 (mai) sur 20
- CRTP: note de compte-rendus des séances de TP sur 20
Annales
- Examen réparti 1:
- mars 2016 : cliquer ici
- mars 2017 : cliquer ici
- mars 2018 : cliquer ici
- mars 2019 : cliquer ici
- Examen réparti 2:
- mai 2016 : cliquer ici
- mai 2017 : cliquer ici
- mai 2018 : cliquer ici
- mai 2019 : cliquer ici
- Examen Session de rattrapage:
- juin 2016 : cliquer ici
- juin 2017 : cliquer ici
- juin 2018 : cliquer ici
- juin 2019 : cliquer ici
Support de cours
Les supports de cours seront disponibles à l’issue du cours.
Cours 1, mercredi 29 janvier : [support de cours]
- Introduction à l’intelligence artificielle
- Jeux à 2 joueurs (minimax, alphabéta)
Cours 2, mercredi 5 février :
- Introduction et plan du cours (support de cours)
- Très brève histoire de l’intelligence artificielle (support de cours)
- Résolution de problèmes par l’homme et la machine (support de cours)
- Systèmes de production en logique des proposition (support de cours)
Cours 3, mercredi 12 février :
- Système de production en logique des prédicats du premier ordre (support de cours)
- Algorithme de RETE (support de cours)
Cours 4, mercredi 19 février :
- Solvers SAT
Cours 5, mercredi 26 février :
- Raisonnement non monotone (support de cours)
- Programmation par ensembles réponses (answer set programming) sémantique (support de cours)
Cours 6, mercredi 4 mars :
- Programmation par ensembles réponses (answer set programming) suite sémantique et implémentation (support de cours)
Cours 7, mercredi 25 mars :
- Planification (support de cours)
- Programmation de STRIPS en PROLOG (blocs, druide, singe et bananes)