Compte-rendu réunion emiage-ia 1 - CNRS

Cours prolog : Nathalie Guin, Christine Solnon et Monique Rolbert disposent de
supports ... a établi les sources suivantes pour des exercices formalisés (avec
corrigé ?). Christine Solnon (TP). Nathalie (TP prolog et lisp) et TD/Algo * et
Prolog.

Part of the document


Réunion e-miage-programmes-IA
Collecte des supports exploités par les membres du groupe
Supports électroniques : voir la page web de Nathalie Guin-Duclosson Salima Hassas a des transparents et les fichiers powerpoint ou autres
associés. Cours prolog : Nathalie Guin, Christine Solnon et Monique Rolbert disposent
de supports de différentes natures. Alain Mille dispose de supports « transparents latex » sur l'introduction à
l'intelligence artificielle. Un support de cours latex/postscript est
disponible également associé aux transparents. Un tutorial powerpoint sur
le RàPC est disponible également. Ces supports sont accessibles à sa page
web. Claude Petit dispose de nombreux supports papiers. Les supports fichiers
électroniques ne sont pas garantis. Marcel Egea dispose également d'un certain nombre de supports.
Exercices Collecter les exercices est important. Le tour de table (à compléter) a
établi les sources suivantes pour des exercices formalisés (avec
corrigé ?).
Christine Solnon (TP)
Nathalie (TP prolog et lisp) et TD/Algo * et Prolog
Marcel Hégéa (systèmes, fichiers word à retrouver)
Simone (à demander)
Alain (exercices ouverts, TP avec Remind pour le RàPC)
Programme Sans ordre complet, les titres suivants ont été avancés : Les bases de l'IA
La logique et les logiques
Le flou
Le neuro-mimétique
Représentation des connaissances
Apprentissage / acquisition de connaissances Idées de progression pédagogique
Partir ou utiliser les applications comme fils conducteurs... - diagnostic Bases de règles
- graphes de sous-problèmes : planification // RO
- analogique
Volumes 40 heures / 20 séquences de 45 minutes pour les étudiants. Exercices avec
initiation aux outils nécessaires pour le cours. Le reste du temps est là
pour le temps libre de l'étudiant.
Outils Trouver des choses qui tournent en Java (LISP et Prolog). Thierry Excoffier
a fait une recherche dont les résultats semblent probants concernant la
disponibilité de ces outils. L'intérêt principal est de ne pas exiger des
étudiants à distance d'avoir un environnement autre qu'un navigateur WEB
récent.
Prochaine réunion Le vendredi 16 novembre est proposé pour faire une réunion avec nos
collègues d'Aix et Orléans, parties prenantes du module IA