Equipe pédagogique : Nadia Kabachi, Alain Mille, Frank Nack, Bertrand Richard (animateurs)
Nombre de crédits : 3Pl
[Intro] Histoire (récente!) de l'intelligence artificielle, les hypothèses fondatrices et l'évolution récente, exemples, illustrations, mythe et réalité...
[RP]Recherche de solution dans un espace d'états (Alain Mille) [1,5 h CM]
[RP1,RP2] Algorithme A* et Hypergraphe (Nadia Kabachi, Frank Nack, Alain Mille) [3h TD]
[TP2, TP3] Deux problèmes pour mettre en oeuvre la recherche de
solution
dans un graphe d'états : programmation en PROLOG (Bertrand Richard,
Frank Nack, Nadia Kabachi, Alain Mille)[3h TP]
[LO1, LO2] Rappels, Skolemisation, Herbrand (Alain Mille)[3h CM]
[LO1, LO2] Complétude, Formalisation, Applicabilité (Luisa Iturrioz, Frank Nack, Alain Mille)[3h TD]
[Pro1, Pro2, Pro3]Langage, syntaxe, sémantique (Nadia
Kabachi)[4,5h CM]
[Prolog]Mise en oeuvre Prolog [Nadia Kabachi, Frank Nack, Alain Mille]1,5h TD]
Travaux pratiques (Nadia Kabachi, Alain Mille, Frank Nack, Bertrand Richard)
[TP1] ; mise en oeuvre de l'outil
TP2-TP3 Utiliser Prolog pour la
recherche de solution dans un
graphe d'états // TP noté
TP4-TP5-TP6 Développement d'un Système à Bases de connaissances // TP noté avec rapport de synthèse court et démonstration en dernière séance //
[SBC1] Définitions, architecture, exemples (Alain Mille)[1,5h CM]
[SBC2] La question de l'ingénierie des connaissances (Alain Mille) [1,5h CM]
[SBC] Travaux dirigés sur la construction d'un SBC simple (Alain Mille, Frank Nack, Nadia Kabachi)[1,5h TD]