MICR - LIPN - Université Paris 13

Spécialité à finalité recherche :
Modélisation Informatique des Connaissances et du Raisonnement (MICR) Responsable : Adeline Nazarenko, nazarenko@lipn.univ-paris13.fr Objectifs pédagogiques généraux
La spécialité MICR a pour objectif de fournir aux étudiants les éléments
fondamentaux leur permettant d'entamer une recherche tant en intelligence
artificielle qu'en traitement automatique du langage, en spécifications de
systèmes complexes ou en théorie de la programmation. La spécialité MICR permettra à chaque étudiant, avec l'aide de l'équipe
pédagogique, de construire son propre projet personnel. On peut cependant
préfigurer quelques parcours-types en seconde année correspondant à des
choix thématiquement cohérents d'Unités d'Enseignement de recherche et de
l'Unité d'approfondissement : 1. Traitement Automatique du Langage : Traitement automatique des langues -
Ingénierie des connaissances textuelles - Ressources lexicales -
Recherche et extraction d 'information ; 2. Spécifications et programmation : Spécifications des systèmes complexes
- Propriétés temporelles, - Programmes et preuves - Unité
d'approfondissement au choix ; 3. Logique et programmation : Calculs de processus - Programmes et preuves
- Concurrence - Unité d'approfondissement au choix ; 4. Apprentissage artificiel : apprentissage numérique - apprentissage
symbolique et RaPC - apprentissage statistique, fouille de données. D'autres parcours pluridisciplinaires combinant plusieurs des thématiques
ci-dessus sont également envisageables. Ce master est en effet ouvert à la
pluridisciplinarité (qui est un des atouts de l'université Paris 13) en
proposant une UE de linguistique sur les ressources lexicales (assurée par
un chercheur du laboratoire de linguistique informatique) et une UE sur la
bio-informatique (assurée par un enseignant-chercheur du Laboratoire
d'informatique médicale et bio-informatique).
Principaux débouchés
La formation débouche en général sur la préparation d'une thèse. Les
différents parcours-types proposés permettent aux étudiants des
spécialisations dans des thèmes d'excellence du Laboratoire d'Informatique
de Paris Nord (LIPN).
Le financement des thèses pourra se faire par des allocations de recherche
du ministère, ainsi que dans le cadre de bourses Cifre : les chercheurs du
LIPN sont en relation avec de nombreuses entreprises qui ont déjà financé
(ou sont prêtes à le faire) des bourses Cifre dans les domaines couverts
par ce master recherche (Traitement Automatique du Langage, génie logiciel,
programmation avancée, systèmes industriels complexes,...).
En dehors de la poursuite en thèse, dans plusieurs domaines couverts par la
spécialité, les entreprises recrutent des étudiants de master tant
professionnel que recherche. On peut citer sans exhaustivité les
applications du Traitement Automatique du Langage Naturel, en particulier
l'ingénierie des connaissances textuelles et le traitement de grands
corpus, la programmation avancée et le génie logiciel, le diagnostic de
systèmes industriels complexes, les systèmes multi-agents, etc. Stage d'initiation à la recherche
Stage de 6 mois (d'avril à septembre) d'initiation à la recherche, dans un
laboratoire universitaire ou un laboratoire de recherche privé ou public,
sur un sujet choisi en accord avec le responsable de la formation, faisant
l'objet d'un rapport (à remettre vers la mi-septembre) et d'une soutenance
orale fin septembre. Conditions d'admission en MICR
La spécialité MICR est ouverte aux étudiant ayant validé en 1ère année les
UE : - Programmation par contraintes (semestre 1)
- Lambda Calcul (semestre 2)
- Résolution de problèmes en IA (semestre 2) L'acceptation en seconde année est prononcée par le chef d'établissement
sur proposition du responsable de la formation. Celui-ci sollicite l'avis
du jury sur les capacités du candidat à suivre les enseignements de seconde
année.
Il est prévu une admission sur dossier, par exemple pour des étudiants qui
auraient fait une première année de master de Traitement Automatique du
Langage ou de Logique, ou pour des étudiants ayant une formation
d'ingénieurs avec vérification du niveau en informatique (en particulier
passerelles possibles pour les étudiants en 3ème année de la formation
d'ingénieur en spécialité Informatique, à l'Institut Galilée). Description des semestres 3 & 4 pour la spécialité MICR : Année M2R - Semestre 3 (12 semaines) |Unité |Cod|Intitulé |Cour|TD/T|Tota|Coef|ECTS|
|d'enseignement |e | |s |P |l |f. | |
| |FRC|Formalismes pour la |18 |18 |36 |1 |10 |
| | |représentation des | | | | | |
| | |connaissances | | | | | |
|UE communes |TRI|Traitement de |18 |18 |36 | | |
| |C |l'incertain et causalité| | | | | |
|(UEC-M2R) |MPS|Modélisation des |18 |18 |36 | | |
| | |processus et des | | | | | |
| | |systèmes | | | | | |
| | | | | | | | |
| |SSC|Spécification des |18 |18 |36 |1 |4 |
| | |systèmes complexes | | | | | |
|2 UE de |ICT|Ingénierie des |18 |18 |36 |1 |4 |
|recherche | |connaissances textuelles| | | | | |
|au choix parmi |TAL|Traitement automatique |18 |18 |36 |1 |4 |
| | |des langues | | | | | |
|la liste |PP |Programmes et preuves |18 |18 |36 |1 |4 |
|ci-contre | | | | | | | |
| |AN |Apprentissage numérique |18 |18 |36 |1 |4 |
|(UER-M2R) |ASR|Apprentissage symbolique|18 |18 |36 |1 |4 |
| |APC|et RaPC | | | | | |
| | | | | | | | |
| |AD |Aide à la décision |18 |18 |36 |1 |4 |
|2 UE |AS |Apprentissage |18 |18 |36 |1 |4 |
|d'approfondissem| |statistique | | | | | |
|ent | | | | | | | |
|au choix parmi |BIO|Bio-informatique |18 |18 |36 |1 |4 |
|la liste |CP |Calculs de processus |18 |18 |36 |1 |4 |
|ci-contre | | | | | | | |
|(UEA-M2R) |FD |Fouille de données |18 |18 |36 |1 |4 |
| |REI|Recherche et extraction |18 |18 |36 |1 |4 |
| | |d'information | | | | | |
| |RL |Ressources lexicales |18 |18 |36 |1 |4 |
| |C |Concurrence |18 |18 |36 |1 |4 |
| |PT |Propriétés temporelles |18 |18 |36 |1 |4 |
| |SC |Sciences cognitives |18 |18 |36 |1 |4 |
| |LIB|UE libre : choix dans |18 |18 |36 |1 |4 |
| |R |d'autres masters | | | | | |
| | | | | | | | |
| | | | | | | | |
|UE culturelles |CUL|Culture générale | |39 |39 |1 |4 |
|(UEC-M2R) |T | | | | | | |
| | | | | | | | |
| | |Totaux du semestre : |126 |165 |291 | |30 | Année M2R - Semestre 4
|Unité |Cod|Intitulé |Cou|TD/|Tot|Coe|ECT|
|d'enseignement |e | |rs |TP |al |ff.|S |
|Stage |STI|Stage de recherche (6 |( | | |8 |30 |
|d'initiation à |R |mois) | | | | | |
|la recherche | | | | | | | |
| | | | | | | | |
| | |Totaux du semestre : | | | | |30 |
Descriptif des unités d'enseignement des semestres 3 et 4 pour la
spécialité recherche
Année M2R - Semestre 3
Spécification des Systèmes Complexes et propriétés temporelles
. Automates pour la spécification de systèmes, produit synchronisé
. Logiques temporelles PLTL (Propositional Linear Logic), CTL (Computation
Tree Logic), et CTL* - Vérification de modèles avec les logiques PLTL,
CTL, ...
. Vérification symbolique de modèles, calcul symbolique de l'espace
d'états, BDD (Binary Decision Diagrams)
. Automates temporisés, logique temporisée, expression de propriétés temps-
réel
. Spécification de propriétés en logique temporelle (sûreté, vivacité,...).
. Outils: SMV (pour la logique CTL), SPIN (pour la logique LTL).
. Le langage CASL-LTL, extension de CASL pour les systèmes réactifs,
dynamiques. Spécification et expression de propriétés temporelles.
Exemples de systèmes de grande taille.
Note : LTL (Labelled Transition Logic) est une logique temporelle proche de
CTL*.
Calculs de processus
. Introduction aux calculs de processus.
. Calcul des systèmes Communicants (CCS): syntaxe et sémantique ; traces ;
équivalence entre processus, bisimulation faible et forte ; exemples de
spécifications.
. Pi-calcul : syntaxe et sémantiques, expressivité, synchronie et
asynchronie. Exemples. Join-calculus :