Echéancier |
Cours |
TD/TME |
Semaine 1 |
mercredi 22 janvier 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 scientifiquetransparents introduction, transparents résolution de problèmes
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 29 janvier 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
3- Algorithme de RETE.
transparents sur l'algorithmique des systèmes de production
|
TD et TME - semaine 1 |
Semaine 3 |
mercredi 5 février 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
2- Introduction aux logiques non monotone
transparents sur le raisonnement non monotone
|
TD et TME - semaine 2 |
Semaine 4 |
mercredi 12 février ASP – "Answer Set Programming".
* Introduction aux ASP
copie du cours d'introduction aux ASP |
TD et TME - semaine 3 |
Semaine 5 |
mercredi 19 février ASP (suite)
Programmation en ASP - contraintes, énumérations finies, etc.
|
TD et TME - semaine 4 |
Semaine 6 |
mercredi 26 février Examen réparti n°1 |
Pas de TD ni de TME |
Semaine 7 |
mercredi 5 mars ASP (fin)
Programmation en ASP - exemples de résolution de problèmes
copie de la fin du cours sur les ASP
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 5 |
Semaine 8 |
mercredi 12 mars 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,
3- Système STRIPS
transparents sur la planification linéaire et le système STRIPS
STRIPS en Prolog: cubes 1,cubes 2,cubes 3,cubes 4,Singe et bananes, druide
|
TD et TME - semaine 6 |
Semaine 9 |
mercredi 19 mars Planification - suite
4- Calcul des situations
5- 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 7 |
Semaine 10 |
mercredi 26 mars Planification - fin
* Planification en ASP
* Langages d'actions
Modélisation du raisonnement (suite)
transparents sur la planification en ASP et la langages d'actions
planification du monde des blocs en ASP
Programmation de la planification dans le monde des blocs en ASP:Programme ASP
* Raisonnement qualitatif - modélisation en ASP
transparents sur le raisonnement qualitatif |
TD et TME - semaine 8 |
Semaine 11 |
mercredi 2 avril Modélisation du raisonnement (suite & fin)
* Raisonnement à partir de cas;
transparents sur le raisonnement à partir de cas )
* Un exemple d'application des techniques d'intelligence artificielle: le contrôle parental
transparents sur le filtrage parental |
TD et TME - semaine 9 |
Semaine 12 |
mercredi 9 avril plus de cours |
TD et TME - semaine 10 |
Semaine 13 |
mercredi 16 avril |
Pas de TD ni de TME |
Semaine 14 |
mercredi 23 avril |
|
