Enseignement Alain Mille

Enseignement 2007-2008

On peut encore voir la page d'enseignement 2006-2007  (qui elle-même permet d'atteindre 2005-2006, etc...)





MIAGE Jour M1

Mardi 25 mars 2008 13h30-16h45 (Cours)

Le Raisonnement à Partir de Cas

Une formation en ligne sur le RàPC (Alain Mille)

Mercredi 26 mars 2008 13h30-17h30 (2 groupes)

TP de raisonnement à partir de cas

Télécharger REMIND (si nécessaire)

Master  Informatique M1

Techniques de l'intelligence artificielle (Description de l'UE MIF24)


31/3 7/04 14/04 21/04 28/04 5/05 19/05 26/05 2/06 11/06
8h15-9h45 RB1 RAPC1 RAPC2 RB3 RB4 Loupé... RAPC3 (TP) RAPC4 (TP) RAPC5
10h-11h30 RB2 SMA1 SMA2 SMA3 SMA4 RB5 SMA5 SMA6/SMA7 (->13h15) RAPC6 EXAM
11h45-15h45 RB6
16h-17h30 RB7
Cette année, 3 techniques sont abordées:

- SMA : Systèmes Multiagents (Nadia  Kabachi)
Ressources: Etude comparative de plate-formes SMA, Support de cours SMA, Site avec ressources pédagogiques
- RB : Réseaux Bayésiens (Alexandre Ausssem)
Ressources: Support de cours
- RAPC : Raisonnement à partir de Cas (Alain Mille)
Ressources: Tutoriel (Anglais)
Raisonnement  à Partir de l'Expérience Tracée
SUJET du TP noté du 26 mai 2008 (PDF)

L'examen du 11 juin à 10h est sans document.

Master Recherche Troyes (RACOR)

Du raisonnement à partir de cas au raisonnement à partir d'expérience tracée
Expérience tracée : genèse, théorie, premières applications

Il s'agit de transparents correspondant à des conférences invitées sur le sujet.

Master Recherche : Spécialité CODE (Connaissances et Décision)

L'évaluation de ce module se fait d'une part sur un travail en binôme (micro-cours sur un sujet proposé par les enseignants, donnant lieu à un rapport et une présentation orale) et un examen d'1h30 portant sur l'ensemble du module. Le poids de chaque contrôle est 0,5.

Ingénierie des systèmes d'intelligence artificielle (Guy Caplat, Alain Mille, Yannick Prié, Salima Hassas)

Ingénierie des connaissances (Guy Caplat, Alain Mille)

Session 1 (Salle TD 12 Bat Nautibus, RdC, Université Lyon1 ) : [Lundi 8 octobre 2007 16h-18h] Connaissance, Système à Base de Connaissances (SBC), Construction d'un SBC Guy Caplat + Alain Mille

Documentation : Connaissance ?, Résoudre un problème, Principes Système Expert

ou

  Conception d'un SBC (pdf), Résolution de problème (pdf), Définition de connaissance (pdf)

Le site web où trouver l'environnement Sherlock (site de Guy Caplat à l'INSA)

Session 2 (Salle TD 12 Bat Nautibus, RdC, Université Lyon1 ) : [Lundi 15 octobre 2007 16h-18h] Ingénierie de la connaissance Guy Caplat + Alain Mille

Documentation

Introduction générale

Ingénierie de la connaissance : genèse de l'environnement PROTEGE

Un exemple concret (industriel) d'ingénierie de la connaissance

Un support du Knowledge Media Institute  http://kmi.open.ac.uk/

Les supports CommonKads (1, 2, 3, 4, 5, 6, 7, 8, 9, 10)

Session 3 (Salle TD 12 Bat Nautibus, RdC, Université Lyon1 ) : [Lundi 22 octobre 2007 16h-18h] Mise en situation d'ingénierie de la connaissance avec l'outil Sherlok Guy Caplat

