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’objectif de ce cours est
d’introduire les problématiques et les techniques qui s’appliquent à ces types de connaissances en
passant en revue les bases logiques, les structures classiques, le raisonnement, les graphes
modernes et applications avancées.
Connaissances préalables recommandées : Modélisation logique et systèmes formels
