Enseignement Master Informatique M1 Module Bases de l'IA (Animateur : Alain Mille) 2004-2005

 (description du module, planning prévisionnel)

Organisation détaillée, supports de cours et liens utiles

ATTENTION, organisation particulière des TP le VENDREDI 26 NOVEMBRE
EN SALLE TP3 / Le groupe de 8h15 qui avait Alain Mille reste à 8h15, le groupe de 8h15 qui avait Nadia Kabachi est à 10h
EN SALLE TD5, le groupe de 10h qui avait Nadia Kabachi est à 14h15 et le groupe de 10h qui avait Luisa Itturioz est à 16h

Session 1 : Introduction aux techniques de l'intelligence artificielle (Alain Mille) [PPT][PDF]

Cours (Alain Mille)

[Vendredi 24 septembre 14h15-15h45 Amphithéâtre JUSSIEU]

Documentation : Livret du LAAS Toulouse : "L'intelligence artificielle ? Mais enfin, de quoi s'agit-il ?"[PDF]
Les transparents réalisés par Nathalie Guin pour les étudiants en maîtrise 2003-2004 (sur la page de Nathalie)
Un cours assez avancé réalisé par Jean-Marc Fouet pour un cours de base en recherche (cours JM Fouet)

Session 2 : Résolution de problèmes : modélisation et algorithmes (Alain Mille, Luisa Iturrioz))

Cours (Alain Mille)

[Jeudi 30 septembre 8h15-9h45 Amphitéâtre JUSSIEU]

Ce cours n'utilisera pas de supports audiovisuels. Il utilisera le tableau noir ! Support du cours [PDF]

Documentation accessible en ligne : les supports préparés par Nathalie Guin en 2003-2004 (sur la page de Nathalie)
Un site tutorial sur l'algorithme A*  appliqué à la recherche de chemin avec obstacles (en anglais)
Un site de test de A* sur un problème de recherche de chemin avec obstacles http://www.ccg.leeds.ac.uk/james/aStar/
Un excellent cours sur l'approche par résolution de contraintes [sur la page de Christine Solnon]

TD 1 : Représentation et résolution de problème en IA (1) (Luisa Iturrioz et Alain Mille)

[Jeudi 7 octobre 8h15-9h45 et Vendredi 8 octobre 16h-17h30, Salles TD Bâtiment Grignard et Bâtiment Lippman]    

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) (Luisa Iturrioz et Alain Mille)

[Jeudi 14 octobre 8h15-9h45 et Vendredi 15 octobre 16h-17h30, Salles TD Bâtiment Grignard et Bâtiment Lippman]

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 Méthodes de calcul en logique pour l'IA (Luisa Iturrioz)


Cours (Luisa Iturrioz)

[Vendredi 8 octobre, Vendredi 15 octobre 14h15-15h45]

Rappels, Skolemisation, Herbrand (Louisa Itturioz)[3h CM] [notes de cours .PDF]


Supports utilisés en Miage à Distance (Auteur : Marie-Pierre Gleize -Université Toulouse-) :

TD  : Complétude, Formalisation, Applicabilité (Luisa Iturrioz) [TD3][TD4]

[Mercredi 20 octobre 11h45-13h15 G1, Jeudi 21 octobre 8h15-9h45 G2, Jeudi 21 octobre 11h45-13h15 G3, Vendredi 22 octobre 16h-17h30 G4]

[Mercredi 27 octobre 11h45-13h15 G1, Jeudi 28 octobre 8h15-9h45 G2, Jeudi 28 octobre 11h45-13h15 G3, Vendredi 29 octobre 16h-17h30 G4]

PROLOG

Systèmes à base de connaissances


MISE A JOUR 17 NOVEMBRE 2004