Ingénieur Polytech LilleCycle préparatoire (PeiP)Cycle IngénieurMécanique Génie Informatique et Statistique GéoTechnique Génie Civil Génie Biologique et Alimentaire Ingénieur d’Exploitation des Systèmes de Production Informatique Microélectronique Automatique Ingénierie et Commercialisation des systèMes de Mesure Matériaux

---

Mastère spécialisé en Génie de l'EauProfessionnels intervenantsEtudes bibliographiquesStages en entrepriseDébouchés

---

Formations hébergées à l'école

Admissions

   

Semestre 8
  UE 8-2 - Systèmes logiciels (114920)
    Fondements de l'IA (114540)

Enseignant(s) : Stéphane JANOT

ECTS : 1.5

Objectifs à atteindre

_L’intelligence artificielle comprend de nombreux domaines d’applications, souvent à l’intersection d’autres disciplines. Les techniques de l’IA se sont avérées utiles dans des domaines variés comme le diagnostic, la planification, l’optimisation combinatoire, les systèmes d’aide à la décision. Plus généralement, l’intelligence artificielle « moderne » se définit comme l’étude et la conception d’agents intelligents. L’objectif du cours est de présenter les fondements de l’IA, en particulier la représentation des connaissances et la résolution de problèmes._

Programme détaillé

Introduction à l’IA
Présentation des différents domaines de l’IA,
Historique et état de l’art
Notion d’agent, «agents intelligents»
Représentation des connaissances et raisonnement
Logique propositionnelle
définition, syntaxe, sémantique
inférence en logique propositionnelle
satisfiabilité d’une formule
Logique des prédicats
Syntaxe, sémantique
Unification
Inférence en logique des prédicats, résolution
Systèmes à base de règles
Programmation logique
Résolution de problèmes et recherche
Algorithmes de recherche dans les espaces d’états
Recherche heuristique
Problèmes de satisfaction de contraintes (CSP)
Algorithme de recherche pour les jeux: min-max, alpha-béta.

Volume horaire

Total :	25h
Cours :	12h
TD :	12h
TP :	0h
Tutorat :	0h
DS :	1h

Bibliographie

Artificial Intelligence: A New synthesis, Nils J. Nilsson, Morgan Kaufmann Publishers, 1998.
Artificial Intelligence: A modern approach (2nd Ed), S. Russell et P. Norvig, Prentice Hall, 2003.

---