Intelligence artificielle et programmation symbolique

Après une introduction au domaine de l'Intelligence Artificielle, le cours s'articule autour de deux parties: (i) d'une part l'étude de techniques de recherche et (ii) d'autre part, l'étude de mécanismes de représentation de connaissances. La première partie aborde les méthodes de recherches exhaustives, heuristiques ainsi que de résolution de contraintes. La deuxième partie étudie les mécanismes de représentation procédurale et déclarative. On y aborde aussi les bases de l'apprentissage automatique. Tout au long du cours, la programmation logique est utilisée comme fil conducteur ainsi que comme support à l'écriture de programmes.