Titre : Logiques classiques, non classiques et programmation logique
Responsable : Monique BARON
Répartition hebdomadaire ou semestrielle
(CM: 20h)(TD/TME 10h)
Contenu
L'objectif général est de consolider et de compléter la connaissance des bases logiques de la modélisation de connaissances et de raisonnements en IA, ainsi que de la programmation logique, en liaison avec des problèmes de formalisation en IA et des applications. Les compléments consistent en un aperçu de logiques non classiques, d'une part, et en une approche industrielle de la programmation logique, d'autre part.
Expérience du responsable dans le domaine de l’UE
MC (HC), j'enseigne l'IA à Paris 6 depuis 1984, en maîtrise, DEA et DESS, notamment la résolution de problèmes, la logique et Prolog, la représentation des connaissances et la modélisation de raisonnements (avec des logiques non classiques). J'ai développé une partie de ces enseignements en lien avec mes activités de recherche dans le domaine EIAO-EIAH, où j'ai notamment participé à l'animation scientifique du groupe EIAO du PRC-IA et à l'organisation des "Journées EIAO" (de 1989 à 1997). Responsable pédagogique du DESS IA (1997-2004), puis des parcours pro. de la spécialité IAD.
Réalisations du responsable dans le domaine de l’UE
Baron M., Vivet M., Modélisations de connaissances pour des environnements interactifs d'apprentissage avec ordinateur, Actes des 5èmes Journées Nationales du PRC-GDR Intelligence Artificielle (CNRS-MRT), Nancy, Editions Teknéa, 1995, 239-252.
Balacheff N., Baron M., Desmoulins C., Grandbastien M. et Vivet M., Conception d'environnements interactifs d'apprentissage avec ordinateur - Tendances et perspectives, 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle, Grenoble, 1997, Hermès, 315-337
Baron M., Introduction, N° spécial Modélisation de l’apprenant, Sciences et Techniques éducatives, Vol.5(2), Hermès, juin 1998, 117-122.
Projet RNTL ACEDU (2002-2005), co-responsable du lot "Ingénierie des connaissances et parcours pédagogiques" (participation à la conception de logiciels "métiers").
B. Toledano, M. Baron et H. Giroire (2005) "OBGeXE: An Ontology-Based Metadata Editor for Qualification of Learning Objects". In 17th CAISE Workshops (SW-WL'05), Vol 1, pp. 661--672, FEUP, Porto, Portugal.
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.
