Responsable : Marie-laure Mugnier
Examen final : jeudi 12 janvier, A 5.05, 13h-15h
11 janvier : permanence au département informatique (bat. 16) de 9h à 11h30 pour répondre à vos éventuelles questions.
14 décembre : démos des TP de 9h45 à 13h (ordre de passage déterminé la semaine précédente)
Instructions pour les démos : ici
(avec l'aimable autorisation des auteurs)
· Notions de base : logique_propositions_Gleizes.pdf
· Notions de base plus détaillées : logique_propositions_Chein.pdf
· Notions de base (1ère partie du cours de logique de L3) : BasesLogiquePremierOrdre_Partie1.pdf
· Systèmes à base de règles
o Systèmes à base de règles d'ordre 0
o Système à base de règles d'ordre 1
·
Exploration d'un espace de recherche, algorithme de backtrack : Backtrack.pdf
· Le problème SAT : diapos (extraites d'un tutorial à la conférence AAAI 07)
·
Résolution d'un réseau de contraintes : définition, problème CSP, algorithme de backtrack,
arc-consistance
(voir par exemple le chapitre correspondant dans "Artificial Intelligence,
a modern approach")
· TD1 (systèmes à base de règles d'ordre 0)
· TD2 (systèmes à base de règles d'ordre 1)
·
TD3 (espaces de
recherche)
+ complément : puzzle du zèbre à modéliser en termes
de variables, valeurs possibles et contraintes
· TD modélisation CSP (Rémi Coletta)
· TD4 (TD de synthèse : test d'homomorphisme, SAT, CSP)
· TP1 : Texte du TP
o Classes Java fournies : fichier zip (attention, corriger la méthode equalsA de la classe Atome)
(+ éventuels problèmes d'accent : codage Western et pas Unicode)
o Introduction à l'environnement Eclipse (document C. Nebut, TP de L2)
· TP2 : Texte du TP
· TP3 : Texte du TP
· "Artificial Intelligence, a modern approach" (3ème édition), S. Russel & P. Norvig, Prentice Hall, 2010
Existe en français, disponible à la BU