Pierre Marquis (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.

Ce travail a été réalisé conjointement avec Jean-Marie Lagniez (CRIL).