bn
bn2cnf translator
bn2cnf est un traducteur associant à un modèle graphique d’entrée (un réseau bayésien ou un réseau de Markov) une sortie qui consiste en une formule CNF et une carte de poids. Le poids d’un élément de preuve pour le modèle d’entrée peut être calculé comme le nombre de modèles pondérés de la sortie correspondante. Plusieurs schémas d’encodage peuvent être envisagés en fonction des options utilisées.
Toute catégorie Compilateurs
Articles de conférences internationales
2016 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, An Improved CNF Encoding Scheme for Probabilistic Inference
in 22nd European Conference on Artificial Intelligence (ECAI'16), pp. 613-621, 2016.