Enseignement


UE M1if06 - Bases de l'Intelligence Artificielle (BIA)

Master 1 Informatique

2023-2024

RESPONSABLE : Marie Lefevre

INTERVENANTS :

Descriptif de l'unité d'enseignement

L’objectif général du cours est de permettre aux étudiants d’acquérir les notions de base de l’intelligence artificielle.

Le cours commence par une présentation de l’histoire de l’intelligence artificielle : de ses débuts dans les années 50 à son omniprésence de nos jours, avec la présentation des différentes facettes de l’IA, des mythes et de la réalité.

La modélisation de problème et la recherche de solutions sont abordées en étudiant comment un problème peut être modélisé pour permettre sa résolution. Il faut pour cela définir la notion de « problème » et de principe de modélisation en fonction de la méthode de résolution que l’on veut lui appliquer.

Différentes techniques de recherche de solutions sont présentées (recherche dans un graphe d’états, décomposition du problème, etc.) puis la résolution à partir de raisonnements logiques est détaillée (inférences augmentées d’heuristiques).

Le cours se conclut par la présentation de la notion de systèmes à base de connaissances, de leur architecture, et des exemples.

Des Travaux Pratiques permettent d’illustrer et de prendre en main différentes notions présentées dans le cours : le raisonnement logique et sa programmation à l’aide du langage Prolog.

Compétences acquises :

  1. les bases communes à toute formation plus spécialisée en intelligence artificielle,
  2. la capacité à modéliser un problème,
  3. la capacité à utiliser le raisonnement logique pour résoudre des problèmes ou découvrir des connaissances,
  4. le langage Prolog et son utilisation pour résoudre des problèmes via des raisonnements logiques.

Planning

