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)
  3. Calcul des prédicats (mes notes de cours IUP MIAGE 2e année Nantes 2001)
  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.
  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.

TP Datalog / Prolog

Références:

Archives:

 

 

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