IAMSI 2019-2020

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)

Cours 8, mercredi 1er avril :

Cours 9, mercredi 22 avril :

Cours 10, mercredi 29 avril :