Blog

Présentation de la mention

Вид материала

Документы

Содержание

Responsable : Jean-Gabriel GANASCIA

Подобный материал:

A few slides from the Presentation, 31.45kb.
На русском и английском языках, 160.31kb.
Стандарт університету, 259.5kb.
International Communist Seminar (Brussels) Presentation Международный Коммунистический, 29.1kb.

1 ... 68 69 70 71 72 73 74 75 ... 133

Acronyme : liber	Spécialité : IAD	6 ECTS	Niveau : 400	Semestre : S1
Titre : Logique pour l'intelligence artificielle, les bases de données et la recherche opérationnelle
Responsable : Jean-Gabriel GANASCIA		Répartition hebdomadaire ou semestrielle
		(CM: 2h00)(TD: 2h00)(TME: 2h00)
Contenu Ce module donnera aux étudiants de master informatique les fondements logiques nécessaires pour aborder la modélisation du raisonnement, la représentation des connaissance, la formalisation de problèmes et la spécification de programmes, toutes connaissances indispensables en intelligence artificielle, en bases de données, en recherche opérationnelle et en algorithmique. De plus, il initiera les étudiants à la programmation logique et au langage PROLOG.
Expérience du responsable dans le domaine de l’UE Jean-Gabriel Ganascia a obtenu une thèse docteur ingénieur sur les systèmes à base de connaissances en 1982, puis une thèse d'état en 1987 sur l’apprentissage symbolique. Depuis 1988, il est professeur à l'université Paris VI où il enseigne l’intelligence artificielle et l’apprentissage symbolique. Il a dirigé pendant 12 ans le DEA IARFA. Plus de 25 docteurs ont effectué leurs travaux de recherche sous sa direction. Il est l’auteur de plus de 250 articles publiés dans les revues, des chapitres de livres ou des actes de colloques scientifiques.
Réalisations du responsable dans le domaine de l’UE AGAPE: apprentissage par appariement structurel d'exemples décrits en logique du premier ordre. CHARADE: induction automatique de systèmes de règles d'association à partir d'exemples et de connaissances additionnelles. Littération: extraction de motifs syntaxiques récurrents à partir de textes en langue naturelle. Application à l'analyse stylistique. MEDITE: aligneur unilingue de textes. Application à la génétique textuelle. RECIT: cartographie du contenu de livres à l'aide de la notion d'îles de mémoire.

Acronyme : log	Spécialité : STL	6 ECTS	Niveau : 400	Semestre : S1
Titre : Logique
Responsable : Irène GUESSARIAN		Répartition hebdomadaire ou semestrielle
		(CM: 2h00)(TD: 2h00)(TME: 2h00)
Contenu En terme de connaissance, ce cours vise à sensibiliser les futurs ingénieurs et chercheurs en science et technologie du logiciel à la puissance, mais aussi aux limites de ce que l'on peut obtenir par la mécanisation du calcul ou du raisonnement, en terme de savoir faire, nos étudiants auront acquis la maîtrise des outils théoriques de base de la spécification et modélisation scientifique des programmes ainsi que l'expérience de leur mise en oeuvre technologique soit par utilisation d'outils logiciels existants soit par implantation de quelques algorithmes fondamentaux du domaine.
Expérience du responsable dans le domaine de l’UE Professeur à Paris6 depuis 1989 . Mes thèmes de recherches sont la sémantique, la vérification et les bases de données déductives. Mes enseignements (passés et présents) : sémantique, algorithmique, programmation, systèmes synchrones, langages de programmation, bases de données, Logique et récursivité, structures discrètes.
Réalisations du responsable dans le domaine de l’UE Mathématiques pour l'informatiques (co-auteur André Arnold) Inter-Editions (2005) Algebraic Semantics, LNCS no 99, (1981)