Archives mensuelles : avril 2019

IAMSI 2018-2019

Ressources IAMSI pour l’année 2018-2019.

Annonces importantes

  • L’examen de seconde session aura lieu le mercredi 19 juin, de 14h à 16h.
    • aucun document n’est autorisé durant l’examen
    • l’examen portera sur la totalité du programme.
  • 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

Cours 1

Introduction à l’intelligence artificielle

  1. Introduction générale (Introduction)
  2. Très brève histoire de l’intelligence artificielle (transparents)

Jeux: min-max et alpha-beta

Cours 2

Résolution de problèmes

  • Introduction générale à la résolution de problème (transparents)

Systèmes de production – logique des propositions

Cours 3

Systèmes de production – premier ordre

  • Système de production en logique des prédicats – syntaxe CLIPS et exemples (transparents)
  • Algorithmique des système de production en logique des prédicats – algorithme de RETE (transparents)

Cours 4

SAT: Problème de Satisfiabilité – algorithmes et applications

  • Rappels logiques, problèmes SAT, principes des solveurs SAT (DP, DPLL et CDCL), applications, encodages (contraintes de cardinalité et encodage de valeurs), application à la résolution de problème aux CSP et à la planification (transparents)
  • TD4
  • TME4

Cours 5

Raisonnement non monotone

  • Raisonnement non monotone, hypothèse du monde fermé, logique des défauts, circonscription et « Answer Set Programming » (partie 1, partie 2)

Sémantique des ASP

TD-TME

Cours 6

Implémentation des ASP

  • Implémentations des ASP, énumérations, contraintes, domaines, etc. (transparents)

Cours 7

Planification

Cours 8

Planification (suite)

Cours 9

Règles d’association

Cours 10

Apprentissage supervisé et arbres de décision