Fondements logiques de l’intelligence artificielle

Ce cours présente les principaux fondements logiques de l’intelligence artificielle et leur utilisation pour la représentation des connaissances et le raisonnement. Il aborde notamment les formalismes logiques permettant de représenter, d’inférer et d’exploiter des connaissances de manière automatisée.