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

 (description du module, planning prévisionnel(html)


EXAMEN : mercredi 18 janvier 2006, 9h-11h, AMPHI AMPERE

****IMPORTANT : les indications de salles sont indicatives, vérifier sur les panneaus d'affichage ou sur "RAPLA"****

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

Cours (Alain Mille)

[Vendredi 23 septembre 14h15-15h45 Amphithéâtre THEMIS 7 (296)]

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 : Résolution de problèmes : modélisation et algorithmes (Alain Mille, Luisa Iturrioz))

Cours (Alain Mille)

[Vendredi 30 septembre 14h15-15h45 Amphitéâtre THEMIS 7 (296) ]

Ce cours n'utilisera pas de supports audiovisuels. Il utilisera le tableau noir ! Support du cours [PDF]
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 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)

[Vendredi  7 octobre 16h-17h30 (G3 et G4) Grignard 21 et 22  et Jeudi 13 octobre (G1 et G2) Grignard 21 et 22]    

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)

[Vendredi 14 octobre 16h-17h30 (G3,G4) Grignard 21 et 22 et Jeudi 20 octobre 8h15-9h45 (G1,G2) Grignard 21 et 22]]

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 7 octobre, Vendredi 14 octobre 14h15-15h45 Amphi THEMIS 7 (296)]

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 19 octobre 11h45-13h15 G1 (TD1), Jeudi 21 octobre  11h45-13h15 G3 (TD1), vendredi 21 octobre G4 16h-17h30, Jeudi 27 octobre 8h15-9h45 G1 Grignard 22 ]

[Mercredi 26 octobre 11h45-13h15 G1 (TD1), Jeudi 27 octobre  11h45-13h15 G3 (TD1), vendredi 28 octobre G4 16h-17h30, Jeudi 3 Novembre 8h15-9h45 G1 Grignard 22]

PROLOG

Systèmes à base de connaissances


MISE A JOUR 1er décembre 2005