Enseignement


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

Master 1 Informatique

2025-2026

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

TODO
Cours Gr B Gr C Gr D Gr E
CM1 - Introduction à l'IA (pdf)
Mardi 23/09/2025 : 8h - 9h30
Marie Lefevre
Amphi Jordan
CM2 - Représentation et Résolution de problèmes (pdf)
Mardi 23/09/2025 : 9h45 - 11h15
Marie Lefevre
Amphi Jordan
CM3 - Représentation et Résolution de problèmes (même pdf que CM2)
Vendredi 26/09/2025 : 8h - 9h30
Marie Lefevre
Amphi Thémis 10
TD1 - Représentation de problèmes (sujet et correction)
Vendredi 26/09/2025 : 9h45 - 11h15
Marie Lefevre
Nautibus TD 116		 Chloé Conrad
Nautibus TD 124		 Maeva Somny
Nautibus TD 126		 Nathalie Guin
Nautibus TD 009
TD2 - Représentation de problèmes (sujet)
Mercredi 01/10/2025 : 8h - 9h30
Marie Lefevre
Nautibus TD 116		 Chloé Conrad
Nautibus TD 130		 Maeva Somny
Nautibus TD 126		 Nathalie Guin
Nautibus TD 005
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)
Mercredi 01/10/2025 : 9h45 - 11h15
Marie Lefevre
Amphi Ampère
TD3 - Prolog (sujet et correction)
Vendredi 03/10/2025 : 9h45 - 11h15
Marie Lefevre
Nautibus TD 116		 Chloé Conrad
Nautibus TD 001		 Maeva Somny
Nautibus TD 005		 Nathalie Guin
Nautibus TD 009
Interro RP (30 min)
Mardi 21/10/2025 : 8h - 8h30
Marie Lefevre & Nathalie Guin
Amphi Gouy
CM5 - Prolog -2 (même pdf que CM4 et exercices ASKER)
Mardi 21/10/2025 : 9h - 11h15
Marie Lefevre
Amphi Gouy
TP1 - Prolog - Premiers pas (sujet, base généalogique) Vendredi 24/10/2025 :
8h - 9h30		 Vendredi 24/10/2025 : 9h45 - 11h15
Marie Lefevre
& Maeva Somny
Naut. TP 103-105		 Chloé Conrad
& Nathalie Guin
Naut. TP 107-108		 Maëva Somny
& Marie Lefevre
Naut. TP 103-105		 Nathalie Guin
& Chloé Conrad
Naut. TP 107-108
TD4 - Prolog
Mercredi 19/11/2025 : 8h - 9h30
Marie Lefevre
Nautibus TD 001		 Chloé Conrad
Nautibus TD 124		 Maeva Somny
Nautibus TD 126		 Nathalie Guin
Nautibus TD 007
TP2 - Prolog - Résolution de problèmes Mercredi 19/11/2025 :
9h45 - 11h15		 Mercredi 19/11/2025 : 11h30 - 13h
Marie Lefevre
& Maeva Somny
Naut. TP 103-105		 Chloé Conrad
& Nathalie Guin
Naut. TP 107-108		 Maëva Somny
& Marie Lefevre
Naut. TP 103-105		 Nathalie Guin
& Chloé Conrad
Naut. TP 107-108
TP3 - Prolog - Des casses-têtes Vendredi 21/11/2025 : 8h - 9h30 Vendredi 21/11/2025 :
9h45 - 11h15
Marie Lefevre
& Maeva Somny
Naut. TP 103-105		 Chloé Conrad
& Nathalie Guin
Naut. TP 107-108		 Maëva Somny
& Marie Lefevre
Naut. TP 103-105		 Nathalie Guin
& Chloé Conrad
Naut. TP 107-108
CM6 - Prolog & IA
Vendredi 21/11/2025 : 11h30 - 13h
Marie Lefevre
Amphi Thémis 10
TP4 - Prolog - CSP Mercredi 26/11/2023 :
8h - 9h30		 Mercredi 26/11/2023 : 9h45 - 11h15
Marie Lefevre
& Maeva Somny
Naut. TP 103-105		 Chloé Conrad
& Nathalie Guin
Naut. TP 107-108		 Maëva Somny
& Marie Lefevre
Naut. TP 103-105		 Nathalie Guin
& Chloé Conrad
Naut. TP 107-108
TP5 - Prolog - Graphes d'états Vendredi 28/11/2025 : 8h - 9h30 Vendredi 28/11/2025 :
9h45 - 11h15
Marie Lefevre
& Maeva Somny
Naut. TP 103-105		 Chloé Conrad
& Nathalie Guin
Naut. TP 107-108		 Maëva Somny
& Marie Lefevre
Naut. TP 103-105		 Nathalie Guin
& Chloé Conrad
Naut. TP 107-108
REVISION TP NOTE
Vendredi 26/11/2025 : 11h30 - 13h
Nautibus C003
TP NOTE (45 min)
Mercredi 17/12/2025 entre 8h et 13h
selon convocation (sur Tomuss, case "Salle-Horaire-TP-noté")
Salles Naut. TP 101-103-105-107
(voir les sujets de TP noté des années précédentes ci-dessous)
CM7 - Système à base de connaissances
Vendredi 19/12/2025 : 8h - 9h30
Marie Lefevre
Amphi ???
TD5 - SBC
Vendredi 19/12/2025 : 9h45 - 11h15
Marie Lefevre
Nautibus TD 116		 Chloé Conrad
Nautibus TD 124		 Maeva Somny
Nautibus TD 001		 Nathalie Guin
Nautibus TD 007
TP6 - Prolog - SBC Mercredi 14/01/2026 : 8h - 9h30 Mercredi 14/01/2026 :
9h45 - 11h15
Marie Lefevre
& Maeva Somny
Naut. TP 103-105		 Chloé Conrad
& Nathalie Guin
Naut. TP 107-108		 Maëva Somny
& Marie Lefevre
Naut. TP 103-105		 Nathalie Guin
& Chloé Conrad
Naut. TP 107-108
TP7 - Prolog - SBC Vendredi 16/01/2026 : 8h - 9h30 Vendredi 16/01/2026 :
9h45 - 11h15
Marie Lefevre
& Maeva Somny
Naut. TP 103-105		 Chloé Conrad
& Nathalie Guin
Naut. TP 107-108		 Maëva Somny
& Marie Lefevre
Naut. TP 103-105		 Nathalie Guin
& Chloé Conrad
Naut. TP 107-108
Examen Session 1
??? :
1h (+ 20 min pour les Tiers-Temps)
Amphi ???
(voir les annales corrigées ci-dessous)
Examen Seconde chance
??? :
1h (+ 20 min pour les Tiers-Temps)
Salle ???

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é