Master Miage deuxième année premier semestre

Systèmes experts 2010 / 2011

Programme de l'examen du jeudi 16 déc. 2011:
chapitres 2 et 3 (surtout les démonstrations formelles),
chaptitres 4 et 5 (intégralement).

Plan du cours

1. Introduction
2. Calcul propositionnel (mes notes de cours IUP MIAGE 2e année Nantes 2001)
   • Une feuille de TD (merci à Christophe Jermann de l'Université de Nantes)
   • Une autre feuille de TD (merci à Christophe Jermann de l'Université de Nantes)
3. Calcul des prédicats (mes notes de cours IUP MIAGE 2e année Nantes 2001)
• Une feuille de TD
4. Représentation des connaissances en Prolog, Datalog et la négation
   DES une version de Datalog comme surcouche de Prolog (prendre la version adaptée à celle de Prolog).
5. Introduction à Prolog (voir SWI Prolog , le tutoriel Learn Prolog Now ainsi que Adventure in Prolog)
   Un mot sur Prolog/Datalog et la négation.
   • Transparents Prolog 1ère série: initiation
   • Transparents Prolog 2e série: (plus) avancé
   • Transparent Prolog 3e série: outils en prolog
     
6. Représentation des règles et construction d'un système expert
   (transparents, et voir le TP associé)
   
7. Gestion de l'incertitude
   
   

Examens, devoirs etc.

• Devoir surveillé du 20 octobre 2010 avec correction sauf IIIb et VIb qui sont ici:
  • IIIb
  • VIb
    

TP Datalog / Prolog

• Exos datalog/Prolog listes
  • Pour le premier exercice peut prendre ce plan et état du tramway.
  • Exercices corrigé sur le tramway.
  • Programmes Prolog sur les listes.

Références:

• Prolog Programming for Artificial Intelligence de Ivan Bratko 3e édition Addison-Wesley, 2000
• Artificial Intelligence: A Modern Approach de Stuart J. Russell et Peter Norvig, 2e édition Prentice Hall, 1999

Archives:

• 2007/2008 DS calcul propositionnel et calcul des prédicats: sujet A, sujet B, correction exo A2 ou B2
• 2007/2008 Mini-projet prolog
• 2007/2008 examen final (corrigé I & II, corrigé III, corrigé IV)
• TP noté du 11 décembre 2008:
  • version du matin,
  • version de l'après midi,
  • des éléments de corrections

Vendredi 10 Décembre, 2010 9:55 Christian Retoré