L'examen réparti n°2 se tiendra le mercredi 30 mai 2012, de 13H45 à 15H45, dans l'amphithéâtre 15

Les cours se déroulent le mercredi de 13H45 à 15H45 dans l'amphithéâtre Herpin - Premier cours 8 février

Groupe

TD

TME

Enseignant

vendredi 8H30-10H30 salle 105/55-65

vendredi 10H45-12H45 salle 308/31

Cyril Poulet

vendredi 13H45-15H45 salle 207/55-65

vendredi 16H-18H salle 303/31

Alaa Abi Haidar

Echéancier

Cours

TD/TME

Semaine 1

mercredi 8 février Introduction et systèmes de production en logique des propositions
1- Brève introduction à l’intelligence artificielle, à la notion d’agent et à la résolution de problèmes. Illustration par quelques exemples (parcours de labyrinthes, jeux à un joueur, découverte scientifique transparents cours
2- Systèmes de production en logique des propositions. Différents modes de contrôle. Programmation des systèmes de production en logique des propositions.
transparents cours
Moteur d'inférence en PROLOG
Base de connaissance 1, Base de connaissance 2

Pas de TD ni de TME

Semaine 2

mercredi 15 février Systèmes de production en logique des prédicats du premier ordre
1- Introduction aux systèmes de production en logique des propositions étendue et en logique des prédicats du premier ordre.
Moteur d'inférence "O+" en PROLOG
Base de connaissance 2 en logique des propositions étendue
2- Système CLIPS transparents sur CLIPS avec quelques exemples,
Un exemple significatif: l'écriture des nombres en CLIPS
Cosmologie aristotélicienne en CLIPS
Cosmologie copernicienne en CLIPS
Cosmologie galiléenne en CLIPS

TD et TME - semaine 1

Semaine 3

mercredi 22 février Systèmes de production (suite)
3- Algorithmique des systèmes de productions en logique des prédicats du premier ordre. Filtrage.
4- Algorithme de RETE.
transparents sur l'algorithmique des systèmes de production
Modélisation du raisonnement
1- Traitement de l’incertitude et de l’imprécision, Coefficients de vraisemblance, Réseaux bayésiens etc.;
transparents sur le traitement de l'incertitude

TD et TME - semaine 2

Semaine 4

mercredi 29 février Modélisation du raisonnement (suite 1)
* Introduction aux logiques non monotone
transparents sur le raisonnement non monotone
ASP – "Answer Set Programming".
* Introduction aux ASP
copie du cours d'introduction aux ASP

TD et TME - semaine 3

Semaine 5

mercredi 7 mars ASP (suite)
Programmation en ASP - contraintes, énumérations finies, etc.

TD et TME - semaine 4

Semaine 6

mercredi 14 mars ASP (fin)
Programmation en ASP - exemples de résolution de problèmes
copie de la fin du cours sur les ASP
Modélisation du raisonnement (suite 2)
Raisonnement à partir de cas;
transparents sur le raisonnement à partir de cas

TD et TME - semaine 5

Semaine 7

mercredi 21 mars
Programmation des jeux en intelligence artificielle
1- Brefs rappels de théorie des jeux. Jeux à information complète.
2- Programmation de jeux à deux joueurs en Intelligence Artificielle

TD et TME - semaine 6

Semaine 8

mercredi 28 mars Examen réparti n°1

Pas de TD ni de TME

Semaine 9

merdredi 4 avril
Programmation des jeux en intelligence artificielle (suite)
MIN-MAX, α/β, stratégies etc.
transparents sur la programmation des jeux en IA
Planification 1
1- Introduction à la planification
2- Planification linéaire,

TD et TME - semaine 7

Semaine 10

mercredi 11 avril Planification - suite
1- Rappels sur la planification
2- Système STRIPS
transparents sur la planification linéaire
STRIPS en Prolog: cubes 1,cubes 2,cubes 3,cubes 4,Singe et bananes
3- Calcul des situations
4- Notion de planification non linéaire avec quelques exemples
transparents sur la planification non linéaire et sur le calcul des situations
Calcul des situations en Prolog:Première version,seconde version

TD et TME - semaine 8

Semaine 11

Vacances

Pas de TD ni de TME

Semaine 12

Vacances

Pas de TD ni de TME

Semaine 13

mercredi 2 mai Modélisation du raisonnement (suite & fin)
* Raisonnement qualitatif - modélisation en ASP
transparents sur le raisonnement qualitatif

TD et TME - semaine 9

Semaine 14

mercredi 9 mai Pas de cours

TD et TME - semaine 10

Semaine 15

Pas de TD ni de TME

Semaine 16

Examen réparti n°2: Mercredi 30 mai 2012

Pas de TD ni de TME

Semaine 17

Pas de TD ni de TME