Connaissances et raisonnement
Description
L’économie de la connaissance se traduit très
concrètement aujourd’hui par le fait que de nombreuses grandes entreprises
travaillant sur l’information (NY Times, Bloomberg, Facebook, Microsoft,
Google, etc.) ont investi massivement dans la création de “graphes de
connaissances”. C’est aussi par ce moyen que Google a pu enrichir les réponses
aux requêtes des utilisateurs sur son moteur de recherche et sur son assistant
vocal. Ces graphes de connaissances représentent des connaissances symboliques
et structurées qui sont exprimées à l’aide de langages formels. Diverses formes
de logiques permettent de raisonner sur ces connaissances. L’explication et la
justification des décisions et analyses produites par des systèmes d’IA
reposent également largement sur la possibilité de manipuler des connaissances
de ce type. L’objectif de ce cours est d’introduire les problématiques et les
techniques qui s’appliquent à ces types de connaissances.
Numéro de trimestre
Prérequis
Syllabus
Composition du cours
Les concepts sont introduits et immédiatement illustrés
par une mise en pratique.
Les étudiants peuvent poursuivre les exercices par un travail personnel.
Notation
Ressources
Résultats de l'apprentissage couverts par le cours
À l'issue de ce module, les élèves seront capables de :
- représenter des connaissances à l’aide de langages formels,
- raisonner à l’aide de procédures formelles sur ces connaissances,
- modéliser des problèmes réels dans ce cadre en utilisant des outils spécifiques.