Cette session permettra de présenter quelques primitives de résolution de problèmes et sera l'occasion de prendre en main l'outil Sherlock (pensez à apporter votre ordinateur portable et d'y installer Sherlok disponible sur le site de Guy Caplat, voir plus  haut).

Session 4 (Salle TD 12 Bat Nautibus, RdC, Université Lyon1 ) : [Lundi 5 novembre 2007 16h-18h] Mise en situation d'ingénierie de la connaissance avec l'outil Sherlok (2) Guy Caplat

Présentation d'une méthode de conception de SBC (inspiré des méthodes CommonKads) et mise en pratique sur Sherlock (SBC pour le diagnostic)

Session 5 (Salle TD 12 Bat Nautibus, RdC, Université Lyon1 ) : [Lundi  12 novembre 2007 16h-18h] Mise en situation d'ingénierie de la connaissance avec l'outil Sherlok (3) Guy Caplat 


Session 6 (Salle TD 12 Bat Nautibus, RdC, Université Lyon1 ) : [Lundi 19 novembre 2007 16h-18h] Mise en situation d'ingénierie de la connaissance avec l'outil Sherlok (4) Guy Caplat  Présentation du travail réalisé par les étudiants

Session 7 (Salle TD 12 Bat Nautibus, RdC, Université Lyon1 ) : [Lundi 26 novembre 2007 après-midi, horaire à confirmer] Conférence invitée 2 sur la Gestion des Connaissances en entreprise : Patrick Michels, PDG Knowings

Presentation des sujets d'étude (Salle TD 12 Bat Nautibus, RdC, Université Lyon1 ) : date à préciser (avant le 15 décembre)

Ingénierie des ontologies (Yannick Prié)

Ingénierie des SMA (Salima Hassas)

Sujets d'étude pour le module Ingénierie des systèmes d'intelligence artificielle

Travail à réaliser : Un étude d'un sujet à partir de pointeurs bibliographiques initiaux fournis par les enseignants du module ; compléter la bibliographie par une recherche personnelle sur le sujet proposé ; rédiger un rapport de 6 pages au maximum, donnant l'essentiel de la situation du sujet (état des connaissances actuelles, les recherches en cours) sous la forme d'un rapport bibliographique ; réaliser un "micro-cours sur le sujet" qui fera l'objet d'une présentation orale.

Organisation du travail : le travail se fait en binôme ou seul. Le choix des sujets d'étude doit être fait avant le 26 octobre en le signalant par email à Alain Mille. Les arbitrages seront faits le 29 octobre. Le travail sera présenté LE 10 DECEMBRE 2007 DE 8h à 13h (jury : Salima Hassas, Guy Caplat)

Une deuxième session de présentation est prévue le mardi 18 décembre de 8h à 10h (salle TD1) (jury : Yannick Prié, Alain Mille) pour tous ceux qui n'ont pas pu passer le 10.
Sujet Etudiant 1 Etudiant2
L'auto-apprentissage dans les systèmes experts (Guy Caplat)  Un point de départ (très) théorique (proposé par A. Mille) Jean-Baptiste Lennart Marc Mouret
Associer Réseaux Bayesiens et Data Mining pour découvrir et mettre à jour des connaissances Un article récent point de départ (A Mille) Quentin Bonnard Stan Johann
Inductive Logic Programming (Alain Mille) Matthieu Le Berre Ghanem Ben Saad
Methods and tools for corporate knowledge management (Alain Mille) Grenet Tian Zhang
Ontologies et Bases de Données (Yannick Prié) Amin Cherbal Lemya Settouti
Ontologies de haut niveau (SUMO et DOLCE) (Yannick Prié) http://www.ontologyportal.org/ et http://www.loa-cnr.it/DOLCE.html Ana Lekira Benjamin Smati
Méthodes de construction d'ontologies à partir de textes (Yannick Prié) -> un article papier disponible auprès de lui.

Web sémantique et règles (Yannick Prié) Yiji Wang Jaeger
voir  http://www710.univ-lyon1.fr/~hassas/ArticlesSTIC/ArticlesSMA.html
Urban Traffic Control with Co-Fields [télécharger]
Marco Camurri, Marco Mamei, and Franco Zambonell

Agents Swarming in Semantic Spaces to Corroborate Hypotheses [télécharger]
Peter Weinstein, H. Van Parunak, Paul Chiusano, Sven Brueckner		 Iza Marfisi David Parsons
Engineering Self-Organising Emergent Systems with Simulation-based Scientific Analysis [télécharger]
Tom De Wolf, Tom Holvoet, and Giovanni Samaey		 Raed Wafi Anissa Abrougui
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS [télécharger]
Alessandro Ricci, Mirko Viroli, and Andrea Omicini
Collaborative Self-Organization by Devices Providing Document Services - A Multi-Agent Perspective [télécharger] Mohamed Amin Sakka Omar Sakka


Master Informatique M1 

Bases de l'intelligence artificielle (Description de l'UE MIF14)

