paper-with-me

홈 › Papers

Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption

2021-07-26 · Alessandro Antonucci, Alessandro Facchini, Lilith Mattei

Probabilistic sentential decision diagrams are a class of structured-decomposable probabilistic circuits especially designed to embed logical constraints. To adapt the classical LearnSPN scheme to learn the structure of these models, we propose a new scheme based on a partial closed-world assumption: data implicitly provide the logical base of the circuit. Sum nodes are thus learned by recursively clustering batches in the initial data base, while the partitioning of the variables obeys a given input vtree. Preliminary experiments show that the proposed approach might properly fit training data, and generalize well to test data, provided that these remain consistent with the underlying logical base, that is a relaxation of the training data base.

📄 PDF Abstract BibTeX arXiv:2107.12130

Code (1)

IDSIA-papers/2021-TPM 공식 구현

Tasks

Clustering

Similar Papers 제목 키워드 기반

Tractable Inference in Credal Sentential Decision Diagrams

2020-08-19 · Lilith Mattei, Alessandro Antonucci, Denis Deratani Mauá, Alessandro Facchini 외

Probabilistic sentential decision diagrams are logic circuits where the inputs of disjunctive gates are annotated by probability values. They allow for a compact representation of joint probability mass functions defined…

Compositional Probabilistic and Causal Inference using Tractable Circuit Models

2023-04-17 · Benjie Wang, Marta Kwiatkowska

Probabilistic circuits (PCs) are a class of tractable probabilistic models, which admit efficient inference routines depending on their structural properties. In this paper, we introduce md-vtrees, a novel structural for…

Causal Inference

Variants of Tagged Sentential Decision Diagrams

2023-11-16 · Deyuan Zhong, Mingwei Zhang, Quanlong Guan, Liangda Fang 외

A recently proposed canonical form of Boolean functions, namely tagged sentential decision diagrams (TSDDs), exploits both the standard and zero-suppressed trimming rules. The standard ones minimize the size of sententia…

On oblivious branching programs with bounded repetition that cannot efficiently compute CNFs of bounded treewidth

2015-10-10 · Igor Razgon

In this paper we study complexity of an extension of ordered binary decision diagrams (OBDDs) called $c$-OBDDs on CNFs of bounded (primal graph) treewidth. In particular, we show that for each $k$ there is a class of CNF…

Bayesian Inference by Symbolic Model Checking

2020-07-29 · Bahare Salmani, Joost-Pieter Katoen

This paper applies probabilistic model checking techniques for discrete Markov chains to inference in Bayesian networks. We present a simple translation from Bayesian networks into tree-like Markov chains such that infer…

Bayesian InferencemodelTranslation