Master Sciences
mention mathématiques-informatique
2ème année, spécialité recherche
<< Systèmes
intelligents et applications >>
Inscriptions 2007/08
Les étudiants souhaitant s'inscrire en 2
ème
année du Master Sciences, mention
mathématiques-informatique, spécialité recherche
<<Systèmes intelligents et applications>> pour
l'année universitaire 2007/08 doivent compléter un
dossier de candidature (un
seul dossier) téléchargeable en cliquant
là.
Pour les étudiants concernés, ce dossier vaut dossier
de demande de validation des études.
Les étudiants étrangers sont invités à
consulter l'URL http://www.univ-artois.fr/francais/formation/initiale/etranger.htm
La date limite de réception des dossiers est le 2
juillet 2007.
Les dossiers doivent être envoyés à l'adresse
suivante :
Angélique Gérard
Secrétariat pédagogique de l'UFR des Sciences Jean Perrin
rue Jean Souvraz - S.P. 18
F-62307 LENS Cedex
FRANCE
Aucun dossier incomplet ne sera pris en compte.
Contact
Objectifs
pédagogique, scientifique et professionnel du Master Recherche
Organisation du Master Recherche
Cursus pré-requis
Organisation de l'enseignement
Modalités de contrôle des connaissances
Composition de l'équipe enseignante et
laboratoires d'accueil
Informations pratiques
Contact (pour tout renseignement sur
le Master Recherche <<Systèmes intelligents et
applications>>)
Pierre Marquis (directeur du Master Recherche)
Professeur des Universités, spécialité
informatique
CRIL-CNRS FRE 2499, Université d'Artois
Faculté des Sciences Jean Perrin
Rue Jean Souvraz
F-62307 Lens Cedex
France
Tél : (+33) 3 21 79 17 86 ou (+33) 3 21 79 32 77
Fax : (+33) 3 21 79 17 70 ou (+33) 3 21 79 32 72
E-mail : marquis@cril.univ-artois.fr
Web :
http://www.cril.univ-artois.fr/~marquis
Objectifs pédagogique,
scientifique et professionnel du Master Recherche
Le Master Recherche <<Systèmes intelligents et
applications>> vise à former des informaticiens de haut
niveau,
spécialisés dans les sciences et technologies de
l'information. Il ne s'agit pas d'un Master Recherche d'informatique de
type
généraliste : l'objectif est
de former à la recherche et par la recherche des
spécialistes des techniques de représentation et de
traitements de l'information, demandés aussi bien par le monde
académique et de la recherche que par l'industrie du logiciel
(où l'on cherche à mettre
de plus en plus <<d'intelligence>> dans les programmes). La
spécificité du Master Recherche proposé est
d'être
ancré aussi bien sur les aspects de représentation de
l'information telle qu'elle existe dans la réalité, i.e.
incertaine et incomplète, que sur les algorithmes de traitement
de celle-ci et leur évaluation pratique. Il s'agit donc d'offrir
aux étudiants une formation scientifique de pointe, s'appuyant
sur
les modèles et algorithmes les plus modernes de la
représentation des connaissances et des raisonnements, de la
résolution et de l'optimisation de contraintes et des bases de
données et systèmes d'information avancés, qui
leur donnera le bagage nécessaire au développement du
logiciel de demain.
Organisation du Master Recherche
Les candidats à l'inscription au Master Recherche
d'informatique <<Systèmes intelligents et
applications>> doivent posséder
un niveau de formation de type 2e cycle scientifique
(première année de Master),
à forte composante informatique.
Les candidats doivent posséder les fondamentaux de
l'algorithmique
et de la programmation, des bases de données et des
systèmes
d'information.
La demande d'inscription de candidats ne satisfaisant pas à
ce
pré-requis est examinée par une commission de validation
des études qui décide éventuellement de les en
dispenser. Les
candidats
retenus à cette étape sont ensuite
sélectionnés
sur la base de leur dossier de candidature par une commission
formée
par le responsable du Master Recherche et les responsables des
différents
cours
qui le composent.
- Organisation de l'enseignement
(volume horaire, semestrialisation)
L'enseignement est organisé en deux semestres. Le premier
(semestre 3 du Master) consiste en un ensemble d'enseignements et le
second (semestre 4 du Master) prend la forme
d'un stage
dans une des équipes d'accueil du Master Recherche.
L'enseignement du semestre 3 est structuré en sept
unités d'enseignement. Cinq sont
obligatoires et forment le tronc commun et deux parmi cinq devront
être choisies en tant qu'unités d'enseignement
optionnelles.
Unités
d'enseignement obligatoires
(tronc commun de 85h)
- Outils formels (15h, coef. 1, 4 ects)
Ce module a pour but de présenter les outils formels qui
sont utilisés dans la plupart des autres cours. Il s'agit
essentiellement de rappels et approfondissements en logique
mathématique (incluant logique propositionnelle et des
prédicats du 1er ordre mais aussi une introduction
aux logiques modales et multi-valuées) et d'une
présentation des bases de la théorie de la
complexité (classes P, NP, coNP, réductions,
hiérarchie polynomiale, optimisation et approximation).
- Représentation des connaissances et des raisonnements
(20h, coef. 1,5, 5 ects)
Ce module est centré sur les aspects logiques et
calculatoires des formalismes pour la représentation des
connaissances et des
raisonnements <<de bon sens>>. Plusieurs notions
d'inférence non
monotone (inférence rationnelle, préférentielle)
sont
caractérisées par des postulats de rationalité et
des
théorèmes de représentation puis illustrées
sur des instances particulières (logique des défauts,
raisonnement
sous hypothèse de monde clos, inférence à partir
de
bases de croyances stratifiées). Les liens avec la
révision
de croyances sont mis en avant et la problématique de la fusion
de
croyances décrite. Les logiques paraconsistantes sont
abordées.
Les aspects calculatoires incluent aussi bien l'étude de la
complexité
des relations d'inférence que la conception d'algorithmes
dédiés
(en particulier, ceux à base de procédures de
découvertes
de conséquences) et la mise au point de méthodes
permettant
de pallier la complexité (méthodes heuristiques,
adaptation
aux ressources de calcul, approximation et compilation). Les
applications
présentées incluent le diagnostic de pannes et la
planification.
- Traitement de l'incertain (15h, coef. 1, 4 ects)
Ce module a pour objectif la présentation des formalismes
principaux pour la représentation et l'inférence à
partir d'informations incertaines, en particulier la logique
possibiliste, la logique probabiliste et la théorie de
Dempster/Shafer mais aussi les réseaux
bayésiens et les systèmes d'argumentation probabilistes.
Les connexions entre ces approches sont mises en évidence. Les
aspects calculatoires incluent les algorithmes de propagation (message
passing),
les algorithmes à base de tests de cohérence (dont
l'algorithme
bucket elimination) et la programmation linéaire. Plusieurs
applications
concernant en particulier l'aide à la décision sont
présentées.
- Satisfaction et optimisation de contraintes (20h, coef. 1,5,
5 ects)
La finalité de ce module est de présenter les
algorithmes actuels les plus efficaces pour la satisfaction et
l'optimisation sous
contraintes et de mettre en avant leur limites (taille des instances
traitables,
choix des algorithmes à utiliser selon les types de
problème).
L'accent est mis sur la procédure de Davis/Putnam pour le
problème SAT et sur les algorithmes forward checking et MAC pour
les CSP. Des méthodes heuristiques sont également
décrites (recherche locale,
recuit simulé, tabou, programmation génétique).
L'utilisation de tels algorithmes pour mettre en oeuvre les relations
d'inférence décrites dans les modules
<<représentation des connaissances et des
raisonnements>> et <<traitement de l'incertain>> est
discutée. Diverses applications
sont présentées (diagnostic de pannes, configuration de
produits, planification, etc.).
- Systèmes d'information, bases de données et
Internet (15h, coef. 1, 4 ects)
Ce module est centré sur l'organisation de données
hétérogènes et leur accès via Internet.
Plusieurs approches de modélisation des systèmes
d'information sont présentées (approche objet, UML) ainsi
que les architectures client/serveur sur le World Wide Web (serveurs
dynamiques, XML). Les notions de bases de données
décisionnelles et de data warehouse sont étudiées
(en particulier, l'architecture des entrepôts de données
et
la modélisation multidimensionnelle) et l'accent est mis sur les
bases de données multimédia (en particulier,
géographiques
et images).
Unités d'enseignement
optionnelles (20h chacun, coef. 1, 4ects par module)
Ce module traite de la planification d'actions. Les deux points
principaux qui sont traités sont les problèmes
posés par la
représentation des actions et des plans (en particulier,
déterministes
et non déterministes sous plusieurs hypothèses
d'observabilité)
et les algorithmes de planification associés (depuis STRIPS
jusqu'aux
algorithmes fondés sur les POMDP en passant par le langage A et
les réseaux bayésiens temporisés). La
complexité
des problèmes posés par la planification (existence de
plans
bornés, calcul de tels plans, etc.) est abordée, ainsi
que
les raisonnements temporel et spatial et la planification de
trajectoires.
- Apprentissage et fouille de données
Ce module a pour objet une présentation des méthodes
d'apprentissage existantes et leur application aux problèmes
posés par la fouille de données. Les notions d'induction
constructive et explicative sont introduites dans le cadre de la
programmation logique inductive et appliquées à
l'extraction de connaissances à partir de données. Divers
algorithmes d'apprentissage supervisé (en particulier, à
base d'arbres de décision et à partir d'instances) et non
supervisé (clustering) sont présentés. Le
raisonnement
à partir de cas et les algorithmes neuronaux sont
également
abordés.
Ce module est centré sur l'intelligence artificielle
distribuée et les systèmes multi-agents. Les concepts
fondamentaux d'agent, d'autonomie, d'interaction, de
coopération, de négociation
sont définis. La logique de l'action de Cohen et Levesque est
présentée, ainsi que la problématique de la prise
de décision de groupe. Plusieurs modèles d'architecture
de systèmes multi-agents
sont étudiés : tableau noir, accointances, contract net,
etc.
La problématique de la résolution distribuée de
problèmes (éco-résolution) est décrite.
- Algorithmes biomimétiques
Le but de ce module est de présenter les concepts de base
des algorithmes génétiques et de la programmation
génétique (individu, population, chromosome, croisement,
mutation, sélection) pour la résolution de
problèmes d'optimisation. Divers modèles de
parallélisation sont décrits : modèle à
population globale, modèle des îlots, modèle
massivement
parallèle. Les problèmes posés par la
représentation
de l'espace de recherche et la génération de la
population
initiale sont abordés. Les algorithmes à base de colonies
de fournis et des algorithmes de renforcement sont également
présentés, ainsi que des applications grandeur
réelle de ces algorithmes à l'apprentissage automatique
et à la fouille de données.
- Systèmes d'aide à la décision
Ce module constitue une introduction aux méthodes de prise
de décision dans l'incertain. Il se veut aussi un module
transversal dans lequel on montre comment les modèles et
algorithmes présentés dans les différents modules
du tronc commun peuvent être
conjointement utilisés dans plusieurs applications de type aide
à la décision. Le diagnostic de pannes est choisi
à
titre d'illustration principale.
Ce module a pour objectif la présentation de
fondements
utilisés dans le développement d'activités de
recherche
spécialisées au sein des laboratoires d'accueil. Il est
composé
de plusieurs cours introductifs indépendants et qui
évolueront
au gré des recherches conduites dans les laboratoires d'accueil.
Ceux-ci
incluent recouvrent par exemple des notions telles que la fusion de
croyances,
la théorie du vote, la théorie des jeux, la fouille de
données,
le Web sémantique, etc.
- Modalités de contrôle
des connaissances (sous réserve d'approbation par les Conseils
de l'Université d'artois)
Le
Master Sciences 2ème
année, mention Mathématiques-Informatique,
spécialité
recherche <<Systèmes intelligents et applications>>
est organisé en deux semestres. L'évaluation des
étudiants à l'issue du premier semestre (semestre 3 du
Master) consiste en épreuves <<sur table>>
(correspondant aux unités d'enseignement obligatoires du tronc
commun et unités d'enseignement optionnelles) et le second
(semestre 4 du Master) au stage obligatoire dans un des laboratoires
de recherche associés à la formation ou dans une
entreprise, après l'agrément du responsable de la
formation.
Deux
sessions d'examen
sont organisées pour le semestre 3 (typiquement la
première
session a lieu en février et la seconde en juin).
Chaque unité
d'enseignement obligatoire du
Master recherche donne lieu à une épreuve <<sur
table>>. Il s'agit d'un examen écrit ou oral, ou encore
d'une épreuve pratique (implantation à réaliser
et étude expérimentale). Il en est de même pour
les deux unités d'enseignement optionnelles retenues par
chaque étudiant dans la liste des unités ouvertes
(cette liste pouvant varier chaque année en fonction du nombre
d'étudiants inscrits à la formation). Chaque
épreuve
réalisée donne lieu à une note et l'unité
d'enseignement correspondante est validée si et seulement si
cette note, éventuellement complétée de points
de jury, est supérieure ou égale à 10.
Chaque unité
validée permet l'octroi
d'un certain nombre de crédits (ects), fixé comme suit
:
Le principe de
compensation s'applique entre les
unités d'enseignements du semestre 3, la note de chaque
unité
étant pondérée par le coefficient associé.
Le semestre 3 du Master
est validé (30 ects
obtenus) si et seulement si la note d'admissibilité est
supérieure ou égale à 10, cette dernière
note NA étant la moyenne arithmétique
pondérée
des notes des unités d'enseignement correspondantes,
éventuellement complétée de points de jury. Tout
étudiant remplissant le critère NA >= 10 est
déclaré
admissible par le jury d'admissibilité. Ce dernier se
réserve le droit d'interdire la poursuite en stage (semestre
4) à tout étudiant ayant obtenu moins de 12 ects au
semestre 3.
L'évaluation du
semestre 4 du Master consiste
en un rapport de stage et une soutenance orale (typiquement en
juillet). Le semestre 4 du Master est validé (30 ects obtenus)
si et seulement si la note de stage NS (éventuellement
complétée de points de jury) obtenue est
supérieure
ou égale à 10/20. Il n'y a pas de 2ème session
d'examen pour le semestre 4 mais le jury d'admission peut
décider
à titre exceptionnel d'autoriser un étudiant à
prolonger son stage et à fournir à l'issue de celui-ci
un rapport complété et à présenter une
nouvelle fois la soutenance orale correspondante.
Tout étudiant
ayant validé les quatre
semestres du Master (120 ects) se voit décerner le Master
Sciences, mention Mathématiques-Informatique,
spécialité
recherche <<Systèmes intelligents et applications>>
par le
jury d'admission. Pour être admis, un étudiant doit
être
admissible et voir son stage validé ; de fait, aucune
compensation n'est possible entre les semestres 3 et 4. Une
attestation de stage validé peut être
délivrée
aux étudiants non admissibles ayant validé leur stage
(30 ects au semestre 4).
Les
mentions sont typiquement délivrées selon les
critères habituels, en s'appuyant sur la note finale NF du
Master 2, moyenne arithmétique des notes d'admissibilité
NA et de stage NS :
- 16 <= NF
: mention très
bien
- 14 <= NF < 16 :
mention bien
- 12 <= NF < 14 :
mention assez bien
- 10 <= NF < 12 :
mention passable
Le
jury d'admission se réserve toutefois le droit de ne pas
respecter ce principe d'attribution des mentions, en particulier
lorsque l'admissibilité est obtenue par attribution de points
de jury.
Le
redoublement est exceptionnel et ne peut être autorisé
par le jury d'admission que dans les termes fixés par
l'arrêté
du 25 avril 2002 (concernant les redoublements en DEA), en attendant
un arrêté dédié aux masters.
Le jury d'admission peut enfin fournir un avis de poursuite en
thèse
pour les étudiants admis qui le souhaitent.
- Composition de l'équipe
enseignante et laboratoires d'accueil
L'équipe enseignante est en grande majorité
composée de professeurs des Universités et de
maîtres de conférences habilités à diriger
des recherches. Ceux-ci sont issus des laboratoires suivants :
- le CRIL
(Centre de Recherche en Informatique de Lens), FRE CNRS 2499,
Université
d'Artois.
- le LGI2A
(Laboratoire de Génie Informatique et Automatique de l'Artois),
EA 3926, Université d'Artois
Ces laboratoires sont les laboratoires d'accueil du Master
Recherche. A l'issue
de celui-ci, tout étudiant admis peut soit s'orienter
directement vers le monde industriel soit poursuivre ses études
en préparant une thèse dans l'un des
laboratoires d'accueil (à condition qu'un enseignant /
chercheur, titulaire d'une habilitation à diriger des
recherches, accepte de l'inscrire). Diverses possibilités de
financement existent (bourses MESR, BDI, Région
Nord/Pas-de-Calais, CNOUS, conventions CIFRE avec des entreprises).
Des conseils pour l'écriture du rapport
de stage et la
préparation de la soutenance peuvent être obtenus en
cliquant sur le lien.
Une archive contenant essentiellement une classe LaTeX pour la mise en
page est accessible ici (merci à
Bertrand Mazure).
Informations pratiques
Les enseignements ont lieu dans les locaux de la
Faculté des Sciences Jean Perrin , rue Jean Souvraz,
à Lens.
Les étudiants du Master Recherche "Systèmes
intelligents et applications" ont accès aux huit salles de T.P.
informatique de la Faculté et un accès prioritaire à la salle
de T.P. du Master 2, équipée d'une vingtaine
d'ordinateurs performants. Ils disposent aussi d'une salle de
travail qui leur est
réservée en priorité.
La bibliothèque
universitaire de la
Faculté a été pendant plusieurs années
centre de
dépôt légal des publications en
mathématiques et informatique pour la France.
Son fonds, en expansion continue, contient de nombreux ouvrages
fondamentaux pour les étudiants du Master Recherche
"Systèmes intelligents et applications".
Il est consultable
via le Web.
La Faculté des Sciences est située au centre-ville
de Lens, ce qui contribue à l'agrément des
étudiants.
Juste en face de l'entrée principale de la Faculté (rue
Jean Souvraz) se trouve un restaurant universitaire géré
par le CROUS.
Une résidence universitaire
localisée à Béthune et gérée
par le CROUS propose des chambres d'étudiants :
"Résidence
Gérard Philippe"
1326, rue
de l'Université
62400 Béthune
tél CROUS Lille : 03 21 57 31
87
Web: http://www.crous-lille.fr/
Des navettes de bus régulières effectuent la liaison Lens
-> Béthune et Béthune -> Lens.
Voir http://www.tadao.fr/ (ligne 82).
Des résidences gérées par les organismes HLM
sont situées près de la Faculté des Sciences :
OPAC 62
3 Pavillon Aneth
62300 Lens
tél : 03 21 14 20 00
SIA
69 rue des Potiers
BP 640
59506 Douai
tél : 03 27 93 07 07
SOGINORPA
rue Vasco de Gama
62750 Loos-en-Gohelle
tél : 03 21 28 63 89
Pour de plus amples informations sur la vie de
l'étudiant (procédures d'inscription, logement,
etc.), cliquez
ici .
Pour une découverte de la ville de Lens et ses
alentours, cliquez ici .
Pour les amateurs de football, cliquez ici .
