Séminaire

Date : 7 mars 2019 14:00 - Salle :Salle du conseil Top-Down Knowledge Compilation of Decision-DNNF Representations Pierre MARQUIS, Professeur - CRIL, Lens

Je présenterai un algorithme montrant comment traduire une formule propositionnelle sous forme normale conjonctive en circuit Decision-DNNF.  Après avoir rappelé ce qu'est le langage des circuits Decision-DNNF et précisé pourquoi il constitue un langage intéressant pour la compilation de connaissances, je mettrai l'accent sur la problématique clé de la décomposition de formules, i.e., de la création de conjonctions décomposables. Je présenterai ensuite l'algorithme correspondant, appelé d4 et donnerai quelques résultats expérimentaux.