Evènement pour le groupe Séminaire Méthodes Formelles

Date 2020-03-10  07:00-07:00
TitreAn introduction to Knowledge compilation 
RésuméKnowledge compilation aims to transform knowledge on a system, often represented in a natural but hard to query way, into a - hopefully small - data structure that is more practical to reason with. The idea is that after a potentially expensive offline compilation phase, one can efficiently extract new knowledge by directly querying the data structure. Originating in symbolic AI where it was mainly used to find better representations of CNF-formulas or to efficiently solve configuration problems, this idea has spread in many adjacent fields such as database theory where it has been used to efficiently compute aggregates in databases. In this talk, we will give a broad overview of knowledge compilation and its applications. We will presente some interesting data structure used in knowledge compilation and how they are used both theoretically and in practice. 
OrateurFlorent Capelli 
UrlUniversité de Lille 

Aucun document lié à cet événement.

Retour à l'index