Comment un ordinateur peut-il “comprendre” que Paris est une capitale, qu’un chat est un animal, ou qu’un texte du XVIIe siècle parle d’amour? Derrière ces questions se cache un défi central de l’informatique et de la linguistique: représenter des connaissances de manière à ce que les machines puissent les manipuler et effectuer des inférences. Ce cours explore des formalismes qui permettent de relever ce défi. Il mettra l’accent sur les approches classiques et structurées: ontologies et logiques formelles, avec leurs langages, leurs outils et leurs applications en sciences humaines. La perspective s’élargira ensuite pour donner un aperçu des approches plus récentes: les représentations vectorielles, qui permettent de capturer le sens de façon géométrique; la théorie des types, orientée vers l’inférence et la vérification formelle; ou la théorie des catégories, qui offre un cadre général pour penser la structure et la composition des connaissances. En mettant ces grandes familles de formalismes en dialogue, nous nous interrogerons sur ce que signifie représenter un concept “formellement” et sur ce que cette démarche fait gagner, ou perdre. Le cours vise ainsi à donner aux étudiant·e·s en sciences humaines une vision cohérente et critique d’un paysage au cœur des transformations actuelles, au carrefour de la linguistique, des sciences formelles et de l’intelligence artificielle, en les préparant à des débouchés en ingénierie des connaissances, en traitement automatique des langues et en humanités numériques.
- Enseignant.e: Juan Luis Gastaldi