Université Lyon 1
Université de Lyon
Arqus
Accueil  >>  Master  >>  Informatique  >>  M2 Intelligence artificielle  >>  Bases de l'intelligence artificielle
  • Domaine : Masters du domaine SCIENCES, TECHNOLOGIES, SANTE
  • Diplôme : Master
  • Mention : Informatique
  • Parcours : M2 Intelligence artificielle
  • Unité d'enseignement : Bases de l'intelligence artificielle
Nombre de crédits de l'UE : 3
Code APOGEE : INF1092M
    Responsabilité de l'UE :
LEFEVRE MARIE
 marie.lefevreuniv-lyon1.fr
04.72.44.58.90
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
12 h
Travaux Dirigés (TD)
7.5 h
Travaux Pratiques (TP)
10.5 h
Total du volume horaire
30 h

* Ces horaires sont donnés à titre indicatif.

    Programme - Contenu de l'UE :
L’objectif général du cours est de permettre aux étudiants d’acquérir les bases 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.
Deux projets permettent d’illustrer et de prendre en main les différentes notions présentées dans le cours. Le premier concerne la  résolution de problème à travers la robotique et l’utilisation de Lego Mindstorm ®, le second concerne le raisonnement logique et sa programmation à l’aide du langage Prolog.

http://liris.cnrs.fr/marie.lefevre/ens/BIA/
    Compétences acquises :
Méthodologiques :
- 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



Techniques :
- le langage Prolog et son utilisation pour résoudre des problèmes via des raisonnements logiques
    Modalités de contrôle des connaissances et Compétences 2021-2022 :
TypeLibelléSessionNatureCoef. 
CTCT : M1if06 Bases de l'IAsession 1Ecrit-
CTCT : M1if06 Bases de l'IAsession 2Ecrit-
CCCC : M1if06 Bases de l'IAsession 1Contrôle Continu-
CCCC : M1if06 Bases de l'IAsession 2Contrôle Continu-
Date de la dernière mise-à-jour : 13/04/2018
SELECT * FROM parcours INNER JOIN ue_parcours ON PAR_ID_FK=PAR_ID INNER JOIN mention ON MEN_ID = PAR_MENTION_FK WHERE PAR_ACTIVATE = 0 AND UE_ID_FK='16770' ORDER BY UE_ID_FK ASC, PAR_ID_FK ASC