Animateurs : Nadia Kabachi, Carole Knibbe, Marie Lefevre, Alain Mille, Bertrand Richard (nom.prenom@liris.cnrs.fr et http://liris.cnrs.fr/nom.prenom)

 Planning du semestre : [ICI]

Session 1 (Themis 10) : [Mercredi  19 septembre 16h-17h30] Introduction aux techniques de l'intelligence artificielle (Alain Mille) [PPT][PDF]


Un QCM très court (test d'utilisabilité du générateur de QCM) sur cette session [ICI]

Documentation alternative :

Livret du LAAS Toulouse : "L'intelligence artificielle ? Mais enfin, de quoi s'agit-il ?"[PDF]
Une introduction à l'IA par Joel Quinqueton (Montpellier) qui ressemble pas mal à la mienne [PDF]
Une introduction en anglais, de Sergion Tessaris (Bolzano, Italie) [PDF]
Un cours assez avancé réalisé par Jean-Marc Fouet pour un cours de base en recherche (cours JM Fouet)
Une brève histoire de l'Intelligence Artificielle

Session 2 (Themis 10 !) : [Mercredi  26 septembre 16h-17h30] Résoudre des problèmes en IA (Alain Mille) [PDF]

Documentation alternative : Le site de Fabien Torre (notes de cours) [Université Charles De Gaulle à Lille]
Problem solving in Prolog (Bratko)
Une communication de Dominique Pastre (Professeur Paris5) sur des casse-têtes et leur résolution. Cette communication est dédiée à Jean-Marc Fouet, collègue qui m'a recruté en 2000 et qui influence toujours notre manière d'enseigner.
(la page citée dans cette communication et qui est toujours accessible). Jean-Marc Fouet est décédé accidentellement en 2000.


Session 3 (Themis 10) : [Mercredi 3 octobre 16h-17h30] Calcul logique : partie 1 [PDF]  Support emprunté à Dominique Pastre de Paris 5.

Je ferai ce cours au tableau noir. Le polycopié associé sera distribué en séance. Inutile de l'imprimer auparavant.

Session 4 (Themis 10) : [Mercredi 10 octobre 16h-16h30] Calcul logique : partie 2 [même support et même méthode]

Documentation alternative :
 Support de cours rédigé par mes soins ... il a quelques années : sorte de manuel de survie pour comprendre la logique des propositions et la logique des prédicats
Sessions préparées pour la e-miage par Marie-Pierre Gleizes (versions PDF de cours web) :
Logique des propositions : logique des propositions, preuves en logique des propositions, résolution en logique des propositions
Logique des prédicats: représentation de connaissance avec des prédicats, logique des prédicats, exemples et syntaxes des prédicats, algorithme d'unification en logique des prédicats , méthode de Herbrand pour les prédicats

Diapos préparées par Narendra JUSSIEN à partir de son ouvrage  Logique(s), langages formels et complexité pour l'informatique (attention, ce fichier est "lourd" (5,2 MO)) : Transparents cours de logique
Une version courte du cours de Narendra JUSSIEN adaptée par Nadia KABACHI : Transparents de logique pour la Miage

Session 5 (Themis 10) : [Mercredi 17 octobre 16h-17h30] Systèmes à base de connaissance (Alain Mille) [support de cours .pdf]

Session 6 (Themis 10) : [Mercredi 24 octobre 16h-17h30] Ingénierie des connaissances (Alain Mille) [support de cours .pdf]

Session 7 (Themis 10) : [Mercredi 31 octobre 16h-17h30] Prolog 1 (Nadia Kabachi)

Session 8 (Themis 10) : [Mercredi 7 novembre 16h-17h30] Prolog 2 (Nadia Kabachi)

Session 9(Themis 10) : [Mercredi 21 novembre 16h-17h30] Prolog 3 (Nadia Kabachi) suite au report par les étudiants du cours du 14 :-)

TRAVAUX DIRIGES MIF14

TD 1 : Représentation et résolution de problème en IA (1) (Nadia Kabachi, Alain Mille, Marie Lefèvre) 

[Lundi  1er octobre 10h-11h30 (G3) TD3 (ML)    et Mercredi 3 octobre 8h15-G2-TD10 (AM) + G1-TD11 (NK) Nautibus]    

Ce TD se déroule en 3 temps de 30 minutes. Le document ci-joint donne le sujet avec les 3 tiers-temps prévus. [sujet en PDF] (même sujet que l'année 2006-2007)

TD 2 : Représentation et résolution de problème en IA (2) (Nadia Kabachi, Alain Mille, Marie Lefèvre) 

[Lundi  8 octobre 10h-11h30 (G3) TD3 (AM)    et Mercredi 10 octobre 8h15-G2-TD10 (ML) + G1-TD11 (NK) Nautibus]    

Ce TD se déroule en 3 temps de 30 minutes. Le document ci-joint donne le sujet avec les 3 tiers-temps prévus. [sujet en PDF] (même sujet que l'année 2006-2007)

TD 3 : Logique (1) (Nadia Kabachi, Alain Mille, Marie Lefèvre) 

[Lundi  15 octobre 10h-11h30 (G3) TD3 (ML)    et Mercredi 17 octobre 8h15-G2-TD10 (ML) + G1-TD11 (AM) Nautibus]    SUJET


TD 4 : Logique (2) (Nadia Kabachi, Alain Mille, Marie Lefèvre) 

[Lundi  22 octobre 10h-11h30 (G3) TD3 (ML)    et Mercredi 24 octobre 8h15-G2-TD10 (NK) + G1-TD11 (AM) Nautibus]    SUJET

TD 5 : Ingénierie des connaissances (Alain Mille) 

[Lundi  29 octobre 10h-11h30 (G3) TD3 (AM)    et Mercredi 31 octobre 8h15-G2+G1 (AM) Nautibus]    SUJET  et un document de synthèse sur ce qui a été fait pour ce système.

TD 6 : Prolog  (Nadia Kabachi, Marie Lefèvre, Alain Mille) 

[Lundi  5 novembre 10h-11h30 (G3) TD3 (ML)    et Mercredi 7 novembre 8h15-G2-TD10 (ML) + G1-TD11 (AM) Nautibus] SUJET

Travaux pratiques MIF14
Les lundi, G3 10h-11h30, G2 et G1 14h15-15h45
Nadia Kabachi (G3-2, salle TP5 ; G2-1, salle TP1), Carole Knibbe (G3-1, salle TP4 ; G2-2, salle TP2), Alain Mille (G1-2, salle TP4), Bertrand Richard (G1-1, salle TP3)