IAMSI

Intelligence Artificielle et Manipulation Symbolique de l’Information

Ce module vise à donner aux étudiants la maîtrise de diverses techniques d’IA et de manipulation symbolique de l’information, en étudiant plusieurs formalismes et types de tâches : il présente les algorithmes SAT modernes, au cœur des solveurs utilisés dans de nombreux domaines et applications aussi bien en recherche que dans l’industrie. Après une introduction aux principes des systèmes à base de connaissances, il présente également la programmation ASP (Answer Set Programming) qui permet de résoudre déclarativement de nombreux problèmes. Il aborde ensuite les formalismes de représentation de l’action et du changement et leur usage dans le cadre  du « commensense reasoning », de la causalité et de l’éthique, avant de présenter leurs applications en planification à travers des algorithmes pratiques. Ce panorama des méthodes symboliques en IA est complété par la présentation des approches d’apprentissage symbolique comme la construction de règles d’association, avec une ouverture vers des approches hybrides combinant connaissances symboliques et numériques.