Enseignement Alain Mille

Enseignement 2006-2007

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


MIAGE Jour M1

Mardi 20 mars 2007 14h-17h15 (Cours)

Le Raisonnement à Partir de Cas

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

Mercredi 28 mars 2007 14h-18h (2 groupes)

TP de raisonnement à partir de cas

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


Master Recherche Sciences Cognitives (Lyon2)

Vendredi 24 novembre (14h-17h)

Le Raisonnement à Partir de Cas

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

Vendredi 22 décembre (14h-15h30)

Au delà des modèles cognitifs classiques pour la facilitation des tâches médiées par l'informatique (support utilisé)

Master Recherche Raccor (Troyes)

Vendredi 17 novembre (9h-13h)

Exposé 1 : Du Raisonnement à Partir de Cas au Raisonnement à partir de l'expérience tracée (PPT en anglais) PDF (3 diapos/page)

Exposé 2 : Une théorie de la trace informatique pour faciliter l'adaptation dans la confrontation logique d'utilisation/logique de conception (PPT en français) PDF (3 diapos/page) 


Master Informatique M1 

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

Animateurs : Alain Mille, Frank Nack, Nadia Kabachi, Bertrand Richard (nom.prenom@liris.cnrs.fr et http://liris.cnrs.fr/nom.prenom)

 Planning du semestre : [ICI]

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

Documentation :

Livret du LAAS Toulouse : "L'intelligence artificielle ? Mais enfin, de quoi s'agit-il ?"[PDF]
Un cours assez avancé réalisé par Jean-Marc Fouet pour un cours de base en recherche (cours JM Fouet)

Session 2 (Amphi Grignard) : [Mercredi 27 septembre 16h-17h30] Principes, méthode et algorithmes pour la Résolution de Problème (AlainMille)

Ce cours n'utilisera pas de supports audiovisuels. Il utilisera le tableau noir ! Support du cours [PDF]
Une page sur le sujet par Fabien Torre (présentation simple et claire) (en français)
Un site tutorial sur l'algorithme A*  appliqué à la recherche de chemin avec obstacles (en anglais)
Un autre....  http://www.geocities.com/jheyesjones/astar.html
Un autre proposé par Thibaud Domont (un élève de la promotion en cours!) http://www.spritelab.dk/beta/Astar.html
Un excellent cours sur l'approche par résolution de contraintes [sur la page de Christine Solnon]
Une illustration de l'algorithme A* par Olivier Nocent (MCF à l'université de Reims). Illustration (ppt)

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

[Lundi  2 octobre 10h-11h30 (G3,G4) TD10 (NK) + TD 11 Nautibus (FN)   et Mercredi 4 octobre 8h15-9h45 (G1 et G2) TD9 (AM) + TD 3 (FN) 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]

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

[Lundi  9 octobre 10h-11h30 (G3,G4) TD10 (NK) + TD 11 Nautibus (FN)   et Mercredi 11 octobre 8h15-9h45 (G1 et G2) TD9 (AM) + TD 3 (FN) 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]

Session 3 (Amphi Grignard): Mercredi 4 octobre 16h-17h30 Rappels sur la logique des propositions et la logique des prédicats (1)

Session 4 (Amphi Grignard): Jeudi 5 octobre 8h15-9h45 Rappels sur la logique des propositions et la logique des prédicats (2)

J'utiliserai une sélection des transparents de Narendra Jussien (voir plus loin) avec l'idée de bien préciser les propriétés intéressantes de la logique pour faire de l'inférence automatique.
Le vocabulaire, les mécanismes de base et la manière de qualifier un système (correction, complétude en particulier) seront repris. Il est possible qu'il y ait des "redites" pour ceux qui ont suivi le cours de L3 informatique... Nous en discuterons ensemble pour le bilan. C'est la première année où ce cours est repris par quelqu'un d'autre que Luisa Itturioz et donc, il faut le considérer comme "under construction"...

Documentation: 

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

TD 3 : Logique (1) Lundi 16 octobre et Mercredi 18 octobre (Nadia Kabachi, Alain Mille, Frank Nack)  Sujet

TD 4 : Logique (2) Lundi 23 octobre et Mercredi 25 octobre (Nadia Kabachi, Alain Mille, Frank Nack) Sujet

Session 5 (Amphi Grignard): Mercredi 11 octobre 16h-17h30 Prolog (1)

Session 6 (Amphi Grignard): Mercredi 25 octobre 16h-17h30 Prolog (2)

Session 7 (Amphi Grignard): Mercredi  8 novembre 16h-17h30 Prolog(3) [annoncé par erreur comme SBC...]

TD 5 : Prolog  Lundi 30 octobre et Mercredi 8 novembre (Nadia Kabachi, Frank Nack) Sujet

TRAVAUX PRATIQUES

Session 8 (Amphi Grignard): Mercredi 15 novembre 16h-17h30  Systèmes à base de connaissances (1) [Support PDF]

TD 6 : Systèmes à Base de Connaissances  Lundi 6 Novembre et Mercredi 22 novembre (Alain Mille) Sujet

Session 9 (Amphi Grignard): Mercredi 22 novembre 16h-17h30  Ingénierie de la connaissance (2) [Support PDF]

Master Informatique M2 Recherche

Filière Connaissance et Raisonnement **