Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 5 Mars 2019

Top-Down Knowledge Compilation of Decision-DNNF Representations

par 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).

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr