Ce cours commence par des questions d’apparence naïve : qu’est-ce que la connaissance ? Que faut-il entendre par « représentation » ? Et pourquoi chercher à représenter et à modéliser des connaissances ? Pourtant, les réponses apportées à ces questions tout au long du cours sont essentielles, tant pour l’informatique en général que pour l’intelligence artificielle symbolique en particulier. L’objectif est d’étudier des modèles et des formalismes de représentation des connaissances, afin de permettre aux programmes informatiques de traiter l’information à un niveau sémantique.