Cours Gr B Gr C Gr D
CM1 - Introduction à l'IA (pdf)
Mercredi 06/09/2023 : 8h - 9h30
Marie Lefevre
Amphi Grignard
CM2 - Représentation et Résolution de problèmes (pdf)
Mercredi 06/09/2023 : 9h45 - 11h15
Marie Lefevre
Amphi Grignard
TD1 - Représentation de problèmes (sujet et correction) Vendredi 08/09/2023 : 9h45 - 11h15 Vendredi 08/09/2023 :
8h - 9h30
Marie Lefevre
Darwin D 80 (RDC)		 Nathalie Guin
Darwin D 78 (RDC)		 Marie Lefevre
Darwin D 83 (RDC)
CM3 - Représentation et Résolution de problèmes (même pdf que CM2)
Vendredi 08/09/2023 : 11h30 - 13h
Marie Lefevre
Amphi Deperet
TD2 - Représentation de problèmes (sujet et correction) Mercredi 27/09/2023 : 9h45 - 11h15 Mercredi 27/09/2023 :
8h - 9h30
Marie Lefevre
Berthollet 203		 Nathalie Guin
Berthollet 201		 Marie Lefevre
Darwin D 83 (RDC)
Avant en BIA, on faisait : quelques rappels de la logique d'ordre 0 puis on parlait de la formalisation du raisonnement logique avant de faire du Prolog. Maintenant c'est à vous de découvrir cela tout seul, si ca vous interesse de comprendre ce qu'il y a sous le capot !
CM4 - Prolog -1 (pdf)
Vendredi 29/09/2023 : 8h - 9h30
Marie Lefevre
Amphi Gouy
TD3 - Prolog (sujet et correction) Vendredi 29/09/2023 : 9h45 - 11h15 Vendredi 29/09/2023 :
11h30 - 13h
Marie Lefevre
Grignard C (sous-sol)		 Nathalie Guin
Grignard D (sous-sol)		 Marie Lefevre
Grignard A (sous-sol)
Interro RP (30 min)
(barème et correction)
Mercredi 04/10/2023 : 8h - 8h30
Marie Lefevre & Nathalie Guin
Amphi Thémis 11
CM5 - Prolog -2 (même pdf que CM4 et exercices ASKER)
Mercredi 04/10/2023 : 9h - 11h15
Marie Lefevre
Amphi Thémis 11
TP1 - Prolog - Premiers pas (sujet, base généalogique et correction) Vendredi 06/10/2023 : 9h45 - 11h15 Vendredi 06/10/2023 :
8h - 9h30
Marie Lefevre
& Lucas Foulon
Nautibus TP1-2		 Nathalie Guin
& Erwan Guillou
Nautibus TP5-6		 Marie Lefevre
& Nathalie Guin
Nautibus TP1-2
TD4 - Prolog (sujet, correction et cryptarithme version générique) Vendredi 06/10/2023 : 11h30 - 13h Mercredi 25/10/2023 :
8h - 9h30
Marie Lefevre
Darwin D 80 (RDC)		 Nathalie Guin
Darwin D 78 (RDC)		 Marie Lefevre
Nauribus C2
TP2 - Prolog - Résolution de problèmes (sujet et correction) Mercredi 25/10/2023 : 11h30 - 13h Mercredi 25/10/2023 :
9h45 - 11h15
Marie Lefevre
& Lucas Foulon
Nautibus TP3-5		 Nathalie Guin
& Erwan Guillou
Nautibus TP1-2		 Marie Lefevre
& Nathalie Guin
Nautibus TP1-5
TP3 - Prolog - Des casses-têtes (sujet et correction) Vendredi 27/10/2023 : 8h - 9h30 Vendredi 27/10/2023 :
9h45 - 11h15
Marie Lefevre
& Lucas Foulon
Nautibus TP1-2		 Nathalie Guin
& Erwan Guillou
Nautibus TP3-4		 Marie Lefevre
& Nathalie Guin
Nautibus TP1-2
CM6 - Prolog & IA (pdf)
Mercredi 22/11/2023 : 8h - 9h30
Marie Lefevre
Amphi Thémis 10
TP4 - Prolog - CSP (sujet, correction des carrés et correction des N reines) Mercredi 22/11/2023 : 9h45 - 11h15 Mercredi 22/11/2023 :
11h30 - 13h
Marie Lefevre
& Lucas Foulon
Nautibus TP1-2		 Nathalie Guin
& Erwan Guillou
Nautibus TP3-4		 Marie Lefevre
& Erwan Guillou
Nautibus TP1-3
TP5 - Prolog - Graphes d'états (sujet et correction) Vendredi 24/11/2023 : 8h - 9h30 Vendredi 24/11/2023 :
9h45 - 11h15
Marie Lefevre
& Lucas Foulon
Nautibus TP1-2		 Nathalie Guin
& Erwan Guillou
Nautibus TP3-4		 Marie Lefevre
& Erwan Guillou
Nautibus TP1-3
REVISION TP NOTE
Vendredi 24/11/2023 : 11h30 - 13h
Amphi Caullery
TP NOTE (45 min)
Mercredi 29/11/2023 à 9h
selon convocation (sur Tomuss, case "Salle-Horaire-TP-noté")
Quai 43 s.105-106-109 (1er étage)
(voir les sujets de TP noté des années précédentes ci-dessous)
CM7 - Système à base de connaissances (pdf)
Vendredi 01/12/2023 : 8h - 9h30
Marie Lefevre
Amphi Thémis 11
TD5 - SBC (sujet et correction) Vendredi 01/12/20233 : 9h45 - 11h15 Vendredi 01/12/2023 :
11h30 - 13h
Marie Lefevre
Nautibus C1		 Marie Lefevre
Nautibus C1
TP6 - Prolog - SBC (sujet) Mercredi 20/12/2023 : 8h - 9h30 Mercredi 20/12/2023 :
9h45 - 11h15
Marie Lefevre
& Lucas Foulon
Nautibus TP1-2		 Nathalie Guin
& Erwan Guillou
Nautibus TP3-4		 Marie Lefevre
& Nathalie Guin
Nautibus TP1-3
TP7 - Prolog - SBC (suite du TP6, même sujet) Vendredi 22/12/2023 : 8h - 9h30 Vendredi 22/12/2023 :
9h45 - 11h15
Marie Lefevre
& Lucas Foulon
Nautibus TP1-2		 Nathalie Guin
& Erwan Guillou
Nautibus TP3-4		 Marie Lefevre
& Nathalie Guin
Nautibus TP1-3
Examen Session 1 (sujet, barème et correction)
Vendredi 26/01/2024 :
14h - 15h30 (+ 30 min pour les Tiers-Temps)
Amphi GRIGNARD
(voir les annales corrigées ci-dessous)
Examen Seconde chance
(1h30 + 30 min pour les Tiers-Temps)
Amphi ???

Modalités d'évaluation


Controle continu : 60%
  • Interro Représentation de problèmes : 30 min, 50% du CC
  • TP noté Prolog : 45 min, 50% du CC
Examen final : 40%
  • Session 1 : 1h30
  • Seconde chance : 1h30 (ne remplace que la note de Session 1)

Annales corrigées du CCF


Annales non-corrigées du TP Noté