Enseignement
UE M1if06 - Bases de l'Intelligence Artificielle (BIA)
Master 1 Informatique
2026-2027
RESPONSABLE : Marie Lefevre
INTERVENANTS :
- Chloé Conrad (https://liris.cnrs.fr/page-membre/chloe-conrad)
- Nathalie Guin (http://liris.cnrs.fr/nathalie.guin/)
- Marie Lefevre (https://liris.cnrs.fr/marie.lefevre/)
- Maëva Somny (https://liris.cnrs.fr/page-membre/maeva-somny)
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 :
- les bases communes à toute formation plus spécialisée en intelligence artificielle,
- la capacité à modéliser un problème,
- la capacité à utiliser le raisonnement logique pour résoudre des problèmes ou découvrir des connaissances,
- le langage Prolog et son utilisation pour résoudre des problèmes via des raisonnements logiques.
Planning
| Cours | Gr B | Gr C | Gr D | Gr E |
| CM1 - Introduction à l'IA | Marie Lefevre Amphi Gouy |
|||
| CM2 - Représentation et Résolution de problèmes | Marie Lefevre Amphi Thémis 7 |
|||
| TD1 - Représentation de problèmes | ||||
| Marie Lefevre Nautibus TD 001 |
Chloé Conrad Nautibus TD 005 |
Maeva Somny Nautibus TD 009 |
Nathalie Guin Nautibus TD 126 |
|
| CM3 - Représentation et Résolution de problèmes (même pdf que CM2) | Marie Lefevre Amphi Jussieu |
|||
| TD2 - Représentation de problèmes | ||||
| Marie Lefevre Nautibus TD 001 |
Chloé Conrad Nautibus TD 116 |
Maeva Somny Nautibus TD 009 |
Nathalie Guin Nautibus TD 126 |
|
| 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 | Marie Lefevre Amphi 1 Déambu |
|||
| TD3 - Prolog | ||||
| Marie Lefevre Nautibus TD 001 |
Chloé Conrad Nautibus TD 116 |
Maeva Somny Nautibus TD 124 |
Nathalie Guin Nautibus TD 130 |
|
| TP1 - Prolog - Premiers pas | Mardi 20/10/2026 : 9h45 - 11h15 |
Vendredi 23/10/2026 : 8h - 9h30 |
||
| Marie Lefevre & Maeva Somny Naut. TP 107-112 |
Chloé Conrad & Nathalie Guin Naut. TP 117-119 |
Maëva Somny & Marie Lefevre Naut. TP 105-107 |
Nathalie Guin & Chloé Conrad Naut. TP 108-110 |
|
| TD4 - Prolog | ||||
| Marie Lefevre Nautibus TD 001 |
Chloé Conrad Nautibus TD 116 |
Maeva Somny Nautibus TD 124 |
Nathalie Guin Nautibus TD 126 |
|
| TP2 - Prolog - Résolution de problèmes | Mardi 17/11/2026 : 8h - 9h30 |
Mardi 17/11/2026 : 9h45 - 11h15 |
||
| Marie Lefevre & Maeva Somny Naut. TP 103-108 |
Chloé Conrad & Nathalie Guin Naut. TP 119-121 |
Maëva Somny & Marie Lefevre Naut. TP 103-110 |
Nathalie Guin & Chloé Conrad Naut. TP 119-123 |
|
| TP3 - Prolog - Des casses-têtes | Vendredi 20/11/2026 : 8h - 9h30 |
Vendredi 20/11/2026 : 9h45 - 11h15 |
||
| Marie Lefevre & Maeva Somny Naut. TP 103-110 |
Chloé Conrad & Nathalie Guin Naut. TP 119-123 |
Maëva Somny & Marie Lefevre Naut. TP 109-110 |
Nathalie Guin & Chloé Conrad Naut. TP 112-119 |
|
| CM6 - Prolog & IA | Marie Lefevre Amphi 6 Marie Curie |
|||
| TP4 - Prolog - CSP | Mardi 24/11/2026 : 9h45 - 11h15 |
Mardi 24/11/2026 : 11h30 - 13h |
||
| Marie Lefevre & Maeva Somny Naut. TP 101-114 |
Chloé Conrad & Nathalie Guin Naut. TP 117-121 |
Maëva Somny & Marie Lefevre Naut. TP 119-114 |
Nathalie Guin & Chloé Conrad Naut. TP 117-121 |
|
| EXAM CSP (45 min) | Marie Lefevre && ??? Amphi 6 Marie Curie |
|||
| CM7 - Système à base de connaissances | Marie Lefevre Amphi 6 Marie Curie |
|||
| TP5 - Prolog - Graphes d'états | Mardi 15/12/2026 : 8h - 9h30 |
Mardi 15/12/2026 : 9h45 - 11h15 |
||
| Marie Lefevre & Maeva Somny Naut. TP 110-115 |
Chloé Conrad & Nathalie Guin Naut. TP 119-123 |
Maëva Somny & Marie Lefevre Naut. TP 110-108 |
Nathalie Guin & Chloé Conrad Naut. TP 117-121 |
|
| EXAM Graphes d'états (45 min) | ||||
| Marie Lefevre Nautibus TD 101 |
Chloé Conrad Nautibus TD 107 |
Maeva Somny Nautibus TD 009 |
Nathalie Guin Nautibus TD 126 |
|
| TD5 - SBC | ||||
| Marie Lefevre Nautibus TD 101 |
Chloé Conrad Nautibus TD 107 |
Maeva Somny Nautibus TD 009 |
Nathalie Guin Nautibus TD 126 |
|
| TP6 - Prolog - SBC | Mardi 12/01/2027 : 8h - 9h30 |
Mardi 12/01/2027 : 9h45 - 11h15 |
||
| Marie Lefevre & Maeva Somny Naut. TP 103-107 |
Chloé Conrad & Nathalie Guin Naut. TP 114-119 |
Maëva Somny & Marie Lefevre Naut. TP 105-108 |
Nathalie Guin & Chloé Conrad Naut. TP 109-117 |
|
| TP7 - Prolog - SBC | Vendredi 15/01/2027 : 8h - 9h30 |
Vendredi 15/01/2027 : 9h45 - 11h15 |
||
| Marie Lefevre & Maeva Somny Naut. TP 110-115 |
Chloé Conrad & Nathalie Guin Naut. TP 121-123 |
Maëva Somny & Marie Lefevre Naut. TP 108-115 |
Nathalie Guin & Chloé Conrad Naut. TP 109-119 |
|
| Examen Session 1 | 1h30 (+ 30 min pour les Tiers-Temps) Amphi ??? (voir les annales corrigées ci-dessous) |
|||
| Examen Seconde chance | 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
- 2022/2023 : session 1
- 2020/2021 : session 1
- 2019/2020 : session 1
- 2018/2019 : session 1
- 2017/2018 : session 1, session 2