Enseignement


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

Master 1 Informatique

2026-2027

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 symbolique.

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

Les groupes de BIA ne sont pas les groupes définis pour le M1. Pour connaître votre groupe, référez-vous à Tomuss.

Cours Gr BIA-1 Gr BIA-2 Gr BIA-3
CM1 - Introduction à l'IA (pdf)
Mardi 22/09/2026 : 8h - 11h15
Marie Lefevre
Amphi Gouy
CM2 - Représentation et Résolution de problèmes (pdf)
Vendredi 25/09/2026 : 8h - 9h30
Nathalie Guin
Amphi Thémis 7
TD1 - Représentation de problèmes (sujet et correction)
Vendredi 25/09/2026 : 9h45 - 11h15
Nathalie Guin
Nautibus TD 001		 Chloé Conrad
Nautibus TD 005		 Maeva Somny
Nautibus TD 009
CM3 - Représentation et Résolution de problèmes (même pdf que CM2)
Mardi 29/09/2026 : 8h - 9h30
Marie Lefevre
Amphi Jussieu
TD2 - Représentation de problèmes (sujet et correction)
Mardi 29/09/2026 : 9h45 - 11h15
Nathalie Guin
Nautibus TD 001		 Chloé Conrad
Nautibus TD 116		 Maeva Somny
Nautibus TD 009
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 cela vous interesse de comprendre ce qu'il y a sous le capot !
CM4 - Prolog (pdf)
Vendredi 02/10/2026 : 8h - 11h15
Marie Lefevre
Amphi Gouy
... PAUSE ...
TD3 - Prolog (sujet)
Mardi 20/10/2026 : 8h - 9h30
Nathalie Guin
Nautibus TD 001		 Chloé Conrad
Nautibus TD 116		 Marie Lefevre
Nautibus TD 124
TP1 - Prolog - Premiers pas Mardi 20/10/2026 :
9h45 - 11h15		 Mardi 20/10/2026 :
9h45 - 11h15		 Vendredi 23/10/2026 :
8h - 9h30
Nathalie Guin & Chloé Conrad
& Marie Lefevre
Naut. TP 107-117-119		 Nathalie Guin
& Chloé Conrad
& Marie Lefevre
Naut. TP 105-107-108
TD4 - Prolog
Vendredi 23/10/2026 : 9h45 - 11h15
Nathalie Guin
Nautibus TD 001		 Chloé Conrad
Nautibus TD 116		 Marie Lefevre
Nautibus TD 124
... PAUSE ...
TP2 - Prolog - Résolution de problèmes Mardi 17/11/2026 :
8h - 9h30		 Mardi 17/11/2026 :
9h45 - 11h15		 Mardi 17/11/2026 :
9h45 - 11h15
Nathalie Guin
& Chloé Conrad
& Maëva Somny
& Marie Lefevre
Naut. TP 103-108-119-121		 Nathalie Guin & Chloé Conrad
& Maëva Somny & Marie Lefevre
Naut. TP 103-110-119-123
TP3 - Prolog - Des casses-têtes Vendredi 20/11/2026 :
8h - 9h30		 Vendredi 20/11/2026 :
9h45 - 11h15		 Vendredi 20/11/2026 :
9h45 - 11h15
Nathalie Guin
& Chloé Conrad
& Maëva Somny
& Marie Lefevre
Naut. TP 103-110-119-123		 Nathalie Guin & Chloé Conrad
& Maëva Somny & Marie Lefevre
Naut. TP 109-110-112-119
CM6 - Prolog & IA
Mardi 24/11/2026 : 8h - 9h30
Marie Lefevre
Amphi 6 Marie Curie
TP4 - Prolog - CSP Mardi 24/11/2026 :
9h45 - 11h15		 Mardi 24/11/2026 :
9h45 - 11h15		 Mardi 24/11/2026 :
11h30 - 13h
Nathalie Guin & Chloé Conrad
& Maëva Somny & Marie Lefevre
Naut. TP 101-114-117-121		 Nathalie Guin
& Chloé Conrad
& Maëva Somny
& Marie Lefevre
Naut. TP 117-114-119-121
EXAM CSP
(45 min)
Vendredi 27/11/2026 : 8h - 8h45
Marie Lefevre && ???
Amphi 6 Marie Curie
CM7 - Système à base de connaissances
Vendredi 27/11/2026 : 9h - 11h15
Marie Lefevre
Amphi 6 Marie Curie
... PAUSE ...
TP5 - Prolog - Graphes d'états Mardi 15/12/2026 :
8h - 9h30		 Mardi 15/12/2026 :
9h45 - 11h15		 Mardi 15/12/2026 :
9h45 - 11h15
Nathalie Guin
& Chloé Conrad
& Maëva Somny
& Marie Lefevre
Naut. TP 110-115-119-123		 Nathalie Guin & Chloé Conrad
& Maëva Somny & Marie Lefevre
Naut. TP 110-108-117-121
EXAM Graphes d'états
(45 min)
Vendredi 18/12/2026 : 8h - 8h45
Nathalie Guin
Nautibus TD 101
(+ TD 126 si besoin)		 Chloé Conrad
Nautibus TD 107
(+ TD 126 si besoin)		 Maeva Somny
Nautibus TD 009
(+ TD 126 si besoin)
TD5 - SBC
Vendredi 18/12/2026 : 9h45 - 11h15
Nathlaie Guin
Nautibus TD 101		 Chloé Conrad
Nautibus TD 107		 Maeva Somny
Nautibus TD 009
... PAUSE ...
TP6 - Prolog - SBC Mardi 12/01/2027 :
8h - 9h30		 Mardi 12/01/2027 :
9h45 - 11h15		 Mardi 12/01/2027 :
9h45 - 11h15
Nathalie Guin
& Chloé Conrad
& Maëva Somny
& Marie Lefevre
Naut. TP 103-107-114-119		 Nathalie Guin & Chloé Conrad
& Maëva Somny & Marie Lefevre
Naut. TP 105-108-109-117
TP7 - Prolog - SBC Vendredi 15/01/2027 :
8h - 9h30		 Vendredi 15/01/2027 :
9h45 - 11h15		 Vendredi 15/01/2027 :
9h45 - 11h15
Nathalie Guin
& Chloé Conrad
& Maëva Somny
& Marie Lefevre
Naut. TP 110-115-121-123		 Nathalie Guin & Chloé Conrad
& Maëva Somny & Marie Lefevre
Naut. TP 108-109-115-119
Examen Session 1
Semaine du 19 janvier 2027
1h30 (+ 30 min pour les Tiers-Temps)
Amphi ???
(voir les annales corrigées ci-dessous)
Examen Seconde chance
Date à venir
1h30 (+ 30 min pour les Tiers-Temps)
Salle ???

Modalités d'évaluation


Controle continu : 60%
  • Interro CSP : 45 min, 50% du CC
  • Interro Graphes d'états : 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