Master en Informatique à Bejaia
Master en Informatique à Bejaia
janvier 2007
Référence de la formation :
L’établissement asure-t-il une ou des formations post graduées (PG, PGS, école doctorale) en liaison
avec la formation proposée?:
OUI □ NON (cocher la mention utile)
Formation doctorale en Information Option : Systèmes parallèles et distribués Resyd créée en
Novembre 2003.
L’établissement dispose-t-il d’un laboratoire de recherche intégrant le projet ?:
Localisation :
Avis des responsables de l’institution :
Observations :
_______________________________________________________________
__________________________________________________________________________
__________________________________________________________________________
__________________________________________________________________________
__________________________________________________________________________
__________________________________________________________________________
Date et signature
Définition de la formation
Ce master permettra, d'une part d'acquérir un profil large dans le domaine de l'informatique et,
d'autre part, d'approfondir un domaine qui peut conduire à une spécialisation dans un axe de
recherche à savoir les Réseaux et Systèmes Distribués, les Bases De Données, l’Intelligence
Artificielle, les Systèmes d’Information avancés et d’autres domaines connexes.
Après un semestre de Tronc Commun de mise à niveau des connaissances dans le domaine de
l’informatique, un second semestre est prévu pour la consolidation des connaissances de l’étudiant dans
une des deux options proposées.
Les moyens et équipements (indiquer les moyens et équipements disponibles et qui seront mis en œuvre pour la formation
proposée)
Recherche :
Pédagogie :
03
Laboratoires pédagogiques équipés (nombre) : (voir fiche modèle en annexe)
Espace de lecture :
100 100
Bibliothèque (nombre) : Nombre de titres dans la spécialité :
MASTER 1 (M1)
Semestre 1 : (Tronc Commun) Répartition des matière pour chaque Unité d’Enseignement.
Unité d’Enseignement CM TD TP Crédit
Code (2) (3) (3) (3) (6)
Semestre 2 :
Unité d’Enseignement CM TD TP Crédit
Code (2) (3) (3) (3) (6)
(1)
MASTER 2
Semestre 3:
Unité CM TD TP Coef Crédit
Code d’Enseignement (3) (3) (3) (3) (6)
(1) (2)
UEF31 Réseaux Mobiles 1h30 1h30 1h30 01 05
Systèmes embarqués 1h30 1h30 01 05
et temps réel
Sécurité 2 1h30 1h30 01 04
UEF32 Système Distribué 2 1h30 1h30 01 04
Programmation 1h30 1h30 1h30 01 04
orientée objets
avancée
MASTER 2
Totaux (4) 30
Donner la liste des diplômes donnant droit à l’accès direct à la formation proposée :
1. Les étudiants ayant validé leur L3 en :
Licence Académique- option : Informatique fondamentale.
Licence professionnelle -option:Technologie de la formation et de la communication.
2. Les étudiants ingénieurs ayant terminé leur cinquième année peuvent accéder
automatiquement au Master 2
3. Les étudiants ingénieurs ayant validé leur 4eme année pourront accéder automatiquement au
Master 1.
4. Les étudiants venant de parcours différents devront posséder des compétences dans les
domaines suivants : Systèmes d’exploitation, réseaux, Structures de données, systèmes
d’informations et bases de données.
5. Les étudiants ayant validé leur L3 Mathématique ou RO devront acquérir les pré-requis
demandés durant une période de préparation avant d’entamer le Master 1.
6. Les étudiants, sur demande, pourront obtenir à l’issue du Master 1 un diplôme s’ils ont validé
leur année.
7. Une orientation sera effectué en fin de Master 1, soit vers la continuation en Master 2
(recherche ou professionnel) RSD ou , soit vers le monde professionnel ou d’autres universités
et écoles d’ingénieurs.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00_ et celui du rattrapage : ___02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Objectif de la matière :
Introduction aux systèmes distribués (Généralités et outils) et aux problèmes génériques de parallélisation
Prérequis indispensables :
Systèmes d’Exploitation, Algorithmique réparti, Structure de données
Contenu de la matière : L’objectif du cours est d’étudier les paradigmes mis en œuvre dans les
systèmes distribués :
Nommage dans les systèmes, Systèmes de fichiers distribués , Ordonnancement global : processus,
tâches, données, Répartition de charge et migration , Sécurité des systèmes , Systèmes coopératifs ,
Mémoire virtuelle partagée , Communications de groupe
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00_ et celui du rattrapage : ___02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Objectifs de la matière :
Introduction aux architectures parallèles
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Systèmes d’exploitations, réseaux et protocoles
Contenu de la matière :
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00_ et celui du rattrapage : ___02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon
la composition de la matière) :
Objectifs de la matière
Remise à niveau sur les réseaux et protocoles de communication
Prérequis indispensables :
Systèmes d’exploitations, réseaux et protocoles
Contenu de la matière :
L’objectif est de délivrer un enseignement approfondi des réseaux informatiques en intégrant des
fonctionnalités d’accessibilité, de répartition de charge, d’intégration de flux et de protection :
Réseau à haute disponibilité, Gestion des flux de données, Sécurisation des réseaux
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Objectifs de la matière :
Consolider et développer les concepts et outils des bases de données fédérées et réparties
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Bases de données, systèmes d’informations
Contenu de la matière :
Le relationnel étendu, les bases de données orientées objets et multimédia
Etude des fondements des bases de données réparties et fédérées : notion de bases de données
réparties, techniques de répartition : fragmentation, réplication. Gestion des transactions et des
requêtes réparties, conception d'une bd fédérée.
Références
G. Gardarin, P. Valduriez : SGBD Avancé, Editions Eryrolles, 1990
Objectifs de la matière
Familiariser les étudiants avec les techniques de base de la compilation et leur permettre par
conséquent de mieux comprendre les langages de programmation modernes.
Contenu de la matière
Rappels sur la classification des grammaires et des automates. Analyse lexicographique : utilisation
des automates d'états finis déterministes pour extraire des mots significatifs (tokens) d'un
programme source, utilisation de l'outil LEX. Analyse syntaxique ascendante et descendante :
études des méthodes d'analyse avec et sans rebroussement; Problème de l'efficacité de l'analyse
syntaxique ; Grammaires LL(k), Grammaires LL(1) ; L'analyse syntaxique LL(1) ; Recherche des
premiers et des suivants ; Descente récursive ; Grammaires LR(k), SLR, LALR et LR(1) ;
Utilisation d'un constructeur d'analyseurs LR : YACC. Analyse sémantique : Construction de l'arbre
sémantique ; Code machine et code intermédiaire ; Analyse sémantique dirigée par la syntaxe ;
Actions sémantiques. Génération de code : Génération de code machine ; Génération de code
intermédiaire ; Déclarations et instructions ; Sémantique des différentes instructions des langages de
programmation évolués. Compilation de structures de données complexes : Les tableaux, les
chaînes et listes linéaires, les listes, les arbres, les "structures", les pointeurs. Interprétation :
avantages et inconvénients de la solution interprétée ; Principes de l'interprétation. Optimisation de
code : Compilateurs optimisants ; Amélioration des performances ; Transformations conservant la
fonctionnalité, Sous-expressions communes, Propagation des copies, Optimisations des boucles... .
Références
A. Aho, R. Sethi, J. Ullman. "Compilateurs. Principes, techniques et outils". Interéditions, 1989.
A. Aho, J. Ullman. "Concepts fondamentaux de l'Informatique". Dunod, Paris, 1993.
P.Y. Cunin, M. Griffiths, J. Voiron. " Comprendre la compilation". Springer Verlag, 1980.
F. L. Bauer, J. Eickel eds. " Compiler Construction". Springer Verlag, 1976.
B. Groc, M. Bouhier. " La programmation par syntaxe". Dunod, 1990
M. Gros, Lentin. " Notions sur les grammaires formelles", Gauthier-Villars, 1967
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Reconnaissance de formes, systèmes experts
Contenu de la matière
Apprentissage par induction supervisé, arbres de décision, réseaux de neurones, algorithme de rétro-
propagation du gradient, réseaux RBF, apprentissage Bayesien, critère MDL, réseaux Bayésiens,
modèle PAC, dimension de Vapnik-Chervonenkis, algorithme des k-plus proches voisins.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Objectifs de la matière (2 à 4 lignes) :
Maîtrise des notions fondamentales sur les processus aléatoires et les files d’attente
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Mathématiques
Contenu de la matière
Le cours a pour objectif de préciser les notions fondamentales relevant de la théorie des processus
aléatoires et des fils d’attente.
Rappels de Probabilités et de Processus Aléatoires : Variables Aléatoires, Espérance Mathématique,
Conditionnement, Loi Exponentielle, Loi de Poisson, Processus de Poisson ;
Chaînes de Markov : Chaînes de Markov à Temps Discret. Chaînes de Markov à Temps Continu ;
Formalisme des Files d'Attente, Notation de Kendall, Files Simples,
Réseaux de Files d'Attente, Réseaux Ouverts/Fermés, Résaux MultiClasses ;
Performances : Paramètres de Performance (délai, taux de perte), Stabilité, Ergodicité, Formule de
Little ; Files d'Attente Simples : File M/M/1 (arrivées poissonniennes et loi de services
exponentielle), Files M/G/1 (arrivées poissonniennes et loi de service quelconque) et G/M/1 (loi des
arrivées quelconque et service exponentiel), File M/G/infini (processus de Naissance et de Mort) ;
Réseaux de Files d'Attente à Forme Produit.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Contenu de la matière
Introduction
Relations et Structures de préférences
Prise de décision dans un environnement incertain
Eléments de la théorie des jeux
Décision en présence de plusieurs critères
Méthodes multicritères d’aide à la décision
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Systèmes distribués I
Contenu de la matière
J2EE, serveur d'applications, JBoss, Jonas, Architecture N-tiers, JSP/Servlet, Struts, Enterprise
JavaBeans, Source de données, Administration serveur, Eclipse, Introduction à .Net. Parallèlisme,
Multithreading, objet réparti, client/serveur, RPC, RMI, CORBA.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Reseaux et protocoles
Contenu de la matière
Le cours complète les connaissances acquises les années précédentes en réseau avec des
problématiques plus ciblées: La Qualité de service dans les réseaux filaires et sans fil avec la
gestion des files d'attente, le déploiement et la mise en place des routeurs, Le transport du son et de
la vidéo avec les protocoles sous-jacents, La sécurité du transport des données est abordée avec le
cryptage, les firewalls et les protocoles de sécurité existants, La communication en utilisant les RPC
et le multithreading.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Ce cours a pour but de présenter les solutions algorithmiques apportées en réponse aux problèmes
des systemes distribués. Nous avons sélectionné trois domaines principaux pour notre approche à
savoir la synchronisation dans les systèmes distribués, la tolérance aux fautes et la communication
de groupes. Pour chacun de ces domaines, les problèmes principaux liés à la distribution sont
évoqués et les algorithmes permettant de les résoudre décrits.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Méthodologie, Processus développement Unifié, UP, cycle de vie du logiciel, 2TUP, cycle Y, RUP,
eXtreme Programming et UML.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Ce cours présente les principales applications des mécanismes de sécurité dans le cadre des réseaux
et des applications distribuées. Le cours comprend des systèmes de sécurité spécialisés et
complexes comme les infrastructures de clés publiques, des solutions complètes de sécurité comme
dans le cas des réseaux mobiles et des solutions spécifiques comme le paiement sécurisé.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Modélisation des systèmes
Techniques d’Evaluation des performances
Simulation et outils de simulation
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Ce cours couvre les problèmes de mobilités dans deux environnements différents : les réseaux
locaux sans fils (WLAN), et les réseaux cellulaires à couverture étendue (de type GSM/GPRS). Les
aspects mis en avant dans ce cours sont : la couche d'accès médium radio (MAC) et leur logique de
contrôle, ainsi que les protocoles nécessaires à la gestion de la mobilité des terminaux et des
usagers.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Ce cours a pour objectif d'une part, de présenter les spécificités des systèmes embarqués et d'autre
part les besoins logiciels qui en découlent. Nous analyserons et évaluerons les choix techniques
proposés par les grands acteurs du marché sur les différentes plate-formes logicielles qu'ils
proposent et y développerons, à titre d'exemples, des applications de test sur différentes cibles.
Enfin, quelques cours-conférences passeront en revue des sujets technologiques d'actualité qui
conditionnent les futurs développements dans le domaine de l'informatique mobile.
- Système Linda
- Vector & Parallel FORTRAN/Languages/OpenMP
- Algorithmes parallèles
- Heterogeneous Computing, Non-traditional Parallel Computing
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Ce cours offre à la fois une vision globale des techniques d'attaques qui ciblent les ressources
réseaux au sens large et également une étude des contre mesures qui existent pour contrecarrer ces
menaces. Nous analysons les attaques par une approche systématique en identifiant les classes
typiques telles que subversion du trafic, mascarade et dénis de service. Nous nous penchons en
détail sur les techniques de détection d'intrusion, tant du niveau conceptuel qu'en termes de
solutions réelles existantes, industrielles ou autres. Ce cours ne traite pas des mécanismes de
protection à base de cryptographie.
- Security basics: Security labels, Security mechanisms
- Sécurité des réseaux (Firewalls, proxies, Packet filtering, screening, Security architectures, Security
standards (IPSec etc))
- Attaques et menaces
- Sécurité des applications reparties (System security (e.g. Virtual private networks, Server side security,
Security policies, Authentication, Access control methods such as MAC, DAC, RBAC)
- Port security
- Sécurité des données (cryptage et signature)
- Gestion de la sécurité
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la
composition de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Ce cours présente les particularités des systèmes temps réel et les mécanismes utilisés pour réaliser
ce type de système. Il se base sur l’étude de la synchronisation des processus, la communication des
processus parallèles, les tâches Ada...
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
L'objectif de cette partie cours est de présenter les concepts du modèle de composants CORBA
(CCM) de l'Object Management Group (OMG). Ce modèle traduit l'évolution du standard CORBA
depuis un intergiciel à objets répartis vers un intergiciel pour composants répartis.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Méta-classe, Introspection, Réflexivité, Exécution Dynamique, Design-Pattern, Modèle-Vue-
Controleur, Java Avancé (Model, Renderer, etc.)
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : _02h00__ et celui du rattrapage : _02h_
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Prérequis indispensables (matière (s) ou connaissances requises pour suivre cette matière) :
Contenu de la matière
Méthodologies de gestion de projets et cas pratiques.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : 02h et celui du rattrapage : 02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la
composition de la matière) :
Objectifs de la matière :
L'objectif principal de cette unité est d'étudier un certain nombre d'algorithmes complexes, sur des
graphes en particulier, ainsi que d'approfondir la notion d'heuristique.
Prérequis indispensables
Connaissances générales d’algorithmique.
Contenu de la matière
Algorithmique des graphes
Graphes orientés, graphes non orientés, graphes valués. Parcours de graphes. Tri topologique d'un
graphe (orienté et non orienté). Connexité, recherche de composantes connexes, recherche de
composantes fortement connexes. Algorithmes de plus courts chemins. Flots de valeur maximale ou
de coût minimum.
Résolution heuristique de problèmes
Recherche guidée par heuristiques dans les graphes d'états et les graphes de sous-problèmes (A*,
AO*). Programmation des jeux (Min Max, Alpha-béta, SSS*). Modèles algorithmiques génériques
de satisfaction de contraintes (ACn, PCn). Quelques aspects des méthodes d'optimisation (Branch
and bound, algorithmes génétiques, recuit simulé)
Complexité.
Références
T.H. Cormen, C.E. Leiserson, R.L. Rivest. Introduction to Algorithms. Mc Graw Hill, 1992.
C. Froidevaux, M.C. Gaudel, M. Soria. Types de données et algorithmes. Ediscience, 1994.
Aho, Hopcroft, Ullman. Data structures and algorithms, Addison Wesley, 1983.
M. Gondran, Minoux, Graphes et algorithmes, Eyrolles, 1979
C. Berge. La théorie des graphes. Dunod, 1969.
C. Berge. Graphes et hypergraphes, Dunod, 1972
J. Pearl. Heuristique. Collection Intelligence Artificielle, Cepadues editions
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : 02h et celui du rattrapage : 02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon
la composition de la matière) :
Objectifs de la matière
Le module a pour but d'enseigner aux étudiants une approche de l'algorithmique qui consiste à
évaluer d'abord le type de problème, à choisir la meilleure manière de le formuler, et à s'attaquer au
problème avec les outils (c'est à dire les méthodes de résolution) les plus appropriés en fonction des
caractéristiques du problème.
Contenu de la matière
Références
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : 02h et celui du rattrapage : 02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la
composition de la matière) :
Objectifs de la matière :
Proposer une introduction aux techniques avancées de l'intelligence artificielle pour la
construction d'agents intelligents.
Contenu de la matière
Complément de la logique des prédicats
Introduction du calcul et de la théorie des types
Autres logiques : Multivaluées, Floues, modale et temporelle
Objectifs de la matière
Proposer une introduction aux techniques avancées de l'intelligence artificielle pour la construction
d'agents intelligents.
Contenu de la matière
Intelligence artificielle (généralités)
Apprentissage automatique
Agents intelligents
Traitement d’images
Les modèles de reconnaissance de formes
Indices de forme, signature d’une image
Propriétés et caractéristiques des formes
Le modèle statistique : Analyse de données : ACP et autres méthodes de caractérisation,
Centres mobiles et Algorithme des Nuées dynamiques
Le modèle structurel : Grammaires et automates
Réseaux de neurones
Domaines d’application de la reconnaissance de formes
Etude du cas
Références (ouvrages et polycopiés, sites internet, etc).
J.M. Alliot et T. Schiex. Intelligence Artificielle et Informatique Théorique, Cepadues, 1993.
Olivier Boissier, Modèles et architectures d'agents, chapitre 2 dans J.P. Briot et Yves Demazeau.
Principes et architecture des systèmes multi-agents, Hermes, 2001.
E. Davalo, P. Naîm. Des réseaux Neuronaux. Eyrolles, 1989.
J.P. Delahaye. Outils logiques pour l'Intelligence Artificielle. Eyrolles, 1986.
J.P. Haton et als. Le raisonnement en intelligence artificielle. InterEditions, 1991.
L. Iturrioz et Al. Modèles logiques et systèmes d'intelligence artificielle. Duchaussoy (eds).
Hermes, 1990.
Léa Sombé. Raisonnements sur des informations incomplètes en intelligence artificielle. TeknÈa,
1989.
J-P. Nadal. Réseaux de neurones : De la physique à la psychologie. Armand Colin 91.
Objectifs de la matière
Cette option a pour but d'initier les étudiants au méthodes et techniques utilisées pour le traitement
automatique de la langue naturelle en vue d'une poursuite d'étude dans un DEA contenant cette
discipline ou d'une spécialisation dans les domaines de la recherche documentaire ou de l'indexation
automatique
Contenu de la matière
Cette matière comprend deux parties : la première aborde les méthodes symboliques, la deuxième
les méthodes stochastiques, toutes deux spécifiques au traitement de la langue.
Méthodes symboliques
Introduction : notions de linguistique générale et applications au traitement automatique ; niveaux
de traitement linguistiques : pré-syntaxe, analyse morphologique, analyse syntaxique et syntaxico-
sémantique. Les algorithmes et méthodes symboliques prenant en compte la spécificité du matériau
linguistique sont introduits et détaillés pour chaque niveau de traitement L'accent sera mis sur les
techniques symboliques robustes : l'utilisation des automates finis pour la pré-syntaxe et l'analyse
morphologique, les analyseurs tabulaires pour la syntaxe. Les résultats de ces techniques seront
examinés et commentés.
Méthodes statistiques
Eléments de la théorie des probabilités. Modèles statistiques de la langue : introduction, mesure
d'un modèle.
Chaînes de Markov : modèles n-gramme : modèles bigramme et trigramme ; modèle de Markov
Caché (Hidden
Markov Model - HMM) ; quelques applications ; algorithmes pour les HMMs. Grammaires
stochastiques : Définition; Implémentation
Références (ouvrages et polycopiés, sites internet, etc).
K. Bashung C. Gardent Techniques d'Analyse et de Generation Adosa 1996.
E. Charniak. Statistical Language Learning. MIT, London, 1993.
Algorithmes du texte. Maxime Crochemore, Christophe Hancard, Thierry Lecroq, Vuibert, 2001.
C. Fuchs. Linguistique et Traitements Automatiques des Langues. Hachette Supérieur, 1993.
C. Manning, H. Schutze : Foundations of Statistical Natural Language Processing, MIT Press, 1999.
Richard Srproat, Morphology et Computation, MIT, 1992.
E. Wherli Analyse Syntaxique des Langues Naturelles Masson 1997
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : 02h et celui du rattrapage : 02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la
composition de la matière) :
Objectifs de la matière
Ce cours présente les aspects formels de la représentation de l'information géographique, du point
de vue des bases de données (BD) Le caractère spécifique - spatial et temporel - de ce type de
connaissance : géométrie , topologie, … Ceci nécessite des outils spécifiques en BD (modèle
conceptuel topologique) qui seront développés dans le cours et illustrés sur plusieurs applications
réelles notamment en cartographie et en environnement
Contenu de la matière
La place de l'information géographique (IG) dans le système d'information en général : cartes,
images, statistiques, sondages, ...
- Les modèles de données vecteur et rasteur, le modèle conceptuel topologique,
- La qualité de l'information géographique,
- Représentation et usage des contraintes (relations temporelles et spatiales),
- Manipulations d'objets spatiaux, outils d'analyse spatiale, applications en études urbaines et
environnementales.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : 02h et celui du rattrapage : 02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la
composition de la matière) :
Objectifs de la matière
Montrer les apports de la théorie de la décision et les techniques sous-jacentes face aux problèmes
peu ou pas structurés
Contenu de la matière
Théorie de la décision
Systèmes interactifs d'aide à la décision.
Systèmes experts de gestion.
Enseignant (s) responsable (s) de la matière : Dr. BENBERNOU Salima, Université de Lyon 1
Volume horaire hebdomadaire : cours : 01h30 TD: h TP : 00h
Nombre d’heures de travail personnel par semaine : 03h
Nombre de crédits : 04
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : 02h et celui du rattrapage : 02h
2 / Contrôles continus
Objectifs de la matière
Maîtriser les concepts et les outils déployés sur le web statique afin de le rendre sémantique
L'utilisation de connaissances, ou ontologies, est de plus en plus importante dans les systèmes
d’information (SI). Citons notamment l’usage d’ontologies pour la recherche d'information, pour
l’intégration d’information dans différentes sources de données distribuées sur le web ainsi que
dans la réutilisation logicielle. Les ontologies (i) fournissent des ressources conceptuelles pour
formuler et expliciter un savoir, (ii) constituent un cadre partagé par les différents acteurs et enfin,
(iii) elles représentent le sens de différents contenus échangés dans les SI. Après avoir défini l’objet
« ontologie » et son intérêt, différentes facettes relatives à l’ingénierie ontologique seront introduite,
notamment les principaux langages existants. Des exemples d’ontologies seront présentés et le web
sémantique sera introduit.
Contenu de la matière
Langages pour le web statique
Technique de la représentation de la sémantique dans le web
Les Ontologies (Définition et intérêt de l'objet "ontologie",
- introduction à l'ingénierie ontologique
- cycle de vie d'une ontologie
- les divers langages de formalisation existants
- exemples d'ontologies existantes ou thesaurus intéressants,
- introduction au cas particulier du Web sémantique
Cas d’étude
Références (ouvrages et polycopiés, sites internet, etc).
Objectifs de la matière
Références
F. Benhamou & A. Colmerauer eds. Constraint Logic Programming, Selected research.
The MIT Press, 1993.
A. Podelski ed. Constraint Programming, Basics and trends. LNCS. Springer. 1994
J.M. Alliot, T. Schiex. Intelligence artificielle et informatique thé[Link] Editions,
1993.
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : 02h et celui du rattrapage : 02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon la composition
de la matière) :
Modes d’évaluation :
1 / Durée de l’examen de fin de semestre : 02h et celui du rattrapage : 02h
2 / Contrôles continus (préciser la pondération de chaque élément du tableau suivant selon
la composition de la matière) :
Objectifs de la matière
Contenu de la matière
Objectifs de la matière
Les systèmes multi-agents et la technologie agent qui en résulte sont issues de l’intelligence
artificielle distribuée (IAD). Ce cours a pour objet d’introduire la notion d’agent logiciel avec ses
diverses problématiques, théories et modèles, et méthodologies. On s’intéressera plus
particulièrement aux agents informationnels (agents intelligents et collaboratifs) dont l’étude
constitue une branche de recherche spécifique de l’IAD. Ces agents informationnels, grâce à leur
propriétés d’autonomie et de sociabilité, permettent tout d’abord l’élaboration de modèles
exécutables, voire simulables, pouvant être utilisés dans le développement de systèmes interactifs
d’aide à la décision pour la résolution de problèmes complexes par simulation. Ils permettent aussi
de traiter des problèmes plus spécifiques à la conception et l’implémentation de systèmes
d’information, problèmes notamment liés à la coopération, à l’intégration de sources d’information
(médiation à base d’agent), la recherche d’information (recherche coopérative sur le web) et la
réutilisation (composants agentifiés) qui seront plus spécifiquement abordé dans d’autres cours.
Contenu de la matière
Typologie des agents logiciels : agents collaboratifs, interface, mobiles, réactifs, hybrides.
- Théories et modèles relatives aux Agents collaboratifs intelligents (agent informationnels) :
raisonnements sur les connaissances et les croyances, systèmes intentionnel, les mondes possibles
et logiques modales , la théorie de l’intention de Cohen et Levesque, le modèle BDI,
- Agents et ontologies
- Communication dans les systèmes multi-agents : actes du langage, performatives, langages et
standards de communication entre agents (KQML, FIPA-ACL, ...), conversation, protocoles et
langages de coordination,…
- Coopération et négociation entre agents : buts, plans et utilité, résolutions de conflits, protocoles
de négociation,
- Simulation à base d’agents,
- Aspects méthodologiques pour la conception de SMA.
Objectifs de la matière
Depuis quelques années les SI subissent une profonde mutation principalement liée à la
prolifération et la diversité des ressources disponibles sur le web. L’information est aujourd’hui
omniprésente et distribuée dans une multitude de sources de données autonomes et hétérogènes
(données relationnelles, fichiers structurés, documents XML, données multimédia, etc.). Pour
faciliter l’accès et le partage de ces données (ressources), il est nécessaire de reconsidérer les SI en
favorisant au mieux une intégration « transparente » de l’information mise en jeu. Dans une
première partie ce cours traite des documents électroniques distribués sur le web dont la gestion et
l'interrogation nécessite des modèles, des langages et des outils spécifiques. On s'intéresse tout
d’abord à la norme XML et ses différents langages associés, puis sont abordées l'interrogation et la
manipulation de tels documents ainsi que leur stockage dans des bases de données. Dans une
seconde partie ons’intéresse à l’intégration de données issues de sources d’information hétérogènes.
Sont tout d’abord présentés les différents modèles et approches de cette intégration, l’intérêt du
langage XML pour cette intégration et présente des approches différentes de l’intégration
(Middleware, à base d’agents …).
Contenu de la matière
XML et ses principales composantes : XLink, XPointer, XSL, DOM, RDF, ...
- Langages d'interrogation et de transformation : principaux opérateurs, panorama des principaux
langages,
- Documents et bases de données : "repositories XML",
- Modèles et approches pour l'intégration de données : rappels sur le modèle objet, modèles de
données semi-structurées, approches d'intégration (globale, locale)
- Apport de XML pour l'intégration,
- Web sémantique, Web services
- Systèmes d'intégration : Middleware (CORBA, …), systèmes à base d’agents pour l'intégration,
médiation, Workflow, …
Salle –Machine 01
Intitulé du laboratoire :
Capacité en étudiants : 30
Capacité en étudiants